| 2013 | Medical device software risk assessment requires cross functional personnel. | Alfred Granger, Paul R. Garrett, Gary Dalmadge |
| 2013 | An empirical study of the effect of learning styles on the faults found during the software requirements inspection. | Anurag Goswami, Gursimran S. Walia |
| 2013 | Identifying silent failures of SaaS services using finite state machine based invariant analysis. | Geetika Goel, Arpan Roy, Rajeshwari Ganesan |
| 2013 | Detection of missing requirements using base requirements pairs. | Arbi Ghazarian |
| 2013 | Fault localization based on failure-inducing combinations. | Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn |
| 2013 | Scalable isolation of failure-inducing changes via version comparison. | Mohammadreza Ghanavati, Artur Andrzejak, Zhen Dong |
| 2013 | A study of the relationship between antivirus regressions and label changes. | Ilir Gashi, Bertrand Sobesto, Stephen Mason, Vladimir Stankovic, Michel Cukier |
| 2013 | Exploring possibilities to analyse microblogs for dependability information in variability-intensive open source software systems. | Matthias Galster, Dan Tofan |
| 2013 | Improving search-based test suite generation with dynamic symbolic execution. | Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 2013 | Conditional software specification & assurance: A practical assessment of contract-based approaches. | Marc Frster |
| 2013 | Finding test data with specific properties via metaheuristic search. | Robert Feldt, Simon M. Poulding |
| 2013 | Feedback-directed exploration of web applications to derive test models. | Amin Milani Fard, Ali Mesbah |
| 2013 | Automated classification of NASA anomalies using natural language processing techniques. | Davide Falessi, Lucas Layman |
| 2013 | Automating software validation of a GPON network. | Aline Cristine Fadel, Regina Lcia de Oliveira Moraes, Paulo Martins, Eliane Martins |
| 2013 | Monitoring system calls for anomaly detection in modern operating systems. | Shayan Eskandari, Wael Khreich, Syed Shariyar Murtaza, Abdelwahab Hamou-Lhadj, Mario Couture |
| 2013 | Sinfer: Inferring information flow lattices for checking self-stabilization. | Yong Hun Eom, Brian Demsky |
| 2013 | Request success rate of multipathing I/O with a paired storage controller. | Gangadhar Enagandula, Varsha Apte, Bipul Raj |
| 2013 | Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. | Benedikt Eberhardinger, Jan-Philipp Steghfer, Florian Nafz, Wolfgang Reif |
| 2013 | Automated diagnosis of software misconfigurations based on static analysis. | Zhen Dong, Mohammadreza Ghanavati, Artur Andrzejak |
| 2013 | Failure data analytics to build failure prediction mechanisms. | Sandipan Dey, Kandathil K. Jacob, Javier Alonso Lopez, Kishor S. Trivedi |
| 2013 | Design of a dependable peer-to-peer system for numerical optimization. | Hrishikesh Dewan, Raksha B. Nayak |
| 2013 | Evidence arguments for using formal methods in software certification. | Ewen Denney, Ganesh Pai |
| 2013 | Bug localisation through diverse sources of information. | Steven Davies, Marc Roper |
| 2013 | Finding related events for specification mining. | Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang |
| 2013 | Fault triggers in open-source software: An experience report. | Domenico Cotroneo, Michael Grottke, Roberto Natella, Roberto Pietrantuono, Kishor S. Trivedi |