A multi-objective approach to search-based test data generation. - Kiran Lakhotia; Mark Harman; Phil McMinn (GECCO, 2007)

The impact of input domain reduction on search-based test data generation. - Mark Harman; Youssef Hassoun; Kiran Lakhotia; Phil McMinn; Joachim Wegener (ESEC/SIGSOFT FSE, 2007)

Handling dynamic data structures in search based testing. - Kiran Lakhotia; Mark Harman; Phil McMinn (GECCO, 2008)

AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. - Nadia Alshahwan; Yue Jia 001; Kiran Lakhotia; Gordon Fraser 001; David Shuler; Paolo Tonella (Practical Software Testing: Tool Automation and Human Factors, 2010)

Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. - Mark Harman; Sung Gon Kim; Kiran Lakhotia; Phil McMinn; Shin Yoo (ICST Workshops, 2010)

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. - Kiran Lakhotia; Nikolai Tillmann; Mark Harman; Jonathan de Halleux (ICTSS, 2010)

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. - Kiran Lakhotia; Phil McMinn; Mark Harman (J. Syst. Softw., 2010)

Search-Based Testing, the Underlying Engine of Future Internet Testing. - Arthur I. Baars; Kiran Lakhotia; Tanja E. J. Vos; Joachim Wegener (FedCSIS, 2011)

Symbolic search-based testing. - Arthur I. Baars; Mark Harman; Youssef Hassoun; Kiran Lakhotia; Phil McMinn; Paolo Tonella; Tanja E. J. Vos (ASE, 2011)

FlagRemover: A testability transformation for transforming loop-assigned flags. - David W. Binkley; Mark Harman; Kiran Lakhotia (ACM Trans. Softw. Eng. Methodol., 2011)

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. - Paolo Tonella; Alessandro Marchetto 001; Duy Cu Nguyen; Yue Jia 001; Kiran Lakhotia; Mark Harman (ICST, 2012)

Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation. - Phil McMinn; Mark Harman; Kiran Lakhotia; Youssef Hassoun; Joachim Wegener (IEEE Trans. Software Eng., 2012)

Automated generation of state abstraction functions using data invariant inference. - Paolo Tonella; Cu Duy Nguyen; Alessandro Marchetto 001; Kiran Lakhotia; Mark Harman (AST, 2013)

Unit Testing Tool Competition. - Sebastian Bauersfeld; Tanja E. J. Vos; Kiran Lakhotia; Simon M. Poulding; Nelly Condori-Fernández (ICST Workshops, 2013)

En Garde: Winning Coding Duels through Genetic Programming. - Kiran Lakhotia (ICST Workshops, 2013)

Unit Testing Tool Competitions - Lessons Learned. - Sebastian Bauersfeld; Tanja E. J. Vos; Kiran Lakhotia (FITTEST@ICTSS, 2013)

AUSTIN: An open source tool for search based software testing of C programs. - Kiran Lakhotia; Mark Harman; Hamilton Gross (Inf. Softw. Technol., 2013)

Cloud engineering is Search Based Software Engineering too. - Mark Harman; Kiran Lakhotia; Jeremy Singer; David Robert White; Shin Yoo (J. Syst. Softw., 2013)