Fast Abstracts Archives . .

FastAbstracts


WHAT IS a
FastAbstract

The History

Archives of
FastAbstracts

ISSRE 2003
ISSRE 2002
ISSRE 2001
ISSRE 2000
ISSRE 1999
ISSRE 1998
FTCS 1999
FTCS 1998



ISSRE 2002, Fast Abstracts Sessions

Preface to the Fast Abstracts

Session 1

A) SECURITY

Security Testing using a Susceptibility Matrix, K. Jiwnani and M. Zelkowitz
Security modeling and quantification of intrusion tolerant systems, B.B. Madan and K.S. Trivedi

B) COMPONENT BASED/OBJECT-ORIENTED SOFTWARE RELIABILITY

Fault Insertion in Concurrent Object-Oriented Programs for Mutation Analysis and Testability Measurement, S. Ghosh
Search-based Execution-Time Analysis in Component-Oriented Real-Time Application Development, H.-G. Gross and N. Mayer
Structurally Guided Testing, H.V. Kantamneni, S.R. Pillai and Y. K. Malaiya
Verified Systems by Composition from Verified Components, F. Xie and J. C. Browne

C) MODELING

A Discrete Stochastic Logistic Equation and a Software Reliability Growth Model, D. Satoh
Uncertainty Analysis of Software Reliability Based on Method of Moments, K. Goseva-Popstojanova and S. Kamavaram
An Intuitive and Practical Method for Reliability Analysis of Complex Systems, M.C. Kim and P.H. Seong
Unified Modeling Framework and Comprehensive Offline Analysis For Quantifiable Adaptive Real-Time Systems, H. Shrikumar, K. Ramamritham
Good Enough Reliability Certification for Extreme Programming, L. Williams, L. Wang, and M. Vouk


Session 2

A) INTERNET, E-BUSINESS AND SOFTWARE

Conflicting Forces for Software Reliability in e-Business, R. Chillarege
Dependable Web Service, A. Sarangi and R. Agarwal
Virtual Software Enterprises for Reliable Software Development, P. Tiako
Simultaneous Data Extraction and Verification using Semistructured Constraints, D. Hunter, T. Lee, D. Ong, P. Yang

B) TESTING

Relationship Between Test Effectiveness and Coverage, R. Ye and Y. K. Malaiya
Scalable Source Code Debugger Agent to Provide Program Debugging in a Script Testing Environment, J. Xu, C. H. Pham and J. Zhou
Adapted Statistical Usage Testing: A Case Study, P. Lakey
Model-Based Extreme Testing, W.E. Howden, R. Kim and P. Tran
A Framework for Experimental Error Propagation Analysis of Software Architecture Specifications, D. Nassar, W. AbdelMoez, M. Shereshevsky and A. Mili

C) FORMAL METHODS

Whole-Program Specifications Permit Better Abstraction and Concurrent Implementations, B. Jacobs, F. Piessens, P. Bekaert and E. Steegmans
A Formal Method with TUG for Developing Reliable Programs, Chia-C. Chiang


Session 3

A) SOFTWARE PROCESS AND METRICS

Software Reliability Prediction is not a Science...Yet, P. Lakey
A Software Development Life Cycle Model for Low Maintenance and Concurrency, U. M. Reddy C.P, Chandra Sekhar R.V.P, A.K. Rao and K. Devsen
A Methodology for Reliable Concurrent Programming, R. Ramirez and A. E. Santosa
A Hierarchical Classification for Software Health Indicators, A. Lau, B. Pekilis, N. Ghafari and R. Seviora
Combining Process Simulation and Orthogonal Defect Classification for Improving Software Dependability, I. Rus

B) NETWORKED AND DISTRIBUTED SYSTEMS DEPENDABILITY

Error Detection in Distributed Systems, N. Ghafari, A. Lau, B. Pekilis and R. Seviora
A diagnosis service for CORBA-based applications, O.El-K. Aktouf-Benkahla and A. Gacemi
Reliable Computation Using Unreliable Network Tools, A. Hamilton-Wright and D. Stacey
Failure Detection in Telephone Switching Systems, A. M. Silva Filho, M. K. I. Doi, A. M. P. Lima
A Hierarchical Trade-off Assessment Model and the Systematic Evaluation of Networked Systems, F. Gao, X. Ye
QoS Assurance in Unreliable Networks, Kiran K, Nitin R, and Sridhar V.