Follow
Vilas Jagannath
Vilas Jagannath
Computer Scientist (PhD, University of Illinois)
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Test generation through programming in UDITA
M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
2052010
ReAssert: Suggesting repairs for broken unit tests
B Daniel, V Jagannath, D Dig, D Marinov
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
1482009
Fault-localization using dynamic slicing and change impact analysis
E Alves, M Gligoric, V Jagannath, M d'Amorim
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
812011
Improved multithreaded unit testing
V Jagannath, M Gligoric, D Jin, Q Luo, G Rosu, D Marinov
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
712011
MuTMuT: Efficient exploration for mutation testing of multithreaded code
M Gligoric, V Jagannath, D Marinov
2010 third international conference on software testing, verification and …, 2010
692010
Reducing the costs of bounded-exhaustive testing
V Jagannath, YY Lee, B Daniel, D Marinov
Fundamental Approaches to Software Engineering: 12th International …, 2009
492009
Change-aware preemption prioritization
V Jagannath, Q Luo, D Marinov
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
462011
Reassert: a tool for repairing broken unit tests
B Daniel, D Dig, T Gvero, V Jagannath, J Jiaa, D Mitchell, J Nogiec, ...
Proceedings of the 33rd International Conference on Software Engineering …, 2011
282011
Monitoring and debugging dryadlinq applications with daphne
V Jagannath, Z Yin, M Budiu
2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011
252011
Mutation operators for actor systems
V Jagannath, M Gligoric, S Lauterburg, D Marinov, G Agha
2010 Third International Conference on Software Testing, Verification, and …, 2010
192010
A comparison of constraint-based and sequence-based generation of complex input data structures
R Sharma, M Gligoric, V Jagannath, D Marinov
2010 Third International Conference on Software Testing, Verification, and …, 2010
182010
Efficient mutation testing of multithreaded code
M Gligoric, V Jagannath, Q Luo, D Marinov
Software Testing, Verification and Reliability 23 (5), 375-403, 2013
152013
IMUnit: improved multithreaded unit testing
V Jagannath, M Gligoric, D Jin, G Rosu, D Marinov
Proceedings of the 3rd International Workshop on Multicore Software …, 2010
72010
Evaluating machine-independent metrics for state-space exploration
V Jagannath, M Kirn, Y Lin, D Marinov
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
62012
Improved regression testing of multithreaded programs
VSB Jagannath
University of Illinois at Urbana-Champaign, 2012
2012
ReAssert
B Daniel, D Dig, T Gvero, V Jagannath, J Jiaa, D Mitchell, J Nogiec, ...
Proceedings of the 33rd International Conference on Software Engineering, 2011
2011
Research Track Secondary Reviewers
W Afzal, P Anbalagan, D Baca, C Bird, P Bokor, O Bridal, E Brottier, ...
The system can't perform the operation now. Try again later.
Articles 1–17