Vilas Jagannath
Vilas Jagannath
Computer Scientist (PhD, University of Illinois)
Email verificata su illinois.edu - Home page
Titolo
Citata da
Citata da
Anno
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
1672010
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
1022009
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
622011
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
552010
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
492011
Reducing the costs of bounded-exhaustive testing
V Jagannath, YY Lee, B Daniel, D Marinov
International Conference on Fundamental Approaches to Software Engineering …, 2009
442009
Change-aware preemption prioritization
V Jagannath, Q Luo, D Marinov
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
402011
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
202011
Monitoring and debugging dryadlinq applications with daphne
V Jagannath, Z Yin, M Budiu
2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011
202011
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
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
172010
Efficient mutation testing of multithreaded code
M Gligoric, V Jagannath, Q Luo, D Marinov
Software Testing, Verification and Reliability 23 (5), 375-403, 2013
142013
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
102010
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
V Jagannath
University of Illinois at Urbana-Champaign, 2012
2012
Research Track Secondary Reviewers
W Afzal, P Anbalagan, D Baca, C Bird, P Bokor, O Bridal, E Brottier, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–16