15. ISSRE 2004: Saint-Malo, Bretagne, France

15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France. IEEE Computer Society 2004, ISBN 0-7695-2215-7 BibTeX

Session 1A: Testing I

Michael Ellims, James Bridges, Darrel C. Ince:
Unit Testing in Practice. 3-13
Electronic Edition (link) BibTeX
Guillaume Lussier, Hélène Waeselynck:
Deriving Test Sets from Partial Proofs. 14-24
Electronic Edition (link) BibTeX
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing. 25-34
Electronic Edition (link) BibTeX
Robert J. Weber:
Statistical Software Testing with Parallel Modeling: A Case Study. 35-44
Electronic Edition (link) BibTeX

Session 1B: Reliability I

Pankaj Jalote, Brendan Murphy:
Reliability Growth in Software Products. 47-53
Electronic Edition (link) BibTeX
Hélène le Guen, Raymond A. Marie, Thomas Thelin:
Reliability Estimation for Statistical Usage Testing using Markov Chains. 54-65
Electronic Edition (link) BibTeX
Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol Smidts:
Validation of a Methodology for Assessing Software Reliability. 66-76
Electronic Edition (link) BibTeX
Paola Bracchi, Bojan Cukic, Vittorio Cortellessa:
Performability Modeling of Mobile Software Systems. 77-88
Electronic Edition (link) BibTeX

Session 1C: Empirical Studies

Per Runeson, Måns Holmstedt Jönsson, Fredrik Scheja:
Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study. 91-100
Electronic Edition (link) BibTeX
Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla:
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. 101-112
Electronic Edition (link) BibTeX
Hyunsook Do, Gregg Rothermel, Alex Kinneer:
Empirical Studies of Test Case Prioritization in a JUnit Testing Environment. 113-124
Electronic Edition (link) BibTeX
Xia Cai, Michael R. Lyu:
An Empirical Study on Reliability Modeling for Diverse Software Systems. 125-136
Electronic Edition (link) BibTeX

Session 2A: Testing II

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting:
Boundary Coverage Criteria for Test Generation from Formal Models. 139-150
Electronic Edition (link) BibTeX
Jim Steel, Michael Lawley:
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. 151-160
Electronic Edition (link) BibTeX
Silke Kuball, John H. R. May:
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. 161-172
Electronic Edition (link) BibTeX
Amit M. Paradkar:
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. 173-184
Electronic Edition (link) BibTeX

Session 2B: Security

Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang:
Bypass Testing of Web Applications. 187-197
Electronic Edition (link) BibTeX
Wes Masri, Andy Podgurski, David Leon:
Detecting and Debugging Insecure Information Flows. 198-209
Electronic Edition (link) BibTeX
Jia Zhang:
An Approach to Facilitate Reliability Testing of Web Services Components. 210-218
Electronic Edition (link) BibTeX
Yao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo:
Non-Detrimental Web Application Security Scanning. 219-230
Electronic Edition (link) BibTeX

Session 2C: Tools and Automation I

Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
Reducing Coverage Collection Overhead With Disposable Instrumentation. 233-244
Electronic Edition (link) BibTeX
Nick Rutar, Christian B. Almazan, Jeffrey S. Foster:
A Comparison of Bug Finding Tools for Java. 245-256
Electronic Edition (link) BibTeX
Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner:
Coverage Metrics for Continuous Function Charts. 257-268
Electronic Edition (link) BibTeX
Martin Davidsson, Jiang Zheng, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk:
GERT: An Empirical Reliability Estimation and Testing Feedback Tool. 269-280
Electronic Edition (link) BibTeX

Session 3A: Testing III

Stefan Mankefors-Christiernin, Andreas Boklund:
Multiple Profile Evaluation Using a Single Test Suite in Random Testing. 283-294
Electronic Edition (link) BibTeX
Swapna S. Gokhale, Robert E. Mullen:
From Test Count to Code Coverage using the Lognormal Failure Rate. 295-305
Electronic Edition (link) BibTeX
Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic:
Validation and Reliability Estimation of a Fingerprint Image Registration Software. 306-313
Electronic Edition (link) BibTeX
Mechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer:
An Extended Operational Profile Model. 314-325
Electronic Edition (link) BibTeX

Session 3B: Tools and Automation II

Xiangrong Wang, Jun Xu, Christopher H. Pham:
An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior. 329-339
Electronic Edition (link) BibTeX
Jinlin Yang, David Evans:
Automatically Inferring Temporal Properties for Program Evolution . 340-351
Electronic Edition (link) BibTeX
Brahmila Kamalakar, Sudipto Ghosh, Peter Vile:
Middleware Transparent Development of Dependable CORBA Applications. 352-363
Electronic Edition (link) BibTeX

Session 3C: Reliability II

Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi:
Survivability Analysis of Telephone Access Network. 367-378
Electronic Edition (link) BibTeX
William H. Farr, John R. Crigler, Dolores R. Wallace:
Updates to the Schneidewind Software Reliability Model in SMERFS. 379-390
Electronic Edition (link) BibTeX
Martin S. Feather:
Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. 391-402
Electronic Edition (link) BibTeX
Katerina Goseva-Popstojanova, Sunil Mazimdar, Ajay Deep Singh:
Empirical Study of Session-Based Workload and Reliability for Web Servers. 403-414
Electronic Edition (link) BibTeX

Session 4: Quality Assurance

Lan Guo, Yan Ma, Bojan Cukic, Harshinder Singh:
Robust Prediction of Fault-Proneness by Random Forests. 417-428
Electronic Edition (link) BibTeX
Nachiappan Nagappan, Laurie A. Williams, John P. Hudepohl, Will Snipes, Mladen A. Vouk:
Preliminary Results On Using Static Analysis Tools For Software Inspection. 429-439
Electronic Edition (link) BibTeX
João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo:
Software Release Control using Defect Based Quality Estimation. 440-450
Electronic Edition (link) BibTeX
Patrick Francis, David Leon, Melinda Minch, Andy Podgurski:
Tree-Based Methods for Classifying Software Failures. 451-462
Electronic Edition (link) BibTeX