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: Lakhotia:Kiran
Contributed to:
2012
2011
2010
2007Wrote 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.