| An empirical analysis of flaky tests Q Luo, F Hariri, L Eloussi, D Marinov Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 509 | 2014 |
| ROSRV: Runtime verification for robots J Huang, C Erdogan, Y Zhang, B Moore, Q Luo, A Sundaresan, G Rosu Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 152 | 2014 |
| RV-Monitor: Efficient parametric runtime verification with simultaneous properties Q Luo, Y Zhang, C Lee, D Jin, PON Meredith, TF Şerbănuţă, G Roşu Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 90 | 2014 |
| Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code A Nistor, Q Luo, M Pradel, TR Gross, D Marinov 2012 34th International Conference on Software Engineering (ICSE), 727-737, 2012 | 77 | 2012 |
| 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 |
| Automated GUI refactoring and test script repair B Daniel, Q Luo, M Mirzaaghaei, D Dig, D Marinov, M Pezzè Proceedings of the First International Workshop on End-to-End Test Script …, 2011 | 58 | 2011 |
| Change-aware preemption prioritization V Jagannath, Q Luo, D Marinov Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 46 | 2011 |
| GPredict: Generic predictive concurrency analysis J Huang, Q Luo, G Rosu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 44 | 2015 |
| EnforceMOP: a runtime property enforcement system for multithreaded programs Q Luo, G Roşu Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 41 | 2013 |
| A lightweight and portable approach to making concurrent failures reproducible Q Luo, S Zhang, J Zhao, M Hu Fundamental Approaches to Software Engineering: 13th International …, 2010 | 19 | 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 |
| Systematic Concurrency Testing with Maximal Causality Q Luo, J Huang, G Rosu | 6 | 2015 |
| Can We Trust Test Outcomes? Q Luo, L Eloussi, F Hariri, D Marinov Network 5 (1), 2014 | 5 | 2014 |
| Testing, runtime verification, and analysis of concurrent programs Q Luo University of Illinois at Urbana-Champaign, 2015 | | 2015 |
| EnforceMOP Q Luo, G Rosu | | |
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
