Peer Reviewed:

1. Evaluating Machine-Independent Metrics for State-Space Exploration
   Vilas Jagannath, Matt Kirn, Yu Lin, and Darko Marinov
   5th IEEE International Conference on Software Testing, Verification and Validation
   (ICST 2012), to appear, Montreal, Canada, April 2012
   
2. Fault-Localization Using Dynamic Slicing and Change Impact Analysis (Short Paper)
   Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo D'Amorim
   26th IEEE/ACM International Conference on Automated Software Engineering
   (ASE 2011), 520-523, Lawrence, Kansas, November 2011
   
3. Improved Multithreaded Unit Testing (paper) (presentation) (website)
   Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, and Darko Marinov
   8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
   (ESEC/FSE 2011), pages 223-233, Szeged, Hungary, September 2011
   
4. Change-Aware Preemption Prioritization (paper) (presentation) (website)
   Vilas Jagannath, Qingzhou Luo, and Darko Marinov
   20th International Symposium on Software Testing and Analysis
   (ISSTA 2011), pages 133-143, Toronto, Ontario, Canada, July 2011
   
5. ReAssert: A Tool for Repairing Broken Unit Tests (Demo Track) (paper)
   Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, and Darko Marinov
   33rd International Conference on Software Engineering
   (ICSE 2011), pages 1010-1012, Waikiki, Honoulu, Hawaii, USA, May 2011
   
6. Monitoring and Debugging DryadLINQ Applications with Daphne (paper)
   Vilas Jagannath, Zuoning Yin, and Mihai Budiu
   16th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2011),
   co-located with the 25th IEEE International Parallel & Distributed Processing Symposium
   (IPDPS 2011), pages 1266-1273, Anchorage, Alaska, USA, May 2011
   
7. IMUnit: Improved Multithreaded Unit Testing (Position Statement) (paper)
   Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov
   3rd International Workshop on Multicore Software Engineering (IWMSE 2010),
   co-located with the ACM/IEEE 32nd International Conference on Software Engineering
   (ICSE 2010), pages 48-49, Cape Town, South Africa, May 2010
   
8. Test Generation through Programming in UDITA (paper) (website)
   Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
   ACM/IEEE 32nd International Conference on Software Engineering
   (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010
   Awarded an ACM SIGSOFT Distinguished Paper Award
   Invited to submit to ACM Transactions on Software Engineering and Methodology (TOSEM)
   
9. Mutation Operators for Actor Systems (paper) (presentation)
   Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
   5th International Workshop on Mutation Analysis (Mutation 2010),
   co-located with the 3rd International Conference on Software Testing, Verification and Validation
   (ICST 2010), pages 157-162, Paris, France, April 2010
   
10. A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures (paper)
    Rohan Sharma, Milos Gligoric, Vilas Jagannath, and Darko Marinov
    2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2010),
    co-located with the 3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), pages 337-342, Paris, France, April 2010
    
11. MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (paper) (presentation)
    Milos Gligoric, Vilas Jagannath, and Darko Marinov
    3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), pages 55-64, Paris, France, April 2010
    Invited to submit to Wiley Software Testing, Verification and Reliability (STVR)
    
12. ReAssert: Suggesting Repairs for Broken Unit Tests (paper) (website)
    Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
    24th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2009), pages 433-444, Auckland, New Zealand, November 2009
    
13. Reducing the Costs of Bounded-Exhaustive Testing (paper) (presentation) (website)
    Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov
    12th International Conference on Fundamental Approaches to Software Engineering
    (FASE 2009), pages 171-185, York, United Kingdom, March 2009
    

Other:

1. On Test Generation through Programming in UDITA (report) (website)
   Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
   Ecole Polytechnique Fédérale de Lausanne Technical Report, September 2009
   
2. ReAssert: Suggesting Repairs for Broken Unit Tests (report) (website)
   Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
   University of Illinois Technical Report, August 2009