1. An Autonomic Reliability Improvement System for Cyber-Physical Systems Wu, Leon Li; Kaiser, Gail E. 2012 Reports Computer science
2. Improving Efficiency and Reliability of Building Systems Using Machine Learning and Automated Online Evaluation Wu, Leon Li; Kaiser, Gail E.; Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert G.; Anderson, Roger N. 2012 Reports Computer science
3. BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca 2011 Reports Computer science
4. Constructing Subtle Concurrency Bugs Using Synchronization-CentricSecond-Order Mutation Operators Wu, Leon Li; Kaiser, Gail E. 2011 Reports Computer science
5. Data Quality Assurance and Performance Measurement of Data Mining for Preventive Maintenance of Power Grid Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N. 2011 Reports Computer science
6. Estimation of System Reliability Using a Semiparametric Model Wu, Leon Li; Teravainen, Timothy Kaleva; Kaiser, Gail E.; Anderson, Roger N.; Boulanger, Albert G.; Rudin, Cynthia 2011 Reports Computer science
7. Evaluating Machine Learning for Improving Power Grid Reliability Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj 2011 Reports Computer science
8. Empirical Study of Concurrency Mutation Operators for Java Wu, Leon Li; Kaiser, Gail E. 2010 Reports Computer science
9. A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng 2009 Reports Computer science
10. Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng 2008 Reports Computer science