| 2013 | A new method of consensus building for open systems dependability. | Yukiko Yanagisawa, Takashi Ito, Makoto Takeyama, Yasuhiko Yokote |
| 2013 | Permlyzer: Analyzing permission usage in Android applications. | Wei Xu, Fangfang Zhang, Sencun Zhu |
| 2013 | Persistence of relevance: A missing issue in imperfect coverage models. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. | Ji Wu, Shaukat Ali, Tao Yue, Jie Tian |
| 2013 | Integration of software reliability engineering, risk management and safety assurance case. | Fubin Wu |
| 2013 | Use software reliability growth models wisely. | Yuan Wei |
| 2013 | Analysis of local re-execution in mobile offloading system. | Qiushi Wang, Marti Griera Jorba, Joan Martinez Ripoll, Katinka Wolter |
| 2013 | Relevant inputs analysis and its applications. | Yan Wang, Rajiv Gupta, Iulian Neamtiu |
| 2013 | Comparative analysis of Bayesian and classical approaches for software reliability measurement. | T. Ketchiozo Wandji, Shahryar Sarkani, Timothy Eveleigh, Thomas H. Holzer, Peter A. Keiller |
| 2013 | Using error information to improve software quality. | Gursimran Singh Walia, Jeffrey C. Carver |
| 2013 | Using capture-recapture models to make objective post-inspection decisions. | Gursimran Singh Walia, Jeffrey C. Carver |
| 2013 | Search-based data-flow test generation. | Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser |
| 2013 | Diagnosing development software release to predict field failures. | Kishore Vinod, Manjunath Ramachandra, Santosh Yalawar, Pandit Pattabhirama |
| 2013 | A novel mechanism to continuously scan field logs and gain real-time feedback. | Kishore Vinod, Manjunath Ramachandra, Prashanth Pai, Santosh Yalawar |
| 2013 | Reliability feedback through system log analysis. | Kishore Vinod, Pandit Pattabhirama, Manjunath Ramachandra |
| 2013 | ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components. | Eric Verhulst, Bernhard H. C. Sputh |
| 2013 | Predicting risk of pre-release code changes with Checkinmentor. | Alexander Tarvo, Nachiappan Nagappan, Thomas Zimmermann |
| 2013 | Mining A change history to quickly identify bug locations : A case study of the Eclipse project. | Chakkrit Tantithamthavorn, Rattamont Teekavanich, Akinori Ihara, Ken-ichi Matsumoto |
| 2013 | International standardization of Open Systems Dependability. | Hiroki Takamura |
| 2013 | Fault-class-aware fault tree generation and analysis. | Ann T. Tai, Chris J. Walter, Lorraine M. Fesq, John C. Day |
| 2013 | Non-operational testing of software for security issues. | Shweta Subramani, Mladen A. Vouk, Laurie A. Williams |
| 2013 | Testing distortion estimations in Retinal Prostheses. | Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit |
| 2013 | Safety contract based design of software components. | Andreas Sderberg, Rolf Johansson |
| 2013 | Strong and weak contract formalism for third-party component reuse. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2013 | Certification of embedded systems: Quantitative analysis and irrefutable evidences. | Nuno Silva, Marco Vieira |