Kiran Lakhotia

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