Reducing the Costs of Bounded-Exhaustive Testing. - Vilas Jagannath; Yun Young Lee; Brett Daniel; Darko Marinov (FASE, 2009)

ReAssert: Suggesting Repairs for Broken Unit Tests. - Brett Daniel; Vilas Jagannath; Danny Dig; Darko Marinov (ASE, 2009)

Test generation through programming in UDITA. - Milos Gligoric 001; Tihomir Gvero; Vilas Jagannath; Sarfraz Khurshid; Viktor Kuncak; Darko Marinov (ICSE (1), 2010)

IMUnit: improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Grigore Rosu; Darko Marinov (IWMSE@ICSE, 2010)

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. - Milos Gligoric 001; Vilas Jagannath; Darko Marinov (ICST, 2010)

Mutation Operators for Actor Systems. - Vilas Jagannath; Milos Gligoric 001; Steven Lauterburg; Darko Marinov; Gul Agha (ICST Workshops, 2010)

A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. - Rohan Sharma; Milos Gligoric 001; Vilas Jagannath; Darko Marinov (ICST Workshops, 2010)

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 (ICSE, 2011)

Monitoring and Debugging DryadLINQ Applications with Daphne. - Vilas Jagannath; Zuoning Yin; Mihai Budiu (IPDPS Workshops, 2011)

Change-aware preemption prioritization. - Vilas Jagannath; Qingzhou Luo; Darko Marinov (ISSTA, 2011)

Fault-localization using dynamic slicing and change impact analysis. - Elton Alves; Milos Gligoric 001; Vilas Jagannath; Marcelo d'Amorim (ASE, 2011)

Improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Qingzhou Luo; Grigore Rosu; Darko Marinov (SIGSOFT FSE, 2011)

Evaluating Machine-Independent Metrics for State-Space Exploration. - Vilas Jagannath; Matt Kirn; Yu Lin; Darko Marinov (ICST, 2012)

Improved regression testing of multithreaded programs - Vilas Jagannath (2012)

Efficient mutation testing of multithreaded code. - Milos Gligoric 001; Vilas Jagannath; Qingzhou Luo; Darko Marinov (Softw. Test. Verification Reliab., 2013)