Suivre
Kiran Lakhotia
Kiran Lakhotia
Research Associate, CREST, University College London
Adresse e-mail validée de cs.ucl.ac.uk
Titre
Citée par
Citée par
Année
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
2032007
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
1252011
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
121*2013
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
1172010
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
1092007
Cloud Engineering is Search Based Optimization too
M Harman, K Lakhotia, J Singer, DR White, S Yoo
Journal of Systems and Software, 2012
99*2012
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
972011
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
882010
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
842009
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
622008
FlagRemover: A testability transformation for transforming loop-assigned flags
DW Binkley, M Harman, K Lakhotia
ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (3), 1-33, 2011
412011
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
262012
Unit testing tool competitions–lessons learned
S Bauersfeld, TEJ Vos, K Lakhotia
Future Internet Testing: First International Workshop, FITTEST 2013 …, 2014
212014
Unit testing tool competition
S Bauersfeld, TEJ Vos, K Lakhotia, S Poulding, N Condori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
202013
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
152013
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
112011
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
102011
Search-Based Testing
K Lakhotia
King's College London, 2009
92009
En garde: Winning coding duels through genetic programming
K Lakhotia
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
42013
Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
TEJ Vos, K Lakhotia, S Bauersfeld
Springer, 2014
22014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20