• Cloud Engineering is Search Based Optimization Too.
  M. Harman, K. Lakhotia, J. Singer, D. R. White, S. Yoo
  Journal of Systems and Software (JSS), To appear.
• AUSTIN:An Open Source Tool for Search Based Software Testing of C Programs.
  K. Lakhotia, M. Harman, H. Gross
  Information and Software Technology (IST), Volume 55, Issue 1, January 2013, Pages 112-125.
• Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation.
  P. McMinn, M. Harman, Y. Hassoun, K. Lakhotia, J. Wegener
  IEEE Transactions on Software Engineering (TSE) , Volume 38, Issue 2, May 2012, Pages 453-477.
• An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN.
  K. Lakhotia, P. McMinn, M. Harman
  Journal of Systems and Software (JSS) , Volume 83, Issue 12, December 2010, Pages 2379-2391.
• FlagRemover: A Testability Transformation For Loop Assigned Flags.
  D. Binkley, M. Harman, K. Lakhotia
  Transactions on Software Engineering and Methodology (TOSEM) , Volume 20, Issue 3, August 2011, Pages 12-48.

• Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.
  P. Tonella, Alessandro Marchetto, Cu Duy Nguyen, Yue Jia, K. Lakhotia, M. Harman
  5th IEEE International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Canada, April 17-21 2012, pp. 21-30.
• Symbolic Search-Based Testing.
  A. I. Baars, M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, P. Tonella, T. Vos
  26th International Conference On Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, November 6-10 2011, pp. 53-62.
• FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
  K. Lakhotia, N. Tillmann, M. Harman, J. de Halleux,
  22nd IFIP International Conference on Testing Software and Systems, Natal, Brazil, November 8-12, 2010, pp. 142-157.
• AUSTIN: A tool for Search Based Software Testing for the C Language and its Evaluation on Deployed Automotive Systems.
  K. Lakhotia, M. Harman, H. Gross
  2nd International Symposium on Search Based Software Engineering, Benevento, Italy, September 7-9, 2010, pp. 101-110.
• Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?.
  K. Lakhotia, P. McMinn, M. Harman
  4th Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART 09) , Windsor, UK, September 4-6 2009, pp. 95-104, IEEE Computer Society.
• Handling Dynamic Data Structures in Search Based Testing.
  K. Lakhotia, M. Harman, P. McMinn
  Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2008), Atlanta, USA, July 12-16, 2008, pp. 1759-1766, ACM Press.
• The Impact of Input Domain Reduction on Search-Based Test Data Generation.
  M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, J. Wegener
  Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2007), Cavtat, Croatia, September 3-7, 2007, pp. 155-164, ACM Press.
• A Multi-Objective Approach to Search-Based Test Data Generation.
  M. Harman, K. Lakhotia, P. McMinn
  Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2007), London, UK, July 7-11, 2007, pp. 1098-1105, ACM Press.

• Automated Generation of State Abstraction Functions using Data Invariant Inference.
  Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, K. Lakhotia, M. Harman
  8th International Workshop on Automation of Software Test (AST 2013).
• Search-Based Testing, the Underlying Engine of Future Internet Testing.
  A. I. Baars, K. Lakhotia, T. E.J. Vos, J. Wegener
  Federated Conference On Computer Science and Information Systems 2011.
• Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
  M. Harman, S. Gon Kim, K. Lakhotia, P. McMinn, S. Yoo
  3rd International Workshop on Search-Based Software Testing 2010.

• En Garde: Winning Coding Duels Through Genetic Programming.
  K. Lakhotia
  6th International Workshop on Search-Based Software Testing (SBST 2013).
• Multi Objective Algorithms for Automated Generation of Combinatorial Test Cases with the Classification Tree Method.
  P. M. Kruse, K. Lakhotia
  Symposium On Search Based Software Engineering (SSBSE 2011).

• AUSTIN - automatisierte Strukturtests für C
  K. Lakhotia
  OBJEKTspektrum, Online Themenspecial Testing 2011 (OBJEKTspektrum).