The Community for Technology Leaders
2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2015)
Gaithersburg, MD, USA
Nov. 2, 2015 to Nov. 5, 2015
ISBN: 978-1-5090-1943-4
TABLE OF CONTENTS

Countdown graph: Estimating completion of testing (Abstract)

Pete Rotella , Cisco Systems, Inc.
Tom Land , Cisco Systems, Inc.
Marjan Moshref , Cisco Systems, Inc.
Sunita Chulani , Cisco Systems, Inc.
pp. 1

Detection of unexpected situations by applying software reliability growth models to test phases (Abstract)

Kiyoshi Honda , Waseda University, 3-4-1 Ohkubo, Shijuku-ku Tokyo, Japan
Hironori Washizaki , Waseda University, 3-4-1 Ohkubo, Shijuku-ku Tokyo, Japan
Yoshiaki Fukazawa , Waseda University, 3-4-1 Ohkubo, Shijuku-ku Tokyo, Japan
Kazuki Munakata , Fujitsu Labs Ltd., 4-1-1 Kamikodanaka, Nakahara-ku, Kawasaki, Kanagawa 211-8588, Japan
Sumie Morita , Fujitsu Labs Ltd., 4-1-1 Kamikodanaka, Nakahara-ku, Kawasaki, Kanagawa 211-8588, Japan
Tadahiro Uehara , Fujitsu Labs Ltd., 4-1-1 Kamikodanaka, Nakahara-ku, Kawasaki, Kanagawa 211-8588, Japan
Rieko Yamamoto , Fujitsu Labs Ltd., 4-1-1 Kamikodanaka, Nakahara-ku, Kawasaki, Kanagawa 211-8588, Japan
pp. 2-5

Resource/schedule/content model: Improving testing effectiveness (Abstract)

Pete Rotella , Cisco Systems, Inc.
Sunita Chulani , Cisco Systems, Inc.
John Intintolo , Cisco Systems, Inc.
pp. 6-7

Static analysis of physical properties in Simulink models (Abstract)

Ashlie B. Hocking , Dependable Computing, Charlottesville, VA
M. Anthony Aiello , Dependable Computing, Charlottesville, VA
John C. Knight , Dependable Computing, Charlottesville, VA
pp. 8-11

Test suites for benchmarks of static analysis tools (Abstract)

Shinichi Shiraishi , Toyota InfoTechnology Center, U.S.A., Inc. 465 Bernardo Avenue, Mountain View, CA 94043
Veena Mohan , Toyota InfoTechnology Center, U.S.A., Inc. 465 Bernardo Avenue, Mountain View, CA 94043
Hemalatha Marimuthu , Toyota InfoTechnology Center, U.S.A., Inc. 465 Bernardo Avenue, Mountain View, CA 94043
pp. 12-15

Optimizing resiliency of distributed video surveillance system for safer city (Abstract)

Fumio Machida , NEC Knowledge Discovery Research Laboratories, Kawasaki, Japan
Masaya Fujiwaka , NEC Knowledge Discovery Research Laboratories, Kawasaki, Japan
Seiichi Koizumi , NEC Knowledge Discovery Research Laboratories, Kawasaki, Japan
Daichi Kimura , NEC Knowledge Discovery Research Laboratories, Kawasaki, Japan
pp. 17-20

Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability (Abstract)

Mina Nabi , Electrical and Computer Engineering, Concordia University, Montreal, Canada
Ferhat Khendek , Electrical and Computer Engineering, Concordia University, Montreal, Canada
Maria Toeroe , Ericsson Inc., Montreal, Canada
pp. 21-24

Software-defined networking (SDN) control message classification, verification, and optimization system (Abstract)

Hyungbae Park , University of Missouri - Kansas City, MO, USA
Sejun Song , University of Missouri - Kansas City, MO, USA
Baek-Young Choi , University of Missouri - Kansas City, MO, USA
Henry Zhu , Cisco Systems, Milpitas, CA, USA
pp. 25-28

Automated generation of failure modes and effects analysis for a medical device (Abstract)

Myron Hecht , The Aerospace Corporation, El Segundo, California, U.S.A and Chantilly, Virginia, U.S.A
Elisabeth Nguyen , The Aerospace Corporation, El Segundo, California, U.S.A and Chantilly, Virginia, U.S.A
Aaron Chuidian , The Aerospace Corporation, El Segundo, California, U.S.A and Chantilly, Virginia, U.S.A
Julia Pinchak , The Aerospace Corporation, El Segundo, California, U.S.A and Chantilly, Virginia, U.S.A
pp. 29-32

Integrating formal methods with testing for reliability estimation of component based systems (Abstract)

Debasmita Lohar , Department of Computer Science & Engineering, IIT Kharagpur, India
Soumyajit Dey , Department of Computer Science & Engineering, IIT Kharagpur, India
pp. 33-36

C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructures (Abstract)

Jose Romero-Mariona , Space and Naval Warfare Systems Center Pacific (SSC Pacific) San Diego, CA, USA
Megan Kline , Space and Naval Warfare Systems Center Pacific (SSC Pacific) San Diego, CA, USA
John San Miguel , Space and Naval Warfare Systems Center Pacific (SSC Pacific) San Diego, CA, USA
pp. 38

Operational softwarized networks reliability management (Abstract)

Sejun Song , University of Missouri-Kansas City
Henry Zhu , Cisco Systems
pp. 39

Knowledge transition: Discovering workflow models from functional tests (Abstract)

Vipul Shah , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
Chetan Khadke , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
Sunjit Rana , Tata Consultancy Services, 54B Hadapsar Industrial Estate, Pune, India
pp. 40-43

An analysis and extension of Category partition testing for constrained systems (Abstract)

Sunint Kaur Khalsa , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
Yvan Labiche , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
pp. 55-56

Analyzing failure mechanism for complex software-intensive systems (Abstract)

Li Luyi , Beihang University, Beijing, China
Lu Minyan , Beihang University, Beijing, China
pp. 57-58

On validating UML consistency rules (Abstract)

Damiano Torre , University of Castilla-La Mancha, De. of Tec. and Inf. Sys., ALARCOS Research Group, Paseo de la Universidad, 4 13071 Ciudad Real, Spain
pp. 59-60

A scalable and accurate hybrid vulnerability analysis framework (Abstract)

Julian Thome , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
pp. 61-62

Cloud-based runtime verification of health-caring systems using software agents (Abstract)

Negar Majma , Departments of Computer University of Kashan, Kashan, Iran
Seyed Morteza Babamir , Department of Computer University of Kashan, Kashan, Iran
pp. 63-64

Analyzing the reduction of test suite redundancy (Abstract)

Ingo Pill , Inst. f. Software Technology, TU Graz, Inffeldgasse 16b/II, 8010 Graz, Austria
Seema Jehan , Inst. f. Software Technology, TU Graz, Inffeldgasse 16b/II, 8010 Graz, Austria
Franz Wotawa , Inst. f. Software Technology, TU Graz, Inffeldgasse 16b/II, 8010 Graz, Austria
Mihai Nica , AVL GmbH, 8020 Graz, Austria
pp. 65

Conditional slicing: Reducing dynamic slices (Abstract)

Birgit Hofer , Graz, University of Technology, Austria
Georg Hinteregger , Graz, University of Technology, Austria
Franz Wotawa , Graz, University of Technology, Austria
pp. 66

S-CBAC: A secure access control model supporting group access for Internet of Things (Abstract)

Borting Chen , Institute of Electrical and Control Engineering, National Chiao Tung University, Taiwan
Yu-Lun Huang , Institute of Electrical and Control Engineering, National Chiao Tung University, Taiwan
Mesut Gunes , Institute of Computer Science, University of Munster, Germany
pp. 67

UML consistency rules in technical books (Abstract)

Damiano Torre , University of Castilla-La Mancha, Department of Technologies and Information Systems, ALARCOS Research Group, Paseo de laUniversidad, 4 13071 Ciudad Real, Spain
Yvan Labiche , Carleton University, Department of Systems and Computer Engineering, Software Quality Engineering Laboratory 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada
Marcela Genero , University of Castilla-La Mancha, Department of Technologies and Information Systems, ALARCOS Research Group, Paseo de laUniversidad, 4 13071 Ciudad Real, Spain
Maged Elaasar , Carleton University, Department of Systems and Computer Engineering, Software Quality Engineering Laboratory 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada
pp. 68

Getting more in less: The power of single/error annotations in category partition (Abstract)

Sunint Kaur Khalsa , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
Yvan Labiche , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
pp. 69

Practical null pointer dereference detection via value-dependence analysis (Abstract)

Sen Ma , School of Electronics Engineering and Computer Science, Peking University
MingYang Jiao , School of Computer Science, Beijing University of Posts and Telecommunications
ShiKun Zhang , National Engineering Research Center for Software Engineering, Peking University
Wen Zhao , National Engineering Research Center for Software Engineering, Peking University
Dong Wei Wang , National Engineering Research Center for Software Engineering, Peking University
pp. 70-77

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm (Abstract)

Ingo Pill , Institute for Software Technology, TU Graz Inffeldgasse 16b/II, 8010 Graz, Austria
Thomas Quaritsch , HTL Pinkafeld, Meierhofplatz 1, 7423 Pinkafeld, Austria
pp. 78-84

Disqover: Debugging via code sequence covers (Abstract)

Ethar Elsaka , Department of Computer Science, University of Maryland, College Park, MD, USA
Atif Memon , Department of Computer Science, University of Maryland, College Park, MD, USA
pp. 85-92

Applying spectrum-based fault localization to generate debugging suggestions for student programmers (Abstract)

Bob Edmison , Department of Computer Science, Virginia Tech, Blacksburg, VA, USA
Stephen H. Edwards , Department of Computer Science, Virginia Tech, Blacksburg, VA, USA
pp. 93-99

Parse tree structure in LTL requirements diagnosis (Abstract)

Ingo Pill , Institute for Software Technology, TU Graz Inffeldgasse 16b/II, 8010 Graz, Austria
Thomas Quaritsch , HTL Pinkafeld, Meierhofplatz 1, 7423 Pinkafeld, Austria
Franz Wotawa , Institute for Software Technology, TU Graz Inffeldgasse 16b/II, 8010 Graz, Austria
pp. 100-107

The software aging and rejuvenation repository: Http://openscience.us/repo/software-aging/ (Abstract)

Domenico Cotroneo , Università degli Studi di Napoli Federico II, Naples, Italy
Antonio Ken Iannillo , Università degli Studi di Napoli Federico II, Naples, Italy
Roberto Natella , Università degli Studi di Napoli Federico II, Naples, Italy
Roberto Pietrantuono , Università degli Studi di Napoli Federico II, Naples, Italy
Stefano Russo , Università degli Studi di Napoli Federico II, Naples, Italy
pp. 108-113

Survivability modeling to assess deployment alternatives accounting for rejuvenation (Abstract)

Gabriela Jacques-Silva , IBM T. J. Watson Research Center, USA
Alberto Avritzer , Siemens Corporation, Corporate Technology, USA
Daniel S. Menasche , Universidade Federal do Rio de Janeiro, Brazil
Anne Koziolek , Karlsruhe Institute of Technology, Germany
Lucia Happe , Karlsruhe Institute of Technology, Germany
Sindhu Suresh , Siemens Corporation, Corporate Technology, USA
pp. 114-119

Software aging in mobile devices: Partial computation offloading as a solution (Abstract)

Huaming Wu , Department of Mathematics and Computer Science, Freie Universität Berlin, Berlin, Germany
Katinka Wolter , Department of Mathematics and Computer Science, Freie Universität Berlin, Berlin, Germany
pp. 125-131

Reliability analysis of web server cluster systems based on proportional hazards model (PDF)

Chunyan Hou , School of Computer and Communication Engineering, Tianjin University of Technology, Tianjin, China
Chen Chen , College of Computer and Control Engineering, Nankai University, Tianjin, China
Jinsong Wang , School of Computer and Communication Engineering, Tianjin University of Technology, Tianjin, China
Kai Shi , School of Computer and Communication Engineering, Tianjin University of Technology, Tianjin, China
pp. 132-138

An optimal stopping problem for software rejuvenation in a job processing system (Abstract)

Fumio Machida , Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo, Japan
Naoto Miyoshi , Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo, Japan
pp. 139-143

Efficient reachability graph development for qualitive analysis of state/event fault trees (Abstract)

Michael Roth , Technical University of Kaiserslautern, Dept. Software Engineering: Dependability, Kaiserslautern, Germany
Agus Hartoyo , Technical University of Kaiserslautern, Dept. Software Engineering: Dependability, Kaiserslautern, Germany
Peter Liggesmeyer , Executive Director Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
pp. 144-151

Automated compositional safety analysis using component fault trees (Abstract)

Felix Mohrle , Software Engineering: Dependability, University of Kaiserslautern, Germany
Marc Zeller , Siemens AG, Corporate Technology, Munich, Germany
Kai Hofig , Siemens AG, Corporate Technology, Munich, Germany
Martin Rothfelder , Siemens AG, Corporate Technology, Munich, Germany
Peter Liggesmeyer , Fraunhofer IESE, Kaiserslautern, Germany
pp. 152-159

Qualitative evaluation of fault hypotheses with non-intrusive fault injection (Abstract)

Jelena Frtunikj , fortiss GmbH, Guerickestraße 25, 80805 München, Germany
Joachim Frohlich , Siemens AG, Otto Hahn Ring 6 81739 München, Germany
Tim Rohlfs , jambit GmbH, Erika-Mann-Straße 63 80636 München, Germany
Alois Knoll , Technische Universität München, Boltzmannstraße 3, 85748 Garching, Germany
pp. 160-167

Process improvement in governmental agencies: Toward CMMI certification (Abstract)

Ziyad Alshaikh , Computer Research Institute, King Abdulaziz City for Science and Technology, Riyadh, KSA
Mansour Alsaleh , Computer Research Institute, King Abdulaziz City for Science and Technology, Riyadh, KSA
Abdulrahman Alarifi , Computer Research Institute, King Abdulaziz City for Science and Technology, Riyadh, KSA
Mohammad Zarour , Prince Sultan University, Riyadh, KSA
pp. 168-173

SysML-based and Prolog-supported FMEA (Abstract)

Fabio Scippacercola , DIETI, Università degli Studi di Napoli Federico II Via Claudio 21, 80125 Napoli, Italy
Roberto Pietrantuono , DIETI, Università degli Studi di Napoli Federico II Via Claudio 21, 80125 Napoli, Italy
Stefano Russo , DIETI, Università degli Studi di Napoli Federico II Via Claudio 21, 80125 Napoli, Italy
Nuno Pedro Silva , Critical Software, SA, Parque Industrial de Taveiro, lote 49, 3045-504 Coimbra, Portugal
pp. 174-181

Preventing recurrence of industrial control system accident using assurance case (Abstract)

Mirko Napolano , Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione (DIETI) - Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
Fumio Machida , Knowledge Discovery Research Laboratories, NEC Corporation, Kawasaki, Japan
Roberto Pietrantuono , Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione (DIETI) - Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
Domenico Cotroneo , Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione (DIETI) - Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
pp. 182-189
101 ms
(Ver 3.3 (11022016))