| 2013 | A fusion approach for classifying duplicate problem reports. Sean Banerjee, Zahid A. Syed, Jordan Helmick, Bojan Cukic |
| 2013 | A host-based anomaly detection approach by representing system calls as states of kernel modules. Syed Shariyar Murtaza, Wael Khreich, Abdelwahab Hamou-Lhadj, Mario Couture |
| 2013 | A pattern-based approach for GUI modeling and testing. Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon |
| 2013 | A structured and model-based hazard analysis and risk assessment method for automotive systems. Kristian Beckers, Maritta Heisel, Thomas Frese, Denis Hatebur |
| 2013 | A study of the relationship between antivirus regressions and label changes. Ilir Gashi, Bertrand Sobesto, Stephen Mason, Vladimir Stankovic, Michel Cukier |
| 2013 | An empirical comparison of the fault-detection capabilities of internal oracles. Tingting Yu, Witawas Srisa-an, Gregg Rothermel |
| 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 | 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 | Analysis of local re-execution in mobile offloading system. Qiushi Wang, Marti Griera Jorba, Joan Martinez Ripoll, Katinka Wolter |
| 2013 | Automatic skeleton generation for data-aware service choreographies. Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi |
| 2013 | Characterizing configuration problems in Java EE application servers: An empirical study with GlassFish and JBoss. Fahad A. Arshad, Rebecca J. Krause, Saurabh Bagchi |
| 2013 | Combining testing and proof to gain high assurance in software: A case study. Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra |
| 2013 | Composing hierarchical stochastic model from SysML for system availability analysis. Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno |
| 2013 | Constructing subtle higher order mutants for Java and AspectJ programs. Elmahdi Omar, Sudipto Ghosh, L. Darrell Whitley |
| 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 | Evaluating long-term predictive power of standard reliability growth models on automotive systems. Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson, Fredrik Törner |
| 2013 | Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. Ji Wu, Shaukat Ali, Tao Yue, Jie Tian |
| 2013 | Fault localization based on failure-inducing combinations. Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn |
| 2013 | Fault localization in embedded software based on a single cyclic trace. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet |
| 2013 | Fault triggers in open-source software: An experience report. Domenico Cotroneo, Michael Grottke, Roberto Natella, Roberto Pietrantuono, Kishor S. Trivedi |
| 2013 | Feedback-directed exploration of web applications to derive test models. Amin Milani Fard, Ali Mesbah |
| 2013 | Filtering noise in mixed-purpose fixing commits to improve defect prediction and localization. Hoan Anh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen |
| 2013 | Finding test data with specific properties via metaheuristic search. Robert Feldt, Simon M. Poulding |
| 2013 | Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub. Tegawendé F. Bissyandé, David Lo, Lingxiao Jiang, Laurent Réveillère, Jacques Klein, Yves Le Traon |
| 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 | IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 |
| 2013 | Improving search-based test suite generation with dynamic symbolic execution. Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 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 | Keep it moving: Proactive workload management for reducing SLA violations in large scale SaaS clouds. Arpan Roy, Rajeshwari Ganesan, Santonu Sarkar |
| 2013 | Keynote speaker 1: The economics of systems and software reliability. Barry W. Boehm, Gerard J. Holzmann |
| 2013 | Model-based testing of NASA's OSAL API - An experience report. Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore |
| 2013 | Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif |
| 2013 | Nonparametric bootstrapping interval estimations for software release planning with reliability objective. Shinji Inoue, Shigeru Yamada |
| 2013 | Permlyzer: Analyzing permission usage in Android applications. Wei Xu, Fangfang Zhang, Sencun Zhu |
| 2013 | Predicting defects using change genealogies. Kim Herzig, Sascha Just, Andreas Rau, Andreas Zeller |
| 2013 | Predicting risk of pre-release code changes with Checkinmentor. Alexander Tarvo, Nachiappan Nagappan, Thomas Zimmermann |
| 2013 | Quantifying software test process and product reliability simultaneously. Shinya Ikemoto, Tadashi Dohi, Hiroyuki Okamura |
| 2013 | Quantifying the influence of failure repair/mitigation costs on service-based systems. Vittorio Cortellessa, Raffaela Mirandola, Fabrizio Marinelli, Pasqualina Potena |
| 2013 | Relevant inputs analysis and its applications. Yan Wang, Rajiv Gupta, Iulian Neamtiu |
| 2013 | Request success rate of multipathing I/O with a paired storage controller. Gangadhar Enagandula, Varsha Apte, Bipul Raj |
| 2013 | SRATS: Software reliability assessment tool on spreadsheet (Experience report). Hiroyuki Okamura, Tadashi Dohi |
| 2013 | Search-based data-flow test generation. Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser |
| 2013 | Sinfer: Inferring information flow lattices for checking self-stabilization. Yong Hun Eom, Brian Demsky |
| 2013 | Static analysis versus penetration testing: A controlled experiment. Riccardo Scandariato, James Walden, Wouter Joosen |
| 2013 | Stress testing of task deadlines: A constraint programming approach. Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb |
| 2013 | Systematic testing for resource leaks in Android applications. Dacong Yan, Shengqian Yang, Atanas Rountev |
| 2013 | Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques. Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo, Kishor S. Trivedi |
| 2013 | Using machine learning techniques to detect metamorphic relations for programs without test oracles. Upulee Kanewala, James M. Bieman |