| 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 | 208 | 2007 |
| 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 | 132 | 2011 |
| 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 | 128* | 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 | 120 | 2010 |
| 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 | 112 | 2007 |
| Cloud Engineering is Search Based Optimization too M Harman, K Lakhotia, J Singer, DR White, S Yoo Journal of Systems and Software, 2012 | 101* | 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 | 99 | 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 83 (12), 2379-2391, 2010 | 89 | 2010 |
| 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 | 88 | 2009 |
| 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 | 63 | 2008 |
| 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 | 43 | 2011 |
| 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 | 27 | 2012 |
| Unit testing tool competitions–lessons learned S Bauersfeld, TEJ Vos, K Lakhotia Future Internet Testing: First International Workshop, FITTEST 2013 …, 2014 | 22 | 2014 |
| Unit testing tool competition S Bauersfeld, TEJ Vos, K Lakhotia, S Poulding, N Condori 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 21 | 2013 |
| 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 | 15 | 2013 |
| 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 | 11 | 2011 |
| 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 | 10 | 2011 |
| Search-Based Testing K Lakhotia King's College London, 2009 | 9 | 2009 |
| En garde: Winning coding duels through genetic programming K Lakhotia 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 4 | 2013 |
| Future Internet Testing: First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers TEJ Vos, K Lakhotia, S Bauersfeld Springer, 2014 | 2 | 2014 |
Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
