Kiran Lakhotia

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Genetic Programming

Symbolic Regression

Financial Forecasting

Top Venues

Inf. Softw. Technol.

J. Syst. Softw.

Publications

Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman
Automated generation of state abstraction functions using data invariant inference. AST (2013)
Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia
Unit Testing Tool Competitions - Lessons Learned. FITTEST@ICTSS (2013)
Kiran Lakhotia
En Garde: Winning Coding Duels through Genetic Programming. ICST Workshops (2013)
Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández
Unit Testing Tool Competition. ICST Workshops (2013)
Mark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo
Cloud engineering is Search Based Software Engineering too. J. Syst. Softw. 86 (9) (2013)
Kiran Lakhotia, Mark Harman, Hamilton Gross
AUSTIN: An open source tool for search based software testing of C programs. Inf. Softw. Technol. 55 (1) (2013)
Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. ICST (2012)
Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation. IEEE Trans. Software Eng. 38 (2) (2012)
Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos
Symbolic search-based testing. ASE (2011)
Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener
Search-Based Testing, the Underlying Engine of Future Internet Testing. FedCSIS (2011)
David W. Binkley, Mark Harman, Kiran Lakhotia
FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20 (3) (2011)
Nadia Alshahwan, Yue Jia, Kiran Lakhotia, Gordon Fraser, David Shuler, Paolo Tonella
AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. Practical Software Testing: Tool Automation and Human Factors (2010)
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS (2010)
Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. ICST Workshops (2010)
Kiran Lakhotia, Phil McMinn, Mark Harman
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. J. Syst. Softw. 83 (12) (2010)
Kiran Lakhotia, Mark Harman, Phil McMinn
Handling dynamic data structures in search based testing. GECCO (2008)
Kiran Lakhotia, Mark Harman, Phil McMinn
A multi-objective approach to search-based test data generation. GECCO (2007)
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener
The impact of input domain reduction on search-based test data generation. ESEC/SIGSOFT FSE (2007)