| 2011 | Using Behavioral Profiles to Detect Software Flaws in Network Servers. | Joo Antunes, Nuno Ferreira Neves |
| 2011 | A Comparative Evaluation of Software Rejuvenation Strategies. | Javier Alonso, Rivalino Matias, Elder Vicente, Ana M. M. Carvalho, Kishor S. Trivedi |
| 2011 | Optimal Resource Allocation in a Virtualized Software Aging Platform with Software Rejuvenation. | Javier Alonso, Iigo Goiri, Jordi Guitart, Ricard Gavald, Jordi Torres |
| 2010 | FTCloud: A Component Ranking Framework for Fault-Tolerant Cloud Applications. | Zibin Zheng, Tom Chao Zhou, Michael R. Lyu, Irwin King |
| 2010 | Evaluation of software performance affected by aging. | Jing Zhao, Kishor S. Trivedi, Yanbin Wang, Xiaoyong Chen |
| 2010 | Empirical Evaluation of Factors Affecting Distinction between Failing and Passing Executions. | Arin Zahalka, Katerina Goseva-Popstojanova, Jeffrey Zemerick |
| 2010 | Evaluating the Use of Requirement Error Abstraction and Classification Method for Preventing Errors during Artifact Creation: A Feasibility Study. | Gursimran Singh Walia, Jeffrey C. Carver |
| 2010 | A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. | Stefan Wagner, Bernhard Schtz, Stefan Puchner, Peter Kock |
| 2010 | Errors on Space Software Requirements: A Field Study and Application Scenarios. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira |
| 2010 | Computing the Number of Calls Dropped Due to Failures. | Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt |
| 2010 | Propagating Bug Fixes with Fast Subgraph Matching. | Boya Sun, Gang Shu, Andy Podgurski, Shirong Li, Shijie Zhang, Jiong Yang |
| 2010 | Improving the Precision of Dependence-Based Defect Mining by Supervised Learning of Rule and Violation Graphs. | Boya Sun, Andy Podgurski, Soumya Ray |
| 2010 | Automata-Based Verification of Security Requirements of Composite Web Services. | Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz |
| 2010 | Prioritizing Mutation Operators Based on Importance Sampling. | Mohan Sridharan, Akbar Siami Namin |
| 2010 | Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |
| 2010 | Client-Side Detection of Cross-Site Request Forgery Attacks. | Hossain Shahriar, Mohammad Zulkernine |
| 2010 | A simulation study on the effectiveness of restart and rejuvenation to mitigate the effects of software ageing. | Philipp Reinecke, Katinka Wolter |
| 2010 | Assessing Asymmetric Fault-Tolerant Software. | Peter T. Popov, Lorenzo Strigini |
| 2010 | Software rejuvenation on a PKI. | Agapios N. Platis, Vasilis P. Koutras |
| 2010 | DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing. | Karthik Pattabiraman, Benjamin G. Zorn |
| 2010 | Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. | Mike Papadakis, Nicos Malevris |
| 2010 | A Multi-factor Software Reliability Model Based on Logistic Regression. | Hiroyuki Okamura, Yusuke Etani, Tadashi Dohi |
| 2010 | Performance-aware software rejuvenation strategies in a queueing system. | Hiroyuki Okamura, Tadashi Dohi |
| 2010 | The Importance of Data Quality in Software Reliability Modeling. | Elisabeth A. Nguyen, Carlos F. Rexach, David P. Thorpe, Andrew E. Walther |
| 2010 | Security Trend Analysis with CVE Topic Models. | Stephan Neuhaus, Thomas Zimmermann |