| 2013 | Composing hierarchical stochastic model from SysML for system availability analysis. | Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | On the effectiveness of Mann-Kendall test for detection of software aging. | Fumio Machida, Artur Andrzejak, Rivalino Matias, Elder V. P. Sobrinho |
| 2013 | Characteristic analysis of quantitative definition of resiliency measure. | Chao Luo, Hiroyuki Okamura, Tadashi Dohi |
| 2013 | Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report). | Nan Li, Xin Meng, Jeff Offutt, Lin Deng |
| 2013 | Accelerated reliability testing approach for high-reliablity software based on the reinforced operational profile. | Qiuying Li, Lei Luo, Jian Wang |
| 2013 | An improved SFMEA method integrated with assistive techniques. | Lili Xu, Hong Zhang |
| 2013 | A statistical approach for software resource leak detection and prediction. | Jinghui Li, Xuewen Gong, Jianqing Yuan |
| 2013 | Using software reliability models for security assessment - Verification of assumptions. | Da Young Lee, Mladen A. Vouk, Laurie A. Williams |
| 2013 | D-Script : Dependable scripting with DEOS process. | Kimio Kuramitsu |
| 2013 | A study on the effectiveness of peer review meeting. | Noriyoshi Kuno, Tsuyoshi Nakajima, Makoto Matsushita, Katsuro Inoue |
| 2013 | Design of distribution automation networks using survivability modeling and power flow equations. | Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasch, Kishor S. Trivedi, Lucia Happe |
| 2013 | Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology. | Suresh C. Kothari |
| 2013 | Using machine learning techniques to detect metamorphic relations for programs without test oracles. | Upulee Kanewala, James M. Bieman |
| 2013 | An experience report for software quality evaluation in highly iterative development methodology using traditional metrics. | Kumi Jinzenji, Takashi Hoshino, Laurie A. Williams, Kenji Takahashi |
| 2013 | Nonparametric bootstrapping interval estimations for software release planning with reliability objective. | Shinji Inoue, Shigeru Yamada |
| 2013 | Quantifying software test process and product reliability simultaneously. | Shinya Ikemoto, Tadashi Dohi, Hiroyuki Okamura |
| 2013 | An empirical study on clustering for isolating bugs in fault localization. | Yanqin Huang, Junhua Wu, Yang Feng, Zhenyu Chen, Zhihong Zhao |
| 2013 | Mutation-based spreadsheet debugging. | Birgit Hofer, Franz Wotawa |
| 2013 | A chain of accountabilities in open systems based on assured entrustments. | Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita |
| 2013 | Predicting defects using change genealogies. | Kim Herzig, Sascha Just, Andreas Rau, Andreas Zeller |
| 2013 | Modeling of Failure detection and recovery in SysML. | Myron Hecht, Jeanne Tamaki, Derek Lo |
| 2013 | Improving reliability of data protection software with integrated multilayered fault Injection testing. | R. K. Gupta |
| 2013 | An initial evaluation of model-based testing. | Vignir Gudmundsson, Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Robert Wiegand |
| 2013 | Help, help, i'm being suppressed! The significance of suppressors in software testing. | Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr |
| 2013 | Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. | Silviya Grigorova, T. S. E. Maibaum |