Publications
Refereed Journal Articles
- Torben Amtoft,
Kelly Androutsopoulos,
David Clark,
Mark Harman,
and Zheng Li
An Alternative Characterization of Weak Order Dependence
Information Processing Letters (IPL)
Volume 110, Issue 21 (October 2010) Pages 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
- 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.