The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2004)
Saint-Malo, Bretagne, France
Nov. 2, 2004 to Nov. 5, 2004
ISSN: 1071-9458
ISBN: 0-7695-2215-7
TABLE OF CONTENTS
Papers

Preface (PDF)

pp. ix
Session 1A: Testing I

Unit Testing in Practice (Abstract)

James Bridges , Pi Technology, Cambridge England
Darrel C. Ince , Open University, Milton Keynes, England
Michael Ellims , Pi Technology, Cambridge England
pp. 3-13

Deriving Test Sets from Partial Proofs (Abstract)

H?l?ne Waeselynck , LAAS-CNRS, France
Guillaume Lussier , LAAS-CNRS, France
pp. 14-24

A Generic Method for Statistical Testing (Abstract)

A. Denise , L.R.I., Universit? Paris-Sud
S.-D. Gouraud , L.R.I., Universit? Paris-Sud
M.-C. Gaudel , L.R.I., Universit? Paris-Sud
pp. 25-34

Statistical Software Testing with Parallel Modeling: A Case Study (Abstract)

Robert J. Weber , Air Force Institute of Technology
pp. 35-44
Session 1B: Reliability I

Reliability Growth in Software Products (Abstract)

Pankaj Jalote , Microsoft Corporation, Redmond, USA
Brendan Murphy , Microsoft Research, Cambridge, UK
pp. 47-53

Reliability Estimation for Statistical Usage Testing using Markov Chains (Abstract)

H?l?ne Le Guen , Soci?t? Alitec, France
Thomas Thelin , Lund University, Sweden
Raymond Marie , IRISA, France
pp. 54-65

Validation of a Methodology for Assessing Software Reliability (Abstract)

B. Cukic , West Virginia University, WV
C. Smidts , University of Maryland at College Park, MD
D. Desovski , West Virginia University, WV
H. Nejad , University of Maryland at College Park, MD
M. Li , University of Maryland at College Park, MD
S. Ghose , University of Maryland at College Park, MD
Y. Wei , University of Maryland at College Park, MD
pp. 66-76

Performability Modeling of Mobile Software Systems (Abstract)

Paola Bracchi , West Virginia University, Morgantown, WV
Bojan Cukic , West Virginia University, Morgantown, WV
Vittorio Cortellessa , Universit? degli Studi di L'Aquila, Italy
pp. 77-88
Session 1C: Empirical Studies

Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study (Abstract)

M?ns Holmstedt J?nsson , Lund University, Sweden
Fredrik Scheja , Lund University, Sweden
Per Runeson , Lund University, Sweden
pp. 91-100

An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs (Abstract)

M. Revilla , University of Valladolid, Spain
P. G. Bishop , City University, UK
M. J. P. van der Meulen , City University, UK
pp. 101-112

Empirical Studies of Test Case Prioritization in a JUnit Testing Environment (Abstract)

Alex Kinneer , University of Nebraska - Lincoln
Gregg Rothermel , University of Nebraska - Lincoln
Hyunsook Do , University of Nebraska - Lincoln
pp. 113-124

An Empirical Study on Reliability Modeling for Diverse Software Systems (Abstract)

Xia Cai , The Chinese University of Hong Kong
Michael R. Lyu , The Chinese University of Hong Kong
pp. 125-136
Session 2A: Testing II

Boundary Coverage Criteria for Test Generation from Formal Models (Abstract)

Bruno Legeard , Universit? de Franche-Comt? - CNRS - INRIA, France
Nikolai Kosmatov , Lehrstuhl D f?r Mathematik, Aachen, Germany
Fabien Peureux , Universit? de Franche-Comt? - CNRS - INRIA, France
Mark Utting , The University of Waikato, New Zealand
pp. 139-150

Model-Based Test Driven Development of the Tefkat Model-Transformation Engine (Abstract)

Jim Steel , INRIA/Irisa, University of Rennes 1, France
Michael Lawley , University of Queensland, Australia
pp. 151-160

Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set (Abstract)

Silke Kuball , University of Bristol, U.K.
John May , University of Bristol, U.K.
pp. 161-172

Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications (Abstract)

Amit Paradkar , IBM T.J. Watson Research Center, Hawthorne, NY
pp. 173-184
Session 2B: Security

Bypass Testing of Web Applications (Abstract)

Ye Wu , George Mason University, Fairfax, VA
Hong Huang , George Mason University, Fairfax, VA
Xiaochen Du , George Mason University, Fairfax, VA
Jeff Offutt , George Mason University, Fairfax, VA
pp. 187-197

Detecting and Debugging Insecure Information Flows (Abstract)

David Leon , Case Western Reserve University, Cleveland, OH
Wes Masri , Case Western Reserve University, Cleveland, OH
Andy Podgurski , Case Western Reserve University, Cleveland, OH
pp. 198-209

An Approach to Facilitate Reliability Testing of Web Services Components (PDF)

Jia Zhang , Northern Illinois University, Chicago, IL
pp. 210-218

Non-Detrimental Web Application Security Scanning (Abstract)

Yao-Wen Huang , National Taiwan University, Taipei; Academia Sinica, Taipei, Taiwan
Chung-Hung Tsai , National Taiwan University, Taipei
Sy-Yen Kuo , National Taiwan University, Taipei
D. T. Lee , Academia Sinica, Taipei, Taiwan; National Taiwan University, Taipei
pp. 219-230
Session 2C: Tools and Automation I

Reducing Coverage Collection Overhead With Disposable Instrumentation (Abstract)

Kalyan-Ram Chilakamarri , University of Nebraska - Lincoln
Sebastian Elbaum , University of Nebraska - Lincoln
pp. 233-244

A Comparison of Bug Finding Tools for Java (Abstract)

Jeffrey S. Foster , University of Maryland, College Park
Christian B. Almazan , University of Maryland, College Park
Nick Rutar , University of Maryland, College Park
pp. 245-256

Coverage Metrics for Continuous Function Charts (Abstract)

Benedikte Elbel , Siemens AG, M?nchen, Germany
Alexander Pretschner , ETH Z?rich, Switzerland
Vadim Alyokhin , TU M?nchen, Germany
Martin Rothfelder , Siemens AG, M?nchen, Germany
pp. 257-268

GERT: An Empirical Reliability Estimation and Testing Feedback Tool (Abstract)

Nachiappan Nagappan , North Carolina State University, Raleigh, NC
Jiang Zheng , North Carolina State University, Raleigh, NC
Mladen Vouk , North Carolina State University, Raleigh, NC
Martin Davidsson , North Carolina State University, Raleigh, NC
Laurie Williams , North Carolina State University, Raleigh, NC
pp. 269-280
Session 3A: Testing III

Multiple Profile Evaluation Using a Single Test Suite in Random Testing (Abstract)

S. Mankefors-Christiernin , University of Trollh?ttan/Uddevalla, Sweden
A. Boklund , University of Trollh?ttan/Uddevalla, Sweden
pp. 283-294

From Test Count to Code Coverage using the Lognormal Failure Rate (Abstract)

Swapna S. Gokhale , University of Connecticut, Storrs
Robert E. Mullen , Cisco Systems, Boxborough, MA
pp. 295-305

Validation and Reliability Estimation of a Fingerprint Image Registration Software (Abstract)

Vijai Gandikota , West Virginia University
Dejan Desovski , West Virginia University
Yan Liu , West Virginia University
Yue Jiang , West Virginia University
Bojan Cukic , West Virginia University
pp. 306-313

An Extended Operational Profile Model (Abstract)

Michael Bauer , University of Western Ontario, Canada
Mechelle Gittens , University of Waterloo, Canada
Hanan Lutfiyya , University of Western Ontario, Canada
pp. 314-325
Session 3B: Tools and Automation II

Automatically Inferring Temporal Properties for Program Evolution (Abstract)

David Evans , University of Virginia
Jinlin Yang , University of Virginia
pp. 340-351

Middleware Transparent Development of Dependable CORBA Applications (Abstract)

Brahmila Kamalakar , Colorado State University, Fort Collins
Peter Vile , Colorado State University, Fort Collins
Sudipto Ghosh , Colorado State University, Fort Collins
pp. 352-363
Session 3C: Reliability II

Survivability Analysis of Telephone Access Network (Abstract)

Yun Liu , Duke University, Durham, NC
Veena B. Mendiratta , Lucent Technologies, Naperville, IL
Kishor S. Trivedi , Duke University, Durham, NC
pp. 367-378

Updates to the Schneidewind Software Reliability Model in SMERFS (Abstract)

Dolores R. Wallace , NASA Goddard Space Flight Center
John R. Crigler , Naval Surface Warfare Center Dahlgren Division
William H. Farr , Naval Surface Warfare Center Dahlgren Division
pp. 379-390

Empirical Study of Session-Based Workload and Reliability for Web Servers (Abstract)

Ajay Deep Singh , West Virginia University, Morgantown, WV
Katerina Goseva-Popstojanova , West Virginia University, Morgantown, WV
Sunil Mazimdar , West Virginia University, Morgantown, WV
pp. 403-414
Session 4: Quality Assurance

Robust Prediction of Fault-Proneness by Random Forests (Abstract)

Lan Guo , West Virginia University, Morgantown, WV
Harshinder Singh , West Virginia University, Morgantown, WV
Yan Ma , West Virginia University, Morgantown, WV
Bojan Cukic , West Virginia University, Morgantown, WV
pp. 417-428

Preliminary Results On Using Static Analysis Tools For Software Inspection (Abstract)

Laurie Williams , North Carolina State University, Raleigh, NC
Will Snipes , Nortel Networks, Software Dependability Design (SWDD), Research Triangle Park, NC
John Hudepohl , Nortel Networks, Software Dependability Design (SWDD), Research Triangle Park, NC
Nachiappan Nagappan , North Carolina State University, Raleigh, NC
Mladen Vouk , North Carolina State University, Raleigh, NC
pp. 429-439

Software Release Control using Defect Based Quality Estimation (Abstract)

Aditya P. Mathur , Purdue University, West Lafayette-IN
Richard M. Karcich , Network Storage, Broomfield, CO
Jo?o W. Cangussu , University of Texas at Dallas
Raymond A. DeCarlo , Purdue University, West Lafayette-IN
pp. 440-450

Tree-Based Methods for Classifying Software Failures (Abstract)

Andy Podgurski , Case Western Reserve University, Cleveland, OH
Patrick Francis , Case Western Reserve University, Cleveland, OH
Melinda Minch , Case Western Reserve University, Cleveland, OH
David Leon , Case Western Reserve University, Cleveland, OH
pp. 451-462

Author Index (PDF)

pp. 463
87 ms
(Ver 3.3 (11022016))