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 2003 Fast Abstracts
Session 1:
Security and Reliability: Techniques, Assurance and Modeling
An Effective Low Cost Whitebox Approach to
Construct System Level Test Vectors to Detect Buffer Overflow Defects
Authors: Joe Zhou, Christopher H Pham
Marrying Software Fault Injection Technology
Results with Software Reliability Growth Models
Authors: Jeffrey Voas, Cigital Norman Schneidewind, Naval Postgraduate
School
System Testing Process Behavior Prediction at
SUN Microsystems
Authors: Karcich, Cangussu, Earl
A measure to distinguish between a logistic
curve model and a Gompertz curve model
Authors: Daisuke SATOH
A Neural Network Approach For Long-Term Software
MTTF Prediction
Authors: Susanta Patra
:An Investigation of the Call Integrity of the
Linux System
Authors: Dayle G. Majors
:Improving computer security through surreptitious
engineering
Authors: Mark Feldman
Modeling SITAR System Security
Authors: Dazhi Wang, Bharat B. Madan, and Kishor S. Trivedi
Towards a Metric Suite for Early Software Reliability
Assessment
Authors: Nachiappan Nagappan, Laurie Williams, Mladen Vouk
Automated Event Tree Analysis from Scenario
Specifications
Authors: Wei-Tek Tsai, Chun Fan, Ray Paul, and Lian Yu
Session 2:
Software Reliability: Architecture, Practice and Tools
A Test Model for Software Development
Authors: József SZIRAY
Increasing Software Reliability through Use
of Genericity
Authors: Thomas Schoebel-Theuer
Evaluating Competing Dependability Concern
Realizations in an Aspect-Oriented Modeling Framework
Authors: Robert B. France, Sudipto Ghosh, Indrakshi Ray, James M. Bieman,
Geri Georg, Roger T. Alexander
Evaluation of Fault Coverage for Digital System in Nuclear Power Plats
using VHDL
Authors: Suk Joon KIM, Man Cheol Kim and Poong Hyun SEONG
Failures of GUI Tests on Different Computer
Platforms
Authors: Lee White and Baowei Fei
An Alternative Software Reliability Assessment
Authors: Herbert Hecht
Less Intrusive Memory Leak Detection inside
Kernel
Authors: Jun Xu, Xiangrong Wang, Christopher Pham
Performance Test Automation within IBM Tivoli
PACO
Authors: Andrew Rindos, Steve Woolet, Joseph L. Carter, Carol Ames, Xuemei
Wu, Yasutaka Hirasawa and Rupinder Gill
MSET Performance Optimization of Detection of
Software Aging
Authors: Kalyan Vaidyanathan and Kenny Gross
Extending the Operational Profile Model
Authors: Mechelle Gittens, Hanan Lutfiyya, Michael Bauer, Curtis Gittens
Session 3:
Networked/Distributed Systems Reliability Engineering;
Validataion and Verification
Automated Source Code Verification and Policing
in Complex Portable Software Development Environment
Authors: Sheng Li, Jun Xu, Lijun Deng
Handling Failures and DOS Attacks Using Network
Device Groups
Authors: Ramkumar Chinchani, Suranjan Pramanik, Ashish Garg
Email: pramanik@cse.buffalo.edu
Perfectly Periodic Scheduling for Fault Avoidance
in IEEE 802.11e in the Context of Home Networks
Authors: Niranjan Dhanakoti, Srividya Gopalan, Sridhar.V
Independent Verification and Validation (IV&V)
Techniques for Object Oriented Software Systems
Authors: Khalid Lateef Ph.D. Anthony Pratt
QoS Assurance of Next Generation Network (NGN)
Applications
Authors: Swapna S. Gokhale
:Efficient Mapping of Real-Time Task Graphs
on a Cluster with Processor Failures
Authors: Alaa Amin, Reda A. Ammar and Swapna S. Gokhale
Reliable IP SoftPhone with Rapid Failure Detection
Authors: M. Karol, P. Krishnan, and J. Jenny Li
:Validating An Online Adaptive System Using
Support Vector Machines
Authors: Yan Liu, Srikanth Gururajan and Bojan Cukic
:Performance Analysis of Voting Algorithms
with Non-zero Network Delay and Site Processing Time
Authors: Yun Liu, Dongyan Chen, and Kishor S. Trivedi
MULTI-APPROACH TESTING METHODOLOGY FOR WEB APPS
Authors: Pulei Xiong and Robert L. Probert
Session 4:
Software Testing: Methodology, Effectiveness and Emperical Studies
An Improved Test Generation Algorithm for Pair-Wise
Testing
Authors: Soumen Maity, Amiya Nayak, Marzia Zaman, Nita Bansal, and Alka
Srivastava
Email: nayak@uottawa.ca
Automatic Test Sequences Generation from Models
Authors: Robert Busser, Mark Blackburn, Aaron Nauman
Non-deterministic Testing of Concurrent Programs
Authors: Jeff Lei
An Empirical Evaluation of Maintaining Evolving
Component-based Software with the UML
Authors: Ye Wu, Jeff Offutt and Yuqin Ding
MC/DC based estimation and detection of residual
faults in PLC logic networks
Authors: Peter G Bishop
An Industrial Case Study: Using CACC to Test
Real-time Embedded Software
Authors: Jing Guan and Jeff Offutt
Interaction Mutation Testing
Authors: Ahyoung Sung Byoungju Choi
Increasing Software Testability with Standard
Access and Control Interfaces
Authors: Allen P. Nikora, Raphael R. Some, Yuval Tamir
A Risk-based Regression Test Selection Strategy
Authors: Yanping Chen, Robert L. Probert
An Instrumentation Engine for Dynamic Program
Analysis
Authors: Atul N. Nulkar Roger T. Alexander