Kiran Lakhotia

UCL Australia — Australia

Computer Science · Physical Sciences

15h-index1.1kcitations29works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(24), Software Reliability and Analysis Research(19), Software Engineering Research(14), Software System Performance and Reliability(7), Distributed and Parallel Computing Systems(3)

Publications29 total

Unit Testing Tool Competitions – Lessons Learned
Lecture notes in computer science·2014
Future Internet Testing
Lecture notes in computer science·2014· 3 cited
Unit Testing Tool Competitions – Lessons Learned
Lecture notes in computer science·2014· 12 cited
Future Internet Testing
Lecture notes in computer science·2014· 1 cited
Automated generation of state abstraction functions using data invariant inference
Automation of Software Test·2013· 9 cited
Automated generation of state abstraction functions using data invariant inference
2013· 4 cited
Unit Testing Tool Competition
2013· 19 cited
En Garde: Winning Coding Duels through Genetic Programming
2013· 2 cited
Cloud engineering is Search Based Software Engineering too
Journal of Systems and Software·2012· 63 citedOpen Access
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology·2012· 57 cited
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs
2012· 22 cited
Cloud Engineering is Search Based Optimization too
2012· 3 cited
Search-based testing, the underlying engine of Future Internet testing
2011· 4 cited
Symbolic search-based testing
2011· 91 cited
Search-Based Testing: Automating White-Box Testing
2011· 1 cited
FlagRemover
ACM Transactions on Software Engineering and Methodology·2011· 39 cited
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation
IEEE Transactions on Software Engineering·2011· 58 cited
AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems
2010· 42 cited
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Journal of Systems and Software·2010· 69 cited
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem
2010· 86 cited
page 1 of 2Next →

Frequent Co-authors

Mark Harman(19), Phil McMinn(9), Tanja E. J. Vos(7), Paolo Tonella(5), Sebastian Bauersfeld(5), Youssef Hassoun(4), Shin Yoo(4), Joachim Wegener(4), Alessandro Marchetto(3), Cu Nguyen(3), Arthur I. Baars(2), Sung Gon Kim(2), Jeremy Singer(2), David R. White(2), Hamilton Gross(2), Yue Jia(2), Nikolai Tillmann(1), Jonathan de Halleux(1), David Binkley(1), Simon Poulding(1)