default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ISSRE 2005: Chicago, IL, USA
- 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA. IEEE Computer Society 2005, ISBN 0-7695-2482-6
Introduction
- Welcome from the General Co-Chairs.
- Welcome from the Program Committee Co-Chairs.
- Organizing Committee.
- Program Committee.
Panel: How Should Software Reliability Engineering Be Taught?
- John D. Musa, Laurie A. Williams:
How Should Software Reliability Engineering Be Taught? 3 - John D. Musa:
Teaching SRE to Software Practitioners. 4 - Laurie A. Williams:
Teaching an Active-Participation University Course in Software Reliability and Testing. 5 - Mario R. Garzia:
Software Development SRE Needs. 6 - Carol S. Smidts:
Teaching SRE in a Diverse Graduate Student Context. 7 - Will Snipes
, John P. Hudepohl:
Designing an SRE Program for Commercial Software Organizations. 8
Dependability and Safety Analysis
- Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau:
Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. 11-20 - Jing Liu, Josh Dehlinger, Robyn R. Lutz:
Safety Analysis of Software Product Lines Using State-Based Modeling. 21-30 - Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel:
Helping End-Users "Engineer" Dependable Web Applications. 31-40
Software Reliability
- Katerina Goseva-Popstojanova, Margaret Hamill, Ranganath Perugupalli:
Large Empirical Case Study of Architecture-Based Software Reliability. 43-52 - Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic:
Error Propagation in the Reliability Analysis of Component Based Systems. 53-62 - Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol S. Smidts:
Study of the Impact of Hardware Fault on Software Reliability. 63-72
Coverage and Testing Strategy
- J. Jenny Li:
Prioritize Code for Testing to Improve Code Coverage of Complex Software. 75-84 - Nachiappan Nagappan, Laurie A. Williams, Jason A. Osborne, Mladen A. Vouk, Pekka Abrahamsson:
Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics. 85-94 - Lionel C. Briand, Yvan Labiche, Q. Lin:
Improving Statechart Testing Criteria Using Data Flow Information. 95-104
Reliability for Network and Communication Protocols
- Sergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer:
Assessing the Crash-Failure Assumption of Group Communication Protocols. 107-116 - Yangfan Zhou, Michael R. Lyu, Jiangchuan Liu, Hui Wang:
PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks. 117-126
Vulnerability Assessment
- Omar Hussain Alhazmi, Yashwant K. Malaiya:
Modeling the Vulnerability Discovery Process. 129-138 - Matin Tamizi, Matt Weinstein, Michel Cukier:
Automated Checking for Windows Host Vulnerabilities. 139-148 - Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi:
Markovian Modeling and Analysis of Internet Worm Propagation. 149-158
Reliability Modeling and Analysis
- Xia Cai, Michael R. Lyu, Mladen A. Vouk:
An Experimental Evaluation on Reliability Features of N-Version Programming. 161-170 - Eduardo Oliveira Costa, Silvia Regina Vergilio, Aurora Trinidad Ramirez Pozo, Gustavo A. de Souza:
Modeling Software Reliability Growth with Genetic Programming. 171-180 - Mohammad Zib Beiroumi:
High Available Mobile Infrastructure Applications. 181-190
Software Fault Model and Quality Prediction
- Paul Luo Li, James D. Herbsleb, Mary Shaw:
Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSD. 193-202 - Robert E. Mullen, Swapna S. Gokhale:
Software Defect Rediscoveries: A Discrete Lognormal Model. 203-212 - Fei Xing, Ping Guo, Michael R. Lyu:
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine. 213-222
Test Generation
- Jiang Zheng, Brian Robinson, Laurie A. Williams, Karen Smiley:
An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code Is Not Available. 225-234 - Soumen Maity, Amiya Nayak:
Improved Test Generation Algorithms for Pair-Wise Testing. 235-244 - Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang:
Data Dependence Based Testability Transformation in Automated Test Generation. 245-254
Software Testing
- Wuzhi Xu, Jeff Offutt, Juan Luo:
Testing Web Services by XML Perturbation. 257-266 - Yong Lei, James H. Andrews:
Minimization of Randomized Unit Test Cases. 267-276 - Tao Xie, David Notkin:
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. 277-287
Techniques and Tools
- Allen P. Nikora:
Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language Specifications. 291-300 - Abdesselam Lakehal, Ioannis Parissis:
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. 301-310 - David Leon, Andy Podgurski, William Dickinson:
Visualizing Similarity between Program Executions. 311-321
Testing Concurrent and Multimodal Systems
- Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay:
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. 325-334 - Jiale Huo, Alexandre Petrenko:
Covering Transitions of Concurrent Systems through Queues. 335-345 - Yu Lei, Richard H. Carver:
A New Algorithm for Reachability Testing of Concurrent Programs. 346-355
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-14 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
