BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Croatia
1 × USA
Collaborated with:
M.Harman Y.Hassoun P.McMinn P.Tonella N.Tillmann J.d.Halleux J.Wegener A.Marchetto D.C.Nguyen Y.Jia A.I.Baars T.E.J.Vos
Talks about:
search (3) base (3) symbol (2) execut (2) test (2) constraint (1) approxim (1) generat (1) between (1) reduct (1)

Person: Kiran Lakhotia

DBLP DBLP: Lakhotia:Kiran

Contributed to:

ICST 20122012
ASE 20112011
ICTSS 20102010
ESEC/FSE 20072007

Wrote 4 papers:

ICST-2012-TonellaMNJLH #approximate #execution #modelling
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
ASE-2011-BaarsHHLMTV #search-based #testing
Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving
FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
ESEC-FSE-2007-HarmanHLMW #generative #reduction #search-based #testing
The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.