Vilas Jagannath

15 papers A* 3A 3B 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2013 J jnl
Efficient mutation testing of multithreaded code.
Softw. Test. Verification Reliab.
Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
2012 A conf
Evaluating Machine-Independent Metrics for State-Space Exploration.
ICST
Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov
2012 — —
Improved regression testing of multithreaded programs
Vilas Jagannath
2011 A conf
Change-aware preemption prioritization.
ISSTA
Vilas Jagannath, Qingzhou Luo, Darko Marinov
2011 A* conf
Fault-localization using dynamic slicing and change impact analysis.
ASE
Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
2011 — conf
Improved multithreaded unit testing.
SIGSOFT FSE
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
2011 — conf
Monitoring and Debugging DryadLINQ Applications with Daphne.
IPDPS Workshops
Vilas Jagannath, Zuoning Yin, Mihai Budiu
2011 A* conf
ReAssert: a tool for repairing broken unit tests.
ICSE
Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov
2010 — conf
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.
ICST Workshops
Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov
2010 — conf
IMUnit: improved multithreaded unit testing.
IWMSE@ICSE
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
2010 A conf
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.
ICST
Milos Gligoric, Vilas Jagannath, Darko Marinov
2010 — conf
Mutation Operators for Actor Systems.
ICST Workshops
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
2010 — conf
Test generation through programming in UDITA.
ICSE (1)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
2009 A* conf
ReAssert: Suggesting Repairs for Broken Unit Tests.
ASE
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
2009 B conf
Reducing the Costs of Bounded-Exhaustive Testing.
FASE
Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov