Kiran Lakhotia
Kiran Lakhotia
Research Associate, CREST, University College London
Verified email at cs.ucl.ac.uk
TitleCited byYear
A multi-objective approach to search-based test data generation
K Lakhotia, M Harman, P McMinn
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
1652007
Symbolic Search-Based Testing
A Baars, M Harman, Y Hassoun, K Lakhotia, P McMinn, P Tonella, T Vos
26th International Conference On Automated Software Engineering, 53-62, 2011
972011
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 the 6th joint meeting of the European software …, 2007
922007
Flopsy-search-based floating point constraint solving for symbolic execution
K Lakhotia, N Tillmann, M Harman, J De Halleux
IFIP International Conference on Testing Software and Systems, 142-157, 2010
912010
AUSTIN: An open source tool for search based software testing of C programs
K Lakhotia, M Harman, H Gross
Information and Software Technology 55 (1), 112-125, 2013
90*2013
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
K Lakhotia, P McMinn, M Harman
Journal of Systems and Software 83 (12), 2379-2391, 2010
742010
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, K Lakhotia, Y Hassoun, J Wegener
IEEE Transactions on Software Engineering 38 (2), 453-477, 2011
712011
Automated test data generation for coverage: Haven't we solved this problem yet?
K Lakhotia, P McMinn, M Harman
2009 Testing: Academic and Industrial Conference-Practice and Research …, 2009
692009
Cloud Engineering is Search Based Optimization too
M Harman, K Lakhotia, J Singer, DR White, S Yoo
Journal of Systems and Software, 2012
67*2012
Handling dynamic data structures in search based testing
K Lakhotia, M Harman, P McMinn
Proceedings of the 10th annual conference on Genetic and evolutionary …, 2008
532008
Finding the optimal balance between over and under approximation of models inferred from execution logs
P Tonella, A Marchetto, CD Nguyen, Y Jia, K Lakhotia, M Harman
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
212012
Unit testing tool competition
S Bauersfeld, TEJ Vos, K Lakhotia, S Poulding, N Condori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
162013
Unit testing tool competitions–lessons learned
S Bauersfeld, TEJ Vos, K Lakhotia
International Workshop on Future Internet Testing, 75-94, 2013
142013
Automated generation of state abstraction functions using data invariant inference
P Tonella, CD Nguyen, A Marchetto, K Lakhotia, M Harman
2013 8th International Workshop on Automation of Software Test (AST), 75-81, 2013
112013
Search-based testing, the underlying engine of future internet testing
AI Baars, K Lakhotia, TEJ Vos, J Wegener
2011 Federated Conference on Computer Science and Information Systems …, 2011
82011
Flagremover: A testability transformation for transforming loop assigned flags
DW Binkley, M Harman, K Lakhotia
ACM Transactions on Software Engineering and Methodology 2 (3), 110-146, 2009
82009
Multi Objective Algorithms for Automated Generation of Combinatorial Test Cases with the Classification Tree Method
PM Kruse, K Lakhotia
Symposium On Search Based Software Engineering, 2011
72011
Search-Based Testing
K Lakhotia
King's College London, 2009
62009
En garde: Winning coding duels through genetic programming
K Lakhotia
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
32013
Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
TEJ Vos, K Lakhotia, S Bauersfeld
Springer, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20