| 2012 | Recycling Test Cases to Detect Security Vulnerabilities. | Joo Antunes, Nuno Ferreira Neves |
| 2012 | The Nature of the Times to Flight Software Failure during Space Missions. | Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi |
| 2012 | Software Rejuvenation: Do IT & Telco Industries Use It? | Javier Alonso, Antonio Bovenzi, Jinghui Li, Yakun Wang, Stefano Russo, Kishor S. Trivedi |
| 2012 | Assessing Disaster Recovery Alternatives: On-Site, Colocation or Cloud. | Omar Hussain Alhazmi, Yashwant K. Malaiya |
| 2012 | Entropy Metrics for Agile Development Processes. | Ozgur Aktunc |
| 2012 | Assessing the Performance of Networked Computer Based Systems. | Shelly Agarwal |
| 2012 | Debugging Spreadsheets: A CSP-based Approach. | Rui Abreu, Andr Riboira, Franz Wotawa |
| 2011 | Performance Modeling of Apache Web Server Affected by Aging. | Jing Zhao, Kishor S. Trivedi |
| 2011 | Injecting Memory Leaks to Accelerate Software Failures. | Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias |
| 2011 | WSPred: A Time-Aware Personalized QoS Prediction Framework for Web Services. | Yilei Zhang, Zibin Zheng, Michael R. Lyu |
| 2011 | An Empirical Study of JUnit Test-Suite Reduction. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2011 | Can Linux be Rejuvenated without Reboots? | Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono |
| 2011 | A Hybrid Directed Test Suite Augmentation Technique. | Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel |
| 2011 | Efficient Analysis of Fault Trees with Voting Gates. | Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki |
| 2011 | Design Improvement of System Administrative Operations for Certification. | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi |
| 2011 | Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. | Erik Stensrud, Torbjrn Skramstad, Jingyue Li, Jing Xie |
| 2011 | Independent Test Verification: What Metrics Have a Word to Say. | Nuno Silva, Rui Lopes |
| 2011 | Statistical Evaluation of Complex Input-Output Transformations. | Gang Shu, Zhuofu Bai, Andy Podgurski |
| 2011 | Impact Analysis of Configuration Changes for Test Case Selection. | Xiao Qu, Mithun Acharya, Brian Robinson |
| 2011 | Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. | Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2011 | A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards. | Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2011 | A POMDP Formulation of Multistep Failure Model with Software Rejuvenation. | Hiroyuki Okamura, Tadashi Dohi |
| 2011 | JavaScript Errors in the Wild: An Empirical Study. | Frolin S. Ocariza Jr., Karthik Pattabiraman, Benjamin G. Zorn |
| 2011 | Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain. | Gao-Rong Ning, Kishor S. Trivedi, Hai Hu, Kai-Yuan Cai |
| 2011 | Experiences with Assurance Cases for Spacecraft Safing. | Elisabeth A. Nguyen, Alex G. Ellis |