Vilas Jagannath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2009–2012
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICST | Evaluating Machine-Independent Metrics for State-Space Exploration. | Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov |
| 2011 | ICSE | ReAssert: a tool for repairing broken unit tests. | Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov |
| 2011 | ISSTA | Change-aware preemption prioritization. | Vilas Jagannath, Qingzhou Luo, Darko Marinov |
| 2010 | ICSE | Test generation through programming in UDITA. | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
| 2010 | ICSE | IMUnit: improved multithreaded unit testing. | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov |
| 2010 | ICST | MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. | Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | ICST | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2010 | ICST | A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. | Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2009 | FASE | Reducing the Costs of Bounded-Exhaustive Testing. | Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov |