(1) Melton: a practical and precise memory leak detection tool for C programs, Frontiers of Computer Science, 2015, 第 2 作者
(2) Boundary Value Analysis in Automatic White-box Test Generation, Proc. ISSRE, 2015, 第 3 作者
(3) Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion, Proc. SERE 2014, 2014, 第 3 作者
(4) Canalyze: a static bug-finding tool for C programs, Proc. ISSTA 2014, 2014, 第 2 作者
(5) Generating combinatorial test suite using combinatorial optimization, Journal of Systems and Software, 2014, 第 4 作者
(6) Characterizing and Detecting Resource Leaks in Android Applications, Proc. ASE 2013, 2013, 第 2 作者
(7) Faulty Interaction Identification via Constraint Solving and Optimization, Proc. SAT 2012, LNCS 7317, 2012, 第 1 作者
(8) Integrating Standard Dependency Schemes in QCSP Solvers , Journal of Computer Science and Technology, 2012, 第 3 作者
(9) Tuple density: a new metric for combinatorial test suites , Proc. ICSE (NIER track), 2011, 第 2 作者
(10) Program analysis: from qualitative analysis to quantitative analysis, Proc. ICSE (NIER track), 2011, 第 2 作者
(11) A Memory Model for Static Analysis of C Programs, LNCS 6415, 2010, 第 3 作者
(12) Combinatorial testing with shielding parameters, Proc. APSEC, 2010, 第 3 作者
(13) Volume Computation for Boolean Combination of Linear Arithmetic Constraints, LNCS 5663, 2009, 第 3 作者