The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2013)
Pasadena, CA, USA USA
Nov. 4, 2013 to Nov. 7, 2013
TABLE OF CONTENTS
Papers

Sinfer: Inferring information flow lattices for checking self-stabilization (PDF)

Yong Hun Eom , University of California, Irvine
Brian Demsky , University of California, Irvine
pp. 258-267

A structured and model-based hazard analysis and risk assessment method for automotive systems (PDF)

Kristian Beckers , Paluno - The Ruhr Institute for Software Technology - University Duisburg-Essen, Germany
Maritta Heisel , Paluno - The Ruhr Institute for Software Technology - University Duisburg-Essen, Germany
Thomas Frese , Ford Electrical and Electronic Systems Engineering, Ford Werke GmbH, Germany
Denis Hatebur , ITESYS Institut für technische Systeme GmbH, Germany
pp. 238-247

Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub (PDF)

Tegawende F. Bissyande , SnT, University of Luxembourg, Luxembourg
David Lo , Singapore Management University, Singapore
Lingxiao Jiang , Singapore Management University, Singapore
Laurent Reveillere , LaBRI, University of Bordeaux, France
Jacques Klein , SnT, University of Luxembourg, Luxembourg
Yves Le Traon , SnT, University of Luxembourg, Luxembourg
pp. 188-197

Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques (PDF)

Antonio Bovenzi , Università di Napoli Federico II
Javier Alonso , Duke University
Hiroshi Yamada , Tokyo University of Agriculture and Technology CREST/JST
Stefano Russo , Università di Napoli Federico II
Kishor S. Trivedi , Duke University ktrivedi@duke.edu
pp. 61-70

Permlyzer: Analyzing permission usage in Android applications (PDF)

Wei Xu , Department of Computer Science and Engineering Pennsylvania State University University Park, PA
Fangfang Zhang , Department of Computer Science and Engineering Pennsylvania State University University Park, PA
Sencun Zhu , Department of Computer Science and Engineering Pennsylvania State University University Park, PA
pp. 400-410

Keep it moving: Proactive workload management for reducing SLA violations in large scale SaaS clouds (PDF)

Arpan Roy , Next Gen Computing Lab, Infosys Labs, Electronics City, Bangalore 560100, India
Rajeshwari Ganesan , Next Gen Computing Lab, Infosys Labs, Electronics City, Bangalore 560100, India
Santonu Sarkar , Next Gen Computing Lab, Infosys Labs, Electronics City, Bangalore 560100, India
pp. 421-430

Constructing subtle higher order mutants for Java and AspectJ programs (PDF)

Elmahdi Omar , Colorado State University Fort Collins, CO, USA
Sudipto Ghosh , Colorado State University Fort Collins, CO, USA
Darrell Whitley , Colorado State University Fort Collins, CO, USA
pp. 340-349

Copyright page (PDF)

pp. 1-2

Finding test data with specific properties via metaheuristic search (PDF)

Robert Feldt , Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden
Simon Poulding , Dept. of Computer Science, University of York, York, UK
pp. 350-359

A pattern-based approach for GUI modeling and testing (PDF)

Rodrigo M. L. M. Moreira , Department of Informatics Engineering Faculty of Engineering, University of Porto, Porto, Portugal
Ana C. R. Paiva , Department of Informatics Engineering Faculty of Engineering, University of Porto, Porto, Portugal
Atif Memon , Department of Computer Science University of Maryland, College Park, MD, USA
pp. 288-297

Filtering noise in mixed-purpose fixing commits to improve defect prediction and localization (PDF)

Hoan Anh Nguyen , Electrical and Computer Engineering Department Iowa State University
Anh Tuan Nguyen , Electrical and Computer Engineering Department Iowa State University
Tien N. Nguyen , Electrical and Computer Engineering Department Iowa State University
pp. 138-147

Systematic testing for resource leaks in Android applications (PDF)

Dacong Yan , Ohio State University
Shengqian Yang , Ohio State University
Atanas Rountev , Ohio State University
pp. 411-420

An experience report for software quality evaluation in highly iterative development methodology using traditional metrics (PDF)

Kumi Jinzenji , NTT Software Innovation Canter NTT Corporation
Takashi Hoshino , NTT Software Innovation Canter NTT Corporation
Laurie Williams , Department of Computer Science North Carolina State University
Kenji Takahashi , NTT Innovation Institute, Inc.
pp. 310-319

Composing hierarchical stochastic model from SysML for system availability analysis (PDF)

Fumio Machida , NEC Knowledge Discovery Research Laboratories Kawasaki, Japan
Jianwen Xiang , NEC Knowledge Discovery Research Laboratories Kawasaki, Japan
Kumiko Tadano , NEC Knowledge Discovery Research Laboratories Kawasaki, Japan
Yoshiharu Maeno , NEC Knowledge Discovery Research Laboratories Kawasaki, Japan
pp. 51-60

Nonparametric bootstrapping interval estimations for software release planning with reliability objective (PDF)

Shinji Inoue , Department of Social Management Engineering Graduate School of Engineering Tottori University Tottori 680-8552, Japan
Shigeru Yamada , Department of Social Management Engineering Graduate School of Engineering Tottori University Tottori 680-8552, Japan
pp. 81-89

Design of distribution automation networks using survivability modeling and power flow equations (PDF)

Anne Koziolek , Karlsruhe Institute of Technology, Karlsruhe, Germany
Alberto Avritzer , Siemens Corporation, Corporate Research and Technology, Princeton, NJ 08540
Sindhu Suresh , Siemens Corporation, Corporate Research and Technology, Princeton, NJ 08540
Daniel Sadoc Menasche , Federal University of Rio de Janeiro, RJ, Brazil
Kishor Trivedi , Duke University, Durham, NC 27706
Lucia Happe , Karlsruhe Institute of Technology, Karlsruhe, Germany
pp. 41-50

Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report) (PDF)

Nan Li , Software Engineering George Mason University
Xin Meng , Software Engineering George Mason University
Jeff Offutt , Software Engineering George Mason University
Lin Deng , Software Engineering George Mason University
pp. 380-389

Predicting defects using change genealogies (PDF)

Kim Herzig , Microsoft Research Cambridge, UK
Sascha Just , Saarland University Saarbrücken Germany
Andreas Rau , Saarland University Saarbrücken Germany
Andreas Zeller , Saarland University Saarbrücken Germany
pp. 118-127

Static analysis versus penetration testing: A controlled experiment (PDF)

Riccardo Scandariato , iMinds-DistriNet KU Leuven 3001 Leuven, Belgium
James Walden , Department of Computer Science Northern Kentucky University Highland Heights, KY 41076
Wouter Joosen , iMinds-DistriNet KU Leuven 3001 Leuven, Belgium
pp. 451-460

Search-based data-flow test generation (PDF)

Mattia Vivanti , University of Lugano Lugano, Switzerland
Andre Mis , Saarland University SaarbrückenM, Germany
Alessandra Gorla , Saarland University SaarbrückenM, Germany
Gordon Fraser , University of Sheffield Sheffield, UK
pp. 370-379

Improving search-based test suite generation with dynamic symbolic execution (PDF)

Juan Pablo Galeotti , Saarland University Saarbrücken, Germany
Gordon Fraser , University of Sheffield Sheffield, UK
Andrea Arcuri , Simula Research Laboratory P.O. Box 134, 1325 Lysaker, Norway
pp. 360-369

Quantifying the influence of failure repair/mitigation costs on service-based systems (PDF)

Vittorio Cortellessa , Università dell'taly Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica
Raffaela Mirandola , Politecnico di Milano, Italy Dipartimento di Elettronica, Informazione e Bioingegneria
Fabrizio Marinelli , Università Politecnica delle Marche, Italy Dipartimento di Ingegneria dell'Informazione
Pasqualina Potena , Università degli Studi di Bergamo, Italy Dipartimento di Ingegneria
pp. 90-99

An empirical comparison of the fault-detection capabilities of internal oracles (PDF)

Tingting Yu , Department of Computer Science and Engineering University of Nebraska - Lincoln
Witawas Srisa-an , Department of Computer Science and Engineering University of Nebraska - Lincoln
Gregg Rothermel , Department of Computer Science and Engineering University of Nebraska - Lincoln
pp. 11-20

Author index (PDF)

pp. 1-22

Fault localization based on failure-inducing combinations (PDF)

Laleh Sh. Ghandehari , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
Yu Lei , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
David Kung , Dept. of Computer Science and Engineering, University of Texas at Arlington, Arlington, TX, USA
Raghu Kacker , Information Technology Lab, National Institute of Standards and Technology, Gaithersburg, MD, USA
Richard Kuhn , Information Technology Lab, National Institute of Standards and Technology, Gaithersburg, MD, USA
pp. 168-177

A study of the relationship between antivirus regressions and label changes (PDF)

Ilir Gashi , Centre for Software Reliability, City University London, London, UK
Bertrand Sobesto , University of Maryland, College Park MD, USA
Stephen Mason , Centre for Software Reliability, City University London, London, UK
Vladimir Stankovic , Centre for Software Reliability, City University London, London, UK
Michel Cukier , University of Maryland, College Park MD, USA
pp. 441-450

Help, help, i'm being suppressed! The significance of suppressors in software testing (PDF)

Alex Groce , School of Electrical Engineering and Computer Science Oregon State University
Chaoqiang Zhang , School of Electrical Engineering and Computer Science Oregon State University
Mohammad Amin Alipour , School of Electrical Engineering and Computer Science Oregon State University
Eric Eide , School of Computing University of Utah
Yang Chen , School of Computing University of Utah
John Regehr , School of Computing University of Utah
pp. 390-399

Evaluating long-term predictive power of standard reliability growth models on automotive systems (PDF)

Rakesh Rana , Computer Science & Engineering Chalmers/ University of Gothenburg
Miroslaw Staron , Computer Science & Engineering Chalmers/ University of Gothenburg
Christian Berger , Computer Science & Engineering Chalmers/ University of Gothenburg
Jorgen Hansson , Computer Science & Engineering Chalmers/ University of Gothenburg
Martin Nilsson , Volvo Car Corporation Gothenburg, Sweden
Fredrik Torner , Volvo Car Corporation Gothenburg, Sweden
pp. 228-237

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems (PDF)

Benedikt Eberhardinger , Institute for Software & Systems Engineering, University of Augsburg, Germany
Jan-Philipp Steghofer , Institute for Software & Systems Engineering, University of Augsburg, Germany
Florian Nafz , Institute for Software & Systems Engineering, University of Augsburg, Germany
Wolfgang Reif , Institute for Software & Systems Engineering, University of Augsburg, Germany
pp. 21-30

Automatic skeleton generation for data-aware service choreographies (PDF)

Huu Nghia Nguyen , LRI; Univ. Paris-Sud, CNRS, Orsay, France
Pascal Poizat , LIP6; Univ. Paris Ouest Nanterre La Défense CNRS, La Défense France
Fatiha Zaidi , LRI; Univ. Paris-Sud, CNRS, Orsay, France
pp. 320-329

Model-based testing of NASA's OSAL API — An experience report (PDF)

Christoph Schulze , Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA
Dharmalingam Ganesan , Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA
Mikael Lindvall , Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA
Dave Mcf Omas , NASA Goddard Space Flight Center Greenbelt, Maryland, USA
Alan Cudmore , NASA Goddard Space Flight Center Greenbelt, Maryland, USA
pp. 300-309

Feedback-directed exploration of web applications to derive test models (PDF)

Amin Milani Fard , University of British Columbia Vancouver, BC, Canada
Ali Mesbah , University of British Columbia Vancouver, BC, Canada
pp. 278-287

Combining testing and proof to gain high assurance in software: A case study (PDF)

Peter Bishop , City University and Adelard LLP London, UK
Robin Bloomfield , City University and Adelard LLP London, UK
Lukasz Cyra , European Commission - Joint Research Centre Institute for the Protection & Security of the Citizen Ispra, Italy
pp. 248-257

Characterizing configuration problems in Java EE application servers: An empirical study with GlassFish and JBoss (PDF)

Fahad A. Arshad , Purdue University West Lafayette, IN, USA
Rebecca J. Krause , Purdue University West Lafayette, IN, USA
Saurabh Bagchi , Purdue University West Lafayette, IN, USA
pp. 198-207

Stress testing of task deadlines: A constraint programming approach (PDF)

Stefano Di Alesio , Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway
Shiva Nejati , Interdisciplinary Centre for Reliability, Security and Trust (SnT), University of Luxembourg, Luxembourg
Lionel Briand , Interdisciplinary Centre for Reliability, Security and Trust (SnT), University of Luxembourg, Luxembourg
Arnaud Gotlieb , Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway
pp. 158-167

Relevant inputs analysis and its applications (PDF)

Yan Wang , Department of Computer Science and Engineering University of California, Riverside, CA, USA
Rajiv Gupta , Department of Computer Science and Engineering University of California, Riverside, CA, USA
Iulian Neamtiu , Department of Computer Science and Engineering University of California, Riverside, CA, USA
pp. 268-277

Predicting risk of pre-release code changes with Checkinmentor (PDF)

Alexander Tarvo , Brown University Providence, RI
Nachiappan Nagappan , Thirumalesh Bhat, Jacek Czerwonka Microsoft Corporation Redmond, WA
Thomas Zimmermann , Thirumalesh Bhat, Jacek Czerwonka Microsoft Corporation Redmond, WA
pp. 128-137

Request success rate of multipathing I/O with a paired storage controller (PDF)

Gangadhar Enagandula , Department of Computer Science and Engineering IIT Bombay, Mumbai - 400 076, India
Varsha Apte , Department of Computer Science and Engineering IIT Bombay, Mumbai - 400 076, India
pp. 71-80

Analysis of local re-execution in mobile offloading system (PDF)

Qiushi Wang , Department of Mathematics and Computer Science Freie Universität Berlin, Takustr.9, Berlin, Germany
Marti Griera Jorba , Department of Mathematics and Computer Science Freie Universität Berlin, Takustr.9, Berlin, Germany
Joan Martinez Ripoll , Department of Mathematics and Computer Science Freie Universität Berlin, Takustr.9, Berlin, Germany
Katinka Wolter , Department of Mathematics and Computer Science Freie Universität Berlin, Takustr.9, Berlin, Germany
pp. 31-40

Using machine learning techniques to detect metamorphic relations for programs without test oracles (PDF)

Upulee Kanewala , Computer Science Department, Colorado State University, USA
James M. Bieman , Computer Science Department, Colorado State University, USA
pp. 1-10

Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations (PDF)

Shaukat Ali , Certus Software V&V Center Simula Research Laboratory, Norway
Tao Yue , Certus Software V&V Center Simula Research Laboratory, Norway
Jie Tian , School of Computer Science and Engineering Beihang University, Beijing, China
pp. 218-227

Fault localization in embedded software based on a single cyclic trace (PDF)

Azzeddine Amiar , Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble (LIG)
Mickael Delahaye , Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble (LIG)
Ylies Falcone , Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble (LIG)
Lydie du Bousquet , Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble (LIG)
pp. 148-157

An empirical study of the effect of learning styles on the faults found during the software requirements inspection (PDF)

Anurag Goswami , Computer Science Department North Dakota State University Fargo USA
Gursimran Walia , Computer Science Department North Dakota State University Fargo, USA
pp. 330-339

Fault triggers in open-source software: An experience report (PDF)

Domenico Cotroneo , DIETI department Università degli Studi di Napoli Federico II, Via Claudio, 21 80125, Naples, Italy
Michael Grottke , Friedrich-Alexander-Universität Erlangen-Nürnberg Lange Gasse 20, 90403 Nuremberg, Germany
Roberto Natella , DIETI department Università degli Studi di Napoli Federico II, Via Claudio, 21 80125, Naples, Italy
Roberto Pietrantuono , DIETI department Università degli Studi di Napoli Federico II, Via Claudio, 21 80125, Naples, Italy
Kishor S. Trivedi , Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708, USA
pp. 178-187
102 ms
(Ver )