BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Hao L.Zhang Y.Xiong J.Z.0050 D.Zou Y.Lou J.C.0003 S.Han D.Zhang R.Wang X.He G.H.0001 H.Mei J.Chen J.Han P.Sun H.Tang D.Wang X.Wang W.Hu S.Khurshid Muhan Zeng Z.Fu Z.Su J.Zhou X.Wang C.Wang J.Jiang J.Li Xiangyu Luo Z.Hu
Talks about:
test (5) transform (2) program (2) analysi (2) execut (2) detect (2) condit (2) point (2) float (2) error (2)

Person: Lu Zhang 0023

DBLP DBLP: 0023:Lu_Zhang

Contributed to:

FSE 20162016
ESEC/FSE 20182018
ESEC/FSE 20192019
ESOP 20172017
ECOOP 20162016
ECOOP 20182018
POPL 20202020

Wrote 9 papers:

FSE-2016-WangZHXZ0 #detection #fault #float
Detecting and fixing precision-specific operations for measuring floating-point errors (RW, DZ, XH, YX, LZ0, GH0), pp. 619–630.
FSE-2016-ZhangLZHZM #branch #testing
Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
ESEC-FSE-2018-ChenLZZWH0 #analysis #optimisation
Optimizing test prioritization via test distribution analysis (JC0, YL, LZ, JZ, XW, DH, LZ0), pp. 656–667.
ESEC-FSE-2018-ZhangHHZZ #automation #refactoring #spreadsheet
Automated refactoring of nested-IF formulae in spreadsheets (JZ0, SH, DH, LZ0, DZ), pp. 833–838.
ESEC-FSE-2019-ChenHSZHZ #compilation #debugging #effectiveness #generative
Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.
ESOP-2017-TangWXZW0 #analysis #library #performance #reachability #summary
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (HT, DW, YX, LZ, XW, LZ0), pp. 880–908.
ECOOP-2016-WangJLXLZH #api #source code
Transforming Programs between APIs with Many-to-Many Mappings (CW, JJ, JL, YX, XL, LZ0, ZH), p. 26.
ECOOP-2018-ChenHZHK0 #execution #learning #program transformation #symbolic computation
Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
POPL-2020-ZouZXFZS #detection #fault #float
Detecting floating-point errors via atomic conditions (DZ, MZ, YX, ZF, LZ0, ZS), p. 27.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.