Vilas Jagannath

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Space Exploration

Obstacle Avoidance

Mutation Testing

Top Venues

Softw. Test. Verification Reliab.

Publications

Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23 (5) (2013)
Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov
Evaluating Machine-Independent Metrics for State-Space Exploration. ICST (2012)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
Improved multithreaded unit testing. SIGSOFT FSE (2011)
Vilas Jagannath, Qingzhou Luo, Darko Marinov
Change-aware preemption prioritization. ISSTA (2011)
Vilas Jagannath, Zuoning Yin, Mihai Budiu
Monitoring and Debugging DryadLINQ Applications with Daphne. IPDPS Workshops (2011)
Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
Fault-localization using dynamic slicing and change impact analysis. ASE (2011)
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)
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
Mutation Operators for Actor Systems. ICST Workshops (2010)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
Test generation through programming in UDITA. ICSE (1) (2010)
Milos Gligoric, Vilas Jagannath, Darko Marinov
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST (2010)
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)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
IMUnit: improved multithreaded unit testing. IWMSE@ICSE (2010)
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
ReAssert: Suggesting Repairs for Broken Unit Tests. ASE (2009)
Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov
Reducing the Costs of Bounded-Exhaustive Testing. FASE (2009)