Fast Abstracts Archives . .
FastAbstracts
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
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.