![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
14th ISSRE 2003: Denver, CO, USA
- 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. IEEE Computer Society 2003, ISBN 0-7695-2007-3
Session 1A: Test Effectiveness I
- Per Runeson
, Anneliese Amschler Andrews:
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. 3-13 - Lionel C. Briand, Yvan Labiche
, Yihong Wang:
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. 14-25 - Pankaj Jalote, Bijendra Vishal:
Optimal Resource Allocation for the Quality Control Process. 26-33 - Laurie A. Williams, E. Michael Maximilien, Mladen A. Vouk:
Test-Driven Development as a Defect-Reduction Practice. 34-48
Session 1B: Requirements Analysis
- Jane Huffman Hayes:
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project. 49-59 - Ruilian Zhao, Michael R. Lyu, Yinghua Min:
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs. 60-70 - Brian Demsky, Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. 71-84 - Clémentine Nebut, Franck Fleurey, Yves Le Traon
, Jean-Marc Jézéquel:
Requirements by Contracts allow Automated System Testing. 85-98
Session 2A: Test Effectiveness II
- Paul Ammann, A. Jefferson Offutt, Hong Huang:
Coverage Criteria for Logical Expressions. 99-107 - Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews:
Anomalies as Precursors of Field Failures. 108-118 - Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai:
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. 119-132
Session 2B: Secure Systems
- Hongxia Jin, Jeffery Lotspiech:
Forensic Analysis for Tamper Resistant Software. 133-142 - Mike Jochen, Lisa M. Marvel, Lori L. Pollock:
A Framework for Tamper Detection Marking of Mobile Applications. 143-153 - Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen:
High-Assurance Synthesis of Security Services from Basic Microservices. 154-168
Session 2C: Formal Reliability Analysiss
- David Coppit, Robert R. Painter, Kevin J. Sullivan:
Shared Semantic Domains for Computational Reliability Engineering. 169-180 - Avik Sinha, Carol S. Smidts, Andrew Moran:
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. 181-190 - Ioannis Parissis, Jérôme Vassy:
Thoroughness of Specification-Based Testing of Synchronous Programs. 191-202
Session 3A: Empirical Studies and Tools
- Sherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns:
Automating the Analysis of Voting Systems. 203-214 - Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno:
A Bayesian Belief Network for Assessing the Likelihood of Fault Content. 215-226 - Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson:
An Exploratory Study of Component Reliability Using Unit Testing. 227-236
Session 3B: Software Reliability Modeling
- Peter G. Bishop
, Robin E. Bloomfield:
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. 237-245 - Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi:
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. 246-256 - Norman F. Schneidewind:
Fault Correction Profiles. 257-270
Session 4A: Empirical Studies
- Dorron Levy, Ram Chillarege:
Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems. 271-280 - David Saff, Michael D. Ernst:
Reducing wasted development time via continuous testing. 281-292 - Wen-Li Wang, Mei-Huei Tang:
User-Oriented Reliability Modeling for a Web System. 293-306
Session 4B: Architectural Approaches I
- Katerina Goseva-Popstojanova
, Sunil Kamavaram:
Assessing Uncertainty in Reliability of Component-Based Software Systems. 307-320 - Ed Stoker, Joanne Bechta Dugan:
When Does It Pay to Make Software More Reliable?. 321-331 - Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns:
Test Adequacy Assessment for UML Design Model Testing. 332-346
Session 4C: Panel Position Statement
- Saurabh Bagchi, Henrique Madeira:
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? ISSRE 2003: 347-352
Session 5A: Software Testing
- Brian A. Malloy, Peter J. Clarke
, Errol L. Lloyd:
A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications. 353-364 - Arnaud Gotlieb:
Exploiting Symmetries to Test Programs. 365-374 - Linda J. Moore, Angelica R. Moya:
Non-Intrusive Debug Technique for Embedded Programming. 375-382
Session 5B: Architectural Analysis II
- Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper:
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. 383-393 - Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling:
Augmenting Simulated Annealing to Build Interaction Test Suites. 394-405 - Olivier Marin
, Marin Bertier, Pierre Sens
:
DARX - A Framework For The Fault-Tolerant Support Of Agent Software. 406-418
Session 6A: Metrics
- Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol:
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. 419-429 - James Law, Gregg Rothermel:
Incremental Dynamic Impact Analysis for Evolving Software Systems. 430-441 - David Leon, Andy Podgurski:
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. 442-456
Session 6B: Probabilistic Analysis
- Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts:
Integrating Software into PRA. 457-467 - Stefan Mankefors, Richard Torkar, Andreas Boklund:
New Quality Estimations in Random Testing. 468-478 - Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio
, Kishor S. Trivedi:
Maximizing Interval Reliability in Operational Software System with Rejuvenation. 479-490
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.