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: 0023:Lu_Zhang
Contributed to:
2016
20182019
2017
20162018
2020Wrote 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.