Travelled to:1 × India
1 × Italy
1 × New Zealand
1 × Romania
1 × Switzerland
2 × Canada
9 × USA
Collaborated with:S.Khurshid L.Zhang D.Hao H.Mei D.Marinov L.Z.0023 X.Wang M.Kim M.Gligoric A.Ghanbari Xia Li Y.Xiong G.Yang J.Zhou Y.Zhang C.L.0005 O.Legunsen A.Shi P.Tanofsky H.Tang H.Zhong B.Xie J.Chen Y.Lou J.C.0003 R.K.Saha D.E.Perry C.Pereira G.Pokam J.Jiang L.Ren N.Rungta S.Person G.Rothermel S.A.Khalek J.Sun M.Zhang M.Wu S.H.Tan Milica Hadzi-Tanovic T.Xie N.Tillmann J.d.Halleux F.Hariri Y.Lu J.Z.0050 Z.Li H.Wu J.Xu X.Wang Z.C.0001 J.Han P.Sun D.Wang W.Hu Y.Bai J.Zhou X.Wang
Talks about:test (24) program (9) regress (6) mutat (6) priorit (5) analysi (5) fault (5) base (5) transform (4) select (4)
Person: Lingming Zhang
DBLP: Zhang:Lingming
Contributed to:
2015
2015
20152014
201320132013
2013
201220122011
20112010200920092009201620162018
201820192019
20172017
20182019Wrote 32 papers:
- ICSE-v1-2015-SahaZKP #approach #information retrieval #testing
- An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
- ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing
- Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
- POPL-2015-TangWZXZM #analysis #data flow
- Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
- ISSTA-2014-ZhangYRPK #invariant
- Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
- ASE-2013-ZhangGMK #random
- Operator-based and random mutant selection: Better together (LZ, MG, DM, SK), pp. 92–102.
- ICSE-2013-ZhangH0RM #testing
- Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
- ISSTA-2013-GligoricZPP #concurrent #mutation testing #testing
- Selective mutation testing for concurrent code (MG, LZ, CP, GP), pp. 224–234.
- ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing
- Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
- OOPSLA-2013-Zhang0K #developer #evolution #fault #injection #locality
- Injecting mechanical faults to localize developer faults for evolving software (LZ, LZ, SK), pp. 765–784.
- FSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code
- FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
- ISSTA-2012-ZhangMZK #mutation testing #testing
- Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
- ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
- TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
- ICSM-2011-ZhangKK
- Localizing failure-inducing program edits based on spectrum information (LZ, MK, SK), pp. 23–32.
- ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing
- Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
- ASE-2009-ZhangZHZM #named #testing
- Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.
- ICSE-2009-HaoZZSM #debugging #interactive #named #visual notation
- VIDA: Visual interactive debugging (DH, LZ, LZ, JS, HM), pp. 583–586.
- ICSM-2009-ZhangZHZM #testing
- Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.
- ASE-2016-ChenBHZ0XM #static analysis
- Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.
- FSE-2016-LegunsenHSLZM #evolution #testing
- An extensive study of static regression test selection in modern software evolution (OL, FH, AS, YL, LZ, DM), pp. 583–594.
- FSE-2016-ZhangLZHZM #branch #testing
- Isomorphic regression testing: executing uncovered branches without test augmentation (JZ0, YL, LZ, DH, LZ0, HM), pp. 883–894.
- FSE-2016-ZhongZK #combinator #generative #testing
- Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
- ASE-2018-ZhangZZ0K #framework #named #testing #validation
- DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems (MZ, YZ, LZ, CL0, SK), pp. 132–142.
- ESEC-FSE-2018-ChenLZZWH0 #analysis #optimisation
- Optimizing test prioritization via test distribution analysis (JC0, YL, LZ, JZ, XW, DH, LZ0), pp. 656–667.
- ASE-2019-GhanbariZ #bytecode #named #program repair
- PraPR: Practical Program Repair via Bytecode Mutation (AG, LZ), pp. 1118–1121.
- ASE-2019-JiangRXZ #program transformation
- Inferring Program Transformations From Singular Examples via Big Code (JJ, LR, YX, LZ), pp. 255–266.
- ASE-2019-LiWXWZ0 #contract #mutation testing #named #testing
- MuSC: A Tool for Mutation Testing of Ethereum Smart Contract (ZL, HW, JX, XW, LZ, ZC0), pp. 1198–1201.
- ASE-2019-WuZ0TZ #automation #program transformation
- Automating CUDA Synchronization via Program Transformation (MW, LZ, CL0, SHT, YZ), pp. 748–759.
- 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.
- OOPSLA-2017-LiZ #fault #locality #source code #testing
- Transforming programs and tests in tandem for fault localization (XL, LZ), p. 30.
- 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.
- OOPSLA-2019-ShiHZML #testing
- Reflection-aware static regression test selection (AS, MHT, LZ, DM, OL), p. 29.