Kiran Lakhotia

According to our database, Kiran Lakhotia authored at least 18 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Cloud engineering is Search Based Software Engineering too.

Mark Harman, Kiran Lakhotia, Jeremy Singer, David Robert White, Shin Yoo

J. Syst. Softw., 2013

AUSTIN: An open source tool for search based software testing of C programs.

Kiran Lakhotia, Mark Harman, Hamilton Gross

Inf. Softw. Technol., 2013

Unit Testing Tool Competitions - Lessons Learned.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia

Proceedings of the Future Internet Testing - First International Workshop, 2013

En Garde: Winning Coding Duels through Genetic Programming.

Kiran Lakhotia

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Unit Testing Tool Competition.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automated generation of state abstraction functions using data invariant inference.

Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation.

Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener

IEEE Trans. Software Eng., 2012

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.

Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

FlagRemover: A testability transformation for transforming loop-assigned flags.

David W. Binkley, Mark Harman, Kiran Lakhotia

ACM Trans. Softw. Eng. Methodol., 2011

Symbolic search-based testing.

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Search-Based Testing, the Underlying Engine of Future Internet Testing.

Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.

Kiran Lakhotia, Phil McMinn, Mark Harman

J. Syst. Softw., 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.

Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux

Proceedings of the Testing Software and Systems, 2010

Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.

Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo

Proceedings of the Third International Conference on Software Testing, 2010

AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation.

Nadia Alshahwan, Yue Jia, Kiran Lakhotia, Gordon Fraser, David Shuler, Paolo Tonella

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2008

Handling dynamic data structures in search based testing.

Kiran Lakhotia, Mark Harman, Phil McMinn

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007

The impact of input domain reduction on search-based test data generation.

Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A multi-objective approach to search-based test data generation.

Kiran Lakhotia, Mark Harman, Phil McMinn

Proceedings of the Genetic and Evolutionary Computation Conference, 2007