Travelled to:1 × India
1 × Luxembourg
1 × Russia
1 × United Kingdom
Collaborated with:P.Sampath B.Chimdyalwar A.Sanyal U.P.Khedker U.Shrotri R.Venkatesh A.Yeolekar D.Unadkat V.Agarwal M.Afzal A.Asia A.Chauhan P.Darke A.Datar
Talks about:generat (2) analysi (2) slice (2) check (2) test (2) properti (1) industri (1) abstract (1) scalabl (1) context (1)
Person: Shrawan Kumar
DBLP: Kumar:Shrawan
Contributed to:
2015
2013
2013
2006
2019Wrote 5 papers:
- TACAS-2015-KumarSK #concept #scalability #slicing
- Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
- ESEC-FSE-2013-KumarCS #analysis #industrial #precise #scalability
- Precise range analysis on large industry code (SK, BC, US), pp. 675–678.
- ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
- Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
- SEFM-2006-SampathK #analysis
- Composing Context Sensitive Analysis (PS, SK), pp. 186–195.
- ASE-2019-AfzalACCDDKV #abstraction #generative #testing #verification
- VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.