Kiran's Publications

Email: k.lakhotia@cs.ucl.ac.uk
Phone: +44 (0)20 7679 2560

Refereed Journal Papers:

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) , To Appear 2011.
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.

Refereed Conference Papers:

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, to appear.
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.

Refereed Workshop Papers:

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.

Refereed Fast Abstracts:

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).

Other:

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