![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Kiran Lakhotia
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
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
, Kiran Lakhotia, Jeremy Singer
, David Robert White, Shin Yoo:
Cloud engineering is Search Based Software Engineering too. J. Syst. Softw. 86(9): 2225-2241 (2013) - [c12]Paolo Tonella
, Cu Duy Nguyen, Alessandro Marchetto
, Kiran Lakhotia, Mark Harman
:
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
, 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): 453-477 (2012) - [c8]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: 21-30 - 2011
- [j2]David W. Binkley, Mark Harman
, Kiran Lakhotia:
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
, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella
, Tanja E. J. Vos:
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
, 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: 182-191 - [c4]Kiran Lakhotia, Nikolai Tillmann, Mark Harman
, Jonathan de Halleux:
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
, Phil McMinn:
A multi-objective approach to search-based test data generation. GECCO 2007: 1098-1105 - [c1]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: 155-164
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint