| 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 | 210 | 2010 |
| 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 | 148 | 2009 |
| 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 | 82 | 2011 |
| 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 | 71 | 2011 |
| 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 | 68 | 2010 |
| Reducing the costs of bounded-exhaustive testing V Jagannath, YY Lee, B Daniel, D Marinov Fundamental Approaches to Software Engineering: 12th International …, 2009 | 49 | 2009 |
| Change-aware preemption prioritization V Jagannath, Q Luo, D Marinov Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 46 | 2011 |
| 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 | 27 | 2011 |
| Monitoring and debugging dryadlinq applications with daphne V Jagannath, Z Yin, M Budiu 2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011 | 26 | 2011 |
| 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 | 19 | 2010 |
| 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 | 18 | 2010 |
| Efficient mutation testing of multithreaded code M Gligoric, V Jagannath, Q Luo, D Marinov Software Testing, Verification and Reliability 23 (5), 375-403, 2013 | 15 | 2013 |
| 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 | 7 | 2010 |
| 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 | 6 | 2012 |
| 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, ... | | |
Darko MarinovUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
