Travelled to:1 × Singapore
1 × USA
Collaborated with:A.Acharya R.Komondoor S.Thummalapenta S.Sinha N.Sinha S.Chandra
Talks about:reachabl (1) properti (1) presburg (1) generat (1) counter (1) analysi (1) system (1) applic (1) check (1) test (1)
Person: K. Vasanta Lakshmi
DBLP: Lakshmi:K=_Vasanta
Contributed to:
2014
2013Wrote 2 papers:
- FM-2014-LakshmiAK #analysis #liveness #reachability #using
- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
- ICSE-2013-ThummalapentaLSSC #generative #testing #web
- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.