PhD
Goal
- Developing tools and techniques for improving the reliability of software
Interests
- Software Engineering: Testing concurrent programs, test input generation, static and dynamic analysis
- Programming Languages: Concurrent/parallel/distributed programming languages/language features
Peer Reviewed Publications
-
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), to appear, Cape Town, South Africa, May 2010
-
Test Generation through Programming in UDITA
(paper)
(webpage)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
ACM/IEEE 32nd International Conference on Software Engineering
(ICSE 2010), to appear, Cape Town, South Africa, May 2010
ACM SIGSOFT Distinguished Paper Award
-
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), to appear, Paris, France, April 2010
-
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), to appear, Paris, France, April 2010
-
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), 55-64, Paris, France, April 2010
-
ReAssert: Suggesting Repairs for Broken Unit Tests
(paper)
(webpage)
Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), 433-444, Auckland, New Zealand, November 2009
-
Reducing the Costs of Bounded-Exhaustive Testing
(paper)
(presentation)
(webpage)
Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov
12th International Conference on Fundamental Approaches to Software Engineering
(FASE 2009), 171-185, York, United Kingdom, March 2009
Other Publications
-
On Test Generation through Programming in UDITA
(report)
(webpage)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
Ecole Polytechnique Fédérale de Lausanne Technical Report, September 2009
-
ReAssert: Suggesting Repairs for Broken Unit Tests
(report)
(webpage)
Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
University of Illinois Technical Report, August 2009
Research Service
Educational Service
-
University of Illinois:
-
University of Auckland: