default search action
Kiran Lakhotia
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [e1]Tanja E. J. Vos, Kiran Lakhotia, Sebastian Bauersfeld:
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8432, Springer 2014, ISBN 978-3-319-07784-0 [contents] - 2013
- [j5]Kiran Lakhotia, Mark Harman
, Hamilton Gross:
AUSTIN: An open source tool for search based software testing of C programs. Inf. Softw. Technol. 55(1): 112-125 (2013) - [j4]Mark Harman
Cloud engineering is Search Based Software Engineering too. J. Syst. Softw. 86(9): 2225-2241 (2013) - [c12]Paolo Tonella
Automated generation of state abstraction functions using data invariant inference. AST 2013: 75-81 - [c11]Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernández
Unit Testing Tool Competition. ICST Workshops 2013: 414-420 - [c10]Kiran Lakhotia:
En Garde: Winning Coding Duels through Genetic Programming. ICST Workshops 2013: 421-424 - [c9]Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia:
Unit Testing Tool Competitions - Lessons Learned. FITTEST@ICTSS 2013: 75-94 - 2012
- [j3]Phil McMinn, Mark Harman
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): 453-477 (2012) - [c8]Paolo Tonella
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. ICST 2012: 21-30 - 2011
- [j2]David W. Binkley, Mark Harman
FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12:1-12:33 (2011) - [c7]Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener:
Search-Based Testing, the Underlying Engine of Future Internet Testing. FedCSIS 2011: 917-923 - [c6]Arthur I. Baars, Mark Harman
Symbolic search-based testing. ASE 2011: 53-62 - 2010
- [j1]Kiran Lakhotia, Phil McMinn, Mark Harman
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. J. Syst. Softw. 83(12): 2379-2391 (2010) - [c5]Mark Harman
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. ICST Workshops 2010: 182-191 - [c4]Kiran Lakhotia, Nikolai Tillmann, Mark Harman
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157 - [i1]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
2000 – 2009
- 2008
- [c3]Kiran Lakhotia, Mark Harman, Phil McMinn:
Handling dynamic data structures in search based testing. GECCO 2008: 1759-1766 - 2007
- [c2]Kiran Lakhotia, Mark Harman
A multi-objective approach to search-based test data generation. GECCO 2007: 1098-1105 - [c1]Mark Harman
The impact of input domain reduction on search-based test data generation. ESEC/SIGSOFT FSE 2007: 155-164
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: