Publications
Refereed Journal Articles
- Bian Yi, Zheng Li, Junxia Guo and Ruilian Zhao
Concrete hyperheuristic framework for test case prioritization
Journal of Software: Evolution and Process. https://doi.org/10.1002/smr.1992, 2018, online.
- Yong Liu, Zheng Li Ruilian Zhao and Pei Gong
An optimal mutation execution strategy for cost reduction of mutation-based fault localization
Information Sciences, Volume 422, 2018, Pages 572-596.
- Zhang, F.; Ni, J.; Yin, Q.; Li, W.; Li, Z.; Liu, Y.; Hong, W.
Nearest-Regularized Subspace Classification for PolSAR Imagery
Using Polarimetric Feature Vector and Spatial
Information
Remote Sens. 2017, 9, 1114.
- Dunwei Gong, Chen Zhang, Tian Tian, Zheng Li
Reducing scheduling sequences of message-passing parallel
programs
Information & Software Technology 80: 217-230 (2016)
- Ruilian Zhao, Zheng Li, Qian Wang
Test Generation for Programs with Binary Tree Structure as Input
International Journal of Software Engineering and Knowledge
Engineering(IJSEKE) 25.07 (2015): 1129-1151.
- Dave Binkley,
Nicolas Gold,
Mark Harman,
Syed Islam,
Jens Krinke,
and Zheng Li
Efficient Identification of Linchpin Vertices in Dependence Clusters
ACM Transactions on Programming Languages and Systems (TOPLAS).
volume 35, Issue 2, Pages 1-35, July 2013
- Kelly Androutsopoulos,
David Clark,
Mark Harman,
Rob Hierons,
Zheng Li
and Laurence Tratt
Amorphous Slicing of Extended Finite State Machines
IEEE Transactions on Software Engineering (TSE).
vol.39, no.7, pp.892-909, July 2013
- F Zhang,
Zheng Li, B Wang, M Xiang and W Hong
Hybrid general-purpose computation on GPU (GPGPU) and computer graphics synthetic aperture radar simulation for complex scenes
International Journal of Physical Sciences 7 (8), 1224-1234
- Torben Amtoft,
Kelly Androutsopoulos,
David Clark,
Mark Harman,
and Zheng Li
An Alternative Characterization of Weak Order Dependence
Information Processing Letters (IPL)
110 (21), 939-943,2010
- Dave Binkley,
Mark Harman,
Youssef Hassoun,
Syed Islam,
Zheng Li
and Kiarash Mahdavi
Assessing the Impact of Global Variables on Program Dependence and Dependence Clusters
Journal of Systems and Software (JSS)
Volume 83, Issue 1, Pages 96-107, January 2010
- Dave Binkley,
Nicolas Gold,
Mark Harman,
Zheng Li
and Kiarash Mahdavi
An Empirical Study of the Relationship between the Concepts Expressed in Source Code and Dependence
Journal of Systems and Software (JSS)
Volume 81, pages 2287-2298, 2008
- Tao Jiang,
Nicolas Gold,
Mark Harman and
Zheng Li,
Locating dependence structures using search based slicing
Journal of Information and Software Technology (IST)
Volume 50, Issue 12, Pages 1189-1209, November 2008.
- Zheng Li,
Mark Harman
and Rob Hierons
Search Algorithms for Regression Test Case Prioritisation
IEEE Transactions on Software Engineering (TSE).
33(4): 225-237, 2007.
Special Issues
- John Clark,
Mark Harman,
Zheng Li,
Phil McMinn
and Jeff Offutt (Guest Editors)
TAIC PART 2007 and Mutation 2007 Special Issue Editorial
Special Issue of Journal of Systems and Software devoted to extended papers from TAIC PART 2007 and Mutation 2007, volume 82, issue 11, November 2009
- Mark Harman,
Zheng Li
and Phil McMinn (Guest Editors)
Testing Practice and Research (Editorial)
Special Issue of Software Testing, Verification and Reliability devoted to extended papers from TAIC PART 2006, 18(2), June 2008
Conferences and Workshops
- Yong Liu, Zheng Li, Linxin Wang, Zhiwen Hu, and Ruilian Zhao
Statement-Oriented Mutant Reduction Strategy for Mutation Based
Fault Localization
2017 IEEE International Conference on Software Quality,
Reliability and Security (QRS), Prague, 2017, pp. 126-137.
- Xiujing Liu, Yong Liu, Zheng Li, Ruilian Zhao
Fault Classification Oriented Spectrum Based Fault
Localization
2017 IEEE 41st Annual Computer Software and Applications
Conference (COMPSAC), Turin, 2017, pp. 256-261.
- Geng J., Li Z., Zhao R., Guo J.
Search Based Test Suite Minimization for Fault Detection and
Localization: A Co-driven Method
Search Based Software Engineering. SSBSE 2016.
Lecture Notes in Computer Science, vol 9962. Springer, Cham (2016) 34–48
- Zheng Li Meiying Li, Yong Liu and Jingyao Geng
Identify Coincidental Correct Test Cases Based on Fuzzy Classification
2016 International Conference on Software Analysis, Testing and Evolution (SATE), Kunming, 2016, pp. 72-77.
- Fang Yuan, Yi Bian, Zheng Li and Ruilian Zhao
Epistatic Genetic Algorithm for Test Case Prioritization
SSBSE 2015, Springer International Publishing, 2015. 109-124.
- Yi Bian , Serkan Kirbas, Mark Harman, Yue Jia, Zheng Li
Regression Test Case Prioritisation for Guava
SSBSE 2015, Springer International Publishing, 2015. 221-227.
- Yue Wang, Zheng Li and Ruilian Zhao
Dependence Based Model-Healing
The 39th Annual International Computers Software & Applications
Conference(COMPSAC 2015)
Taichung, Taiwan, July 1-5, 2015
- Pei Gong, Ruilian Zhao and Zheng Li
Faster mutation-based fault localization with a novel mutation execution strategy
IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1,10, 13-17 April 2015
- Zheng Li, Yi Bian, Ruilian Zhao and Jun Cheng
A Fine-Grained Parallel Multi-objective Test Case Prioritization on GPU
Search Based Software Engineering
Lecture Notes in Computer Science Volume 8084, 2013, pp 111-125
- Changhai Nie, Huayao Wu, Yalan Liang, Hareton Leung, Fei-Ching Kuo, and
Zheng Li
Search Based Combinatorial Testing
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
- Kelly Androutsopoulos,
David Binkley,
David Clark,
Nicolas Gold,
Mark Harman,
Kevin Lano
and
Zheng Li
Model Projection: Simplifying Models in Response to Restricting the Environment
33rd international Conference on Software Engineering (ICSE 2011).
Honolulu, Hawaii, USA, May 2011. Pages 291-300.
- Ruilian Zhao,
Mark Harman,
Zheng Li
Empirical study on the efficiency of search based test generation for EFSM models
3rd International Workshop on Search-Based Software Testing, 2010
pages, 222-231, Paris, France, 2010.
- Zheng Li
Identifying High-Level Dependence Structures Using Slice-Based Dependence Analysis
2009 IEEE International Conference on Software Maintenance (ICSM09)
pages 457-460, Edmonton, AB, Canada, 20-26 September 2009
- Kelly Androutsopoulos,
Nicolas Gold,
Mark Harman,
Zheng Li
and Laurence Tratt
A theoretical and empirical study of EFSM dependence
2009 IEEE International Conference on Software Maintenance (ICSM09)
pages 287-296, Edmonton, AB, Canada, 20-26 September 2009
- Ruilian Zhao,
Zheng Li
Boundary Value Testing Using Integrated Circuit Fault Detection Rule
Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART)
pages 3-12, Windsor, UK, 4-6 September 2009.
- Kelly Androutsopoulos,
David Clark,
Mark Harman,
Zheng Li
and Laurence Tratt
Control dependence for extended finite state machines
Fundamental Approaches to Software Engineering (FASE)
pages 216-230,York, UK, 22-29 March 2009.
- Dave Binkley,
Nicolas Gold,
Mark Harman,
Zheng Li
and Kiarash Mahdavi
Evaluating Key Statements Analysis
Eighth IEEE International Working Conference on Source Code Analysis and Manipulation(SCAM'08)
pages 121-130, Beijing, China, 28-29 Sept. 2008.
- Dave Binkley,
Nicolas Gold,
Mark Harman,
Zheng Li,
Kiarash Mahdavi,
and Joachim Wegener
Dependence Anti Patterns
4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08)
pages 25-34, L'Aquila, Italy, 15th-16th September 2008
- Nicolas Gold,
Mark Harman,
Zheng Li
and Kiarash Mahdavi
Allowing Overlapping Boundaries in Source Code Using a Search Based Approach to Concept Binding
ICSM 2006
- Dave Binkley,
Nicolas Gold,
Mark Harman,
Zheng Li
and Kiarash Mahdavi
An Empirical Study of Executable Concept Slice Size
In IEEE Working Conference on Reverse Engineering (WCRE 2006), pages 103–112, Benevento, Italy, Oct. 2006.