Abstract is missing.
- Welcome from the Program Committee Co-Chairs [doi]
- Organizing Committee [doi]
- Welcome from the General Co-Chairs [doi]
- Program Committee [doi]
- How Should Software Reliability Engineering Be Taught?John D. Musa, Laurie A. Williams. 3 [doi]
- Teaching SRE to Software PractitionersJohn D. Musa. 4 [doi]
- Teaching an Active-Participation University Course in Software Reliability and TestingLaurie A. Williams. 5 [doi]
- Software Development SRE NeedsMario R. Garzia. 6 [doi]
- Teaching SRE in a Diverse Graduate Student ContextCarol Smidts. 7 [doi]
- Designing an SRE Program for Commercial Software OrganizationsWill Snipes, John P. Hudepohl. 8 [doi]
- Benchmarking the Dependability of Windows and Linux Using PostMark WorkloadsKarama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau. 11-20 [doi]
- Safety Analysis of Software Product Lines Using State-Based ModelingJing Liu, Josh Dehlinger, Robyn R. Lutz. 21-30 [doi]
- Helping End-Users Engineer Dependable Web ApplicationsSebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel. 31-40 [doi]
- Large Empirical Case Study of Architecture-Based Software ReliabilityKaterina Goseva-Popstojanova, Margaret Hamill, Ranganath Perugupalli. 43-52 [doi]
- Error Propagation in the Reliability Analysis of Component Based SystemsPetar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic. 53-62 [doi]
- Study of the Impact of Hardware Fault on Software ReliabilityBing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol Smidts. 63-72 [doi]
- Prioritize Code for Testing to Improve Code Coverage of Complex SoftwareJ. Jenny Li. 75-84 [doi]
- Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite MetricsNachiappan Nagappan, Laurie A. Williams, Jason Osborne, Mladen A. Vouk, Pekka Abrahamsson. 85-94 [doi]
- Improving Statechart Testing Criteria Using Data Flow InformationLionel C. Briand, Yvan Labiche, Q. Lin. 95-104 [doi]
- Assessing the Crash-Failure Assumption of Group Communication ProtocolsSergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer. 107-116 [doi]
- PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor NetworksYangfan Zhou, Michael R. Lyu. 117-126 [doi]
- Modeling the Vulnerability Discovery ProcessOmar H. Alhazmi, Yashwant K. Malaiya. 129-138 [doi]
- Automated Checking for Windows Host VulnerabilitiesMatin Tamizi, Matt Weinstein, Michel Cukier. 139-148 [doi]
- Markovian Modeling and Analysis of Internet Worm PropagationHiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi. 149-158 [doi]
- An Experimental Evaluation on Reliability Features of N-Version ProgrammingXia Cai, Michael R. Lyu, Mladen A. Vouk. 161-170 [doi]
- Modeling Software Reliability Growth with Genetic ProgrammingEduardo Oliveira Costa, Silvia Regina Vergilio, Aurora Trinidad Ramirez Pozo, Gustavo A. de Souza. 171-180 [doi]
- High Available Mobile Infrastructure ApplicationsMohammad Zib Beiroumi. 181-190 [doi]
- Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSDPaul Luo Li, James D. Herbsleb, Mary Shaw. 193-202 [doi]
- Software Defect Rediscoveries: A Discrete Lognormal ModelRobert E. Mullen, Swapna S. Gokhale. 203-212 [doi]
- A Novel Method for Early Software Quality Prediction Based on Support Vector MachineFei Xing, Ping Guo, Michael R. Lyu. 213-222 [doi]
- An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code Is Not AvailableJiang Zheng, Brian Robinson, Laurie A. Williams, Karen Smiley. 225-234 [doi]
- Improved Test Generation Algorithms for Pair-Wise TestingSoumen Maity, Amiya Nayak. 235-244 [doi]
- Data Dependence Based Testability Transformation in Automated Test GenerationBogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang. 245-254 [doi]
- Testing Web Services by XML PerturbationWuzhi Xu, Jeff Offutt, Juan Luo. 257-266 [doi]
- Minimization of Randomized Unit Test CasesYong Lei, James H. Andrews. 267-276 [doi]
- Automatically Identifying Special and Common Unit Tests for Object-Oriented ProgramsTao Xie, David Notkin. 277-287 [doi]
- Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language SpecificationsAllen P. Nikora. 291-300 [doi]
- Lustructu: A Tool for the Automatic Coverage Assessment of Lustre ProgramsAbdesselam Lakehal, Ioannis Parissis. 301-310 [doi]
- Visualizing Similarity between Program ExecutionsDavid Leon, Andy Podgurski, William Dickinson. 311-321 [doi]
- Synchronous Testing of Multimodal Systems: An Operational Profile-Based ApproachLaya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay. 325-334 [doi]
- Covering Transitions of Concurrent Systems through QueuesJiale Huo, Alexandre Petrenko. 335-345 [doi]
- A New Algorithm for Reachability Testing of Concurrent ProgramsYu Lei, Richard H. Carver. 346-355 [doi]