Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th 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
Session 1A: Testing I
- Michael Ellims, James Bridges, Darrel C. Ince:
Unit Testing in Practice. 3-13 - Guillaume Lussier, Hélène Waeselynck:
Deriving Test Sets from Partial Proofs. 14-24 - Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud:
A Generic Method for Statistical Testing. 25-34 - Robert J. Weber:
Statistical Software Testing with Parallel Modeling: A Case Study. 35-44
Session 1B: Reliability I
- Pankaj Jalote, Brendan Murphy:
Reliability Growth in Software Products. 47-53 - Hélène Le Guen, Raymond A. Marie, Thomas Thelin:
Reliability Estimation for Statistical Usage Testing using Markov Chains. 54-65 - Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts:
Validation of a Methodology for Assessing Software Reliability. 66-76 - Paola Bracchi, Bojan Cukic
, Vittorio Cortellessa:
Performability Modeling of Mobile Software Systems. 77-88
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 - 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 - Hyunsook Do, Gregg Rothermel, Alex Kinneer:
Empirical Studies of Test Case Prioritization in a JUnit Testing Environment. 113-124 - Xia Cai, Michael R. Lyu:
An Empirical Study on Reliability Modeling for Diverse Software Systems. 125-136
Session 2A: Testing II
- Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting:
Boundary Coverage Criteria for Test Generation from Formal Models. 139-150 - Jim Steel, Michael Lawley:
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. 151-160 - Silke Kuball, John H. R. May:
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. 161-172 - Amit M. Paradkar:
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. 173-184
Session 2B: Security
- Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang:
Bypass Testing of Web Applications. 187-197 - Wes Masri, Andy Podgurski, David Leon:
Detecting and Debugging Insecure Information Flows. 198-209 - Jia Zhang:
An Approach to Facilitate Reliability Testing of Web Services Components. 210-218 - Yao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo:
Non-Detrimental Web Application Security Scanning. 219-230
Session 2C: Tools and Automation I
- Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
Reducing Coverage Collection Overhead With Disposable Instrumentation. 233-244 - Nick Rutar, Christian B. Almazan, Jeffrey S. Foster:
A Comparison of Bug Finding Tools for Java. 245-256 - Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner:
Coverage Metrics for Continuous Function Charts. 257-268 - Martin Davidsson, Jiang Zheng, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk:
GERT: An Empirical Reliability Estimation and Testing Feedback Tool. 269-280
Session 3A: Testing III
- Stefan Mankefors-Christiernin, Andreas Boklund:
Multiple Profile Evaluation Using a Single Test Suite in Random Testing. 283-294 - Swapna S. Gokhale, Robert E. Mullen:
From Test Count to Code Coverage using the Lognormal Failure Rate. 295-305 - Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic:
Validation and Reliability Estimation of a Fingerprint Image Registration Software. 306-313 - Mechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer:
An Extended Operational Profile Model. 314-325
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 - Jinlin Yang, David Evans:
Automatically Inferring Temporal Properties for Program Evolution . 340-351 - Brahmila Kamalakar, Sudipto Ghosh, Peter Vile:
Middleware Transparent Development of Dependable CORBA Applications. 352-363
Session 3C: Reliability II
- Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi:
Survivability Analysis of Telephone Access Network. 367-378 - William H. Farr, John R. Crigler, Dolores R. Wallace:
Updates to the Schneidewind Software Reliability Model in SMERFS. 379-390 - 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 - Katerina Goseva-Popstojanova, Sunil Mazimdar, Ajay Deep Singh:
Empirical Study of Session-Based Workload and Reliability for Web Servers. 403-414
Session 4: Quality Assurance
- Lan Guo, Yan Ma, Bojan Cukic, Harshinder Singh:
Robust Prediction of Fault-Proneness by Random Forests. 417-428 - 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 - João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo:
Software Release Control using Defect Based Quality Estimation. 440-450 - Patrick Francis, David Leon, Melinda Minch, Andy Podgurski:
Tree-Based Methods for Classifying Software Failures. 451-462
a service of 
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 2024-04-25 05:27 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
