Qingzhou Luo
Qingzhou Luo
Verified email at illinois.edu - Homepage
TitleCited byYear
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
1372014
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
International Conference on Runtime Verification, 285-300, 2014
592014
ROSRV: Runtime verification for robots
J Huang, C Erdogan, Y Zhang, B Moore, Q Luo, A Sundaresan, G Rosu
International Conference on Runtime Verification, 247-254, 2014
562014
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
A Nistor, Q Luo, M Pradel, TR Gross, D Marinov
Proceedings of the 34th International Conference on Software Engineering …, 2012
552012
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
552011
Change-aware preemption prioritization
V Jagannath, Q Luo, D Marinov
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
382011
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
362011
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
362011
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
262013
GPredict: Generic predictive concurrency analysis
J Huang, Q Luo, G Rosu
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
242015
A lightweight and portable approach to making concurrent failures reproducible
Q Luo, S Zhang, J Zhao, M Hu
International Conference on Fundamental Approaches to Software Engineering …, 2010
152010
Efficient mutation testing of multithreaded code
M Gligoric, V Jagannath, Q Luo, D Marinov
Software Testing, Verification and Reliability 23 (5), 375-403, 2013
122013
Systematic Concurrency Testing with Maximal Causality
Q Luo, J Huang, G Rosu
12015
Can We Trust Test Outcomes?
Q Luo, L Eloussi, F Hariri, D Marinov
Network 5, 1, 2014
12014
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–16