 | 2012 |
| 12 |  | Vilas Jagannath,
Matt Kirn,
Yu Lin,
Darko Marinov:
Evaluating Machine-Independent Metrics for State-Space Exploration.
ICST 2012: 320-329 |
| 2011 |
| 11 |  | Elton Alves,
Milos Gligoric,
Vilas Jagannath,
Marcelo d'Amorim:
Fault-localization using dynamic slicing and change impact analysis.
ASE 2011: 520-523 |
| 10 |  | Brett Daniel,
Danny Dig,
Tihomir Gvero,
Vilas Jagannath,
Johnston Jiaa,
Damion Mitchell,
Jurand Nogiec,
Shin Hwei Tan,
Darko Marinov:
ReAssert: a tool for repairing broken unit tests.
ICSE 2011: 1010-1012 |
| 9 |  | Vilas Jagannath,
Zuoning Yin,
Mihai Budiu:
Monitoring and Debugging DryadLINQ Applications with Daphne.
IPDPS Workshops 2011: 1266-1273 |
| 8 |  | Vilas Jagannath,
Qingzhou Luo,
Darko Marinov:
Change-aware preemption prioritization.
ISSTA 2011: 133-143 |
| 7 |  | Vilas Jagannath,
Milos Gligoric,
Dongyun Jin,
Qingzhou Luo,
Grigore Rosu,
Darko Marinov:
Improved multithreaded unit testing.
SIGSOFT FSE 2011: 223-233 |
| 2010 |
| 6 |  | Milos Gligoric,
Tihomir Gvero,
Vilas Jagannath,
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov:
Test generation through programming in UDITA.
ICSE (1) 2010: 225-234 |
| 5 |  | Milos Gligoric,
Vilas Jagannath,
Darko Marinov:
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.
ICST 2010: 55-64 |
| 4 |  | Vilas Jagannath,
Milos Gligoric,
Steven Lauterburg,
Darko Marinov,
Gul Agha:
Mutation Operators for Actor Systems.
ICST Workshops 2010: 157-162 |
| 3 |  | Rohan Sharma,
Milos Gligoric,
Vilas Jagannath,
Darko Marinov:
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.
ICST Workshops 2010: 337-342 |
| 2009 |
| 2 |  | Brett Daniel,
Vilas Jagannath,
Danny Dig,
Darko Marinov:
ReAssert: Suggesting Repairs for Broken Unit Tests.
ASE 2009: 433-444 |
| 1 |  | Vilas Jagannath,
Yun Young Lee,
Brett Daniel,
Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing.
FASE 2009: 171-185 |