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 | 414 | 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 | 131 | 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 | 85 | 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 | 79 | 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 | 73 | 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 | 56 | 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 | 56 | 2011 |
Change-aware preemption prioritization V Jagannath, Q Luo, D Marinov Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 47 | 2011 |
GPredict: Generic predictive concurrency analysis J Huang, Q Luo, G Rosu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 42 | 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 | 37 | 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 | 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 |
Systematic Concurrency Testing with Maximal Causality Q Luo, J Huang, G Rosu | 5 | 2015 |
Can We Trust Test Outcomes? Q Luo, L Eloussi, F Hariri, D Marinov Network 5 (1), 2014 | 4 | 2014 |
Testing, runtime verification, and analysis of concurrent programs Q Luo University of Illinois at Urbana-Champaign, 2015 | | 2015 |
EnforceMOP Q Luo, G Rosu | | |