Follow
Qingzhou Luo
Qingzhou Luo
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
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
5282014
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
1582014
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
912014
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
782012
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
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
592011
Change-aware preemption prioritization
V Jagannath, Q Luo, D Marinov
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
482011
GPredict: Generic predictive concurrency analysis
J Huang, Q Luo, G Rosu
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
452015
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
412013
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
192010
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
Systematic Concurrency Testing with Maximal Causality
Q Luo, J Huang, G Rosu
62015
Can We Trust Test Outcomes?
Q Luo, L Eloussi, F Hariri, D Marinov
Network 5 (1), 2014
62014
Testing, runtime verification, and analysis of concurrent programs
Q Luo
University of Illinois at Urbana-Champaign, 2015
2015
EnforceMOP
Q Luo, G Rosu
The system can't perform the operation now. Try again later.
Articles 1–15