For today's fast paced world, ISSRE presents Fast Abstracts, in
addition to the main extended presentation.
For complete conference details (including the main program) see:
http://issre2003.cs.colostate.edu
14th IEEE International Symposium on Software Reliability Engineering
Hilton Denver Tech South
Denver, Colorado Nov 17-20, 2003
- IEEE Computer Society, Reliability Society =====
=== Support Ack: Microsoft, IBM, Sun, Cigital =====
FAST ABSTRACTS Advance Program
C-2 Fast Abstracts
Security and Reliability: Techniques, Assurance and Modeling
- An Effective Low Cost Whitebox Approach to Construct System Level
Test Vectors to Detect Buffer Overflow Defects
Joe Zhou, Christopher H Pham
- An Investigation of the Call Integrity of the Linux System
Dayle G. Majors
- Improving computer security through surreptitious engineering
Mark Feldman
- Modeling SITAR System Security
Dazhi Wang, Bharat B. Madan, Kishor S. Trivedi
- Marrying Software Fault Injection Technology Results with Software
Reliability Growth Models
Jeffrey Voas, Norman Schneidewind
- Modeling Out Test Process to Meet Short Release Cycles
Karcich, Cangussu, Earl
- A measure to distinguish between a logistic curve model and a
Gompertz curve model
Daisuke SATOH
- A Neural Network Approach For Long-Term Software MTTF Prediction
Susanta Patra
- Towards a Metric Suite for Early Software Reliability Assessment
Nachiappan Nagappan, Laurie Williams, Mladen Vouk
- Automated Event Tree Analysis from Scenario Specifications
Wei-Tek Tsai, Chun Fan, Ray Paul, Lian Yu
3C Fast Abstracts
Network/Distributed systems reliability engineering;
Validatation/Verification
- Automated Source Code Verification and Policing in Complex
Portable Software Development Environment
Sheng Li, Jun Xu, Lijun Deng
- Independent Verification and Validation (IV&V) Techniques for
Object Oriented Software Systems
Khalid Lateef Ph.D., Anthony Pratt
- Validating An Online Adaptive System Using Support Vector Machines
Yan Liu, Srikanth Gururajan, Bojan Cukic
- Perfectly Periodic Scheduling for Fault Avoidance in IEEE 802.11e
in the Context of Home Networks
Niranjan Dhanakoti, Srividya Gopalan, Sridhar.V
- QoS Assurance of Next Generation Network (NGN) Applications
Swapna S. Gokhale
- Efficient Mapping of Real-Time Task Graphs on a Cluster with
Processor Failures
Alaa Amin, Reda A. Ammar, Swapna S. Gokhale
- Reliable IP SoftPhone with Rapid Failure Detection
M. Karol, P. Krishnan, J. Jenny Li
- Performance Analysis of Voting Algorithms with Non-zero Network
Delay and Site Processing Time
Yun Liu, Dongyan Chen, Kishor S. Trivedi
- Multi-approach Testing Methodology for Web Applications
Pulei Xiong, Robert L. Probert
- Handling Failures and DOS Attacks Using Network Device Groups
Ramkumar Chinchani, Suranjan Pramanik, Ashish Garg
5C Fast Abstracts
Software Reliability: Architecture, Practice and tools
- Increasing Software Reliability through Use of Genericity
Thomas Schoebel-Theuer
- Evaluating Competing Dependability Concern Realizations in an
Aspect-Oriented Modeling Framework
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
Suk Joon KIM, Man Cheol Kim, Poong Hyun SEONG
- An Alternative Software Reliability Assessment
Herbert Hecht
- Less Intrusive Memory Leak Detection inside Kernel
Jun Xu, Xiangrong Wang, Christopher Pham
- Performance Test Automation within IBM Tivoli PACO
Andrew Rindos, Steve Woolet, Joseph L. Carter, Carol Ames,
Xuemei Wu, Yasutaka Hirasawa, Rupinder Gill
- MSET Performance Optimization of Detection of Software Aging
Kalyan Vaidyanathan, Kenny Gross
- Extending the Traditional Operational Profile Model
Mechelle Gittens, Hanan Lutfiyya, Michael Bauer, Curtis Gittens
- Failures of GUI Tests on Different Computer Platforms
Lee White, Baowei Fei
- A Test Model for Software Development
Jozsef SZIRAY
6C Fast Abstracts
Software Testing: Methodology, Effectiveness and Emperical Studies:
- An Improved Test Generation Algorithm for Pair-Wise Testing
Soumen Maity, Amiya Nayak, Marzia Zaman,
Nita Bansal, Alka Srivastava
- Automatic Test Sequences Generation from Models
Robert Busser, Mark Blackburn, Aaron Nauman
- Non-deterministic Testing of Concurrent Programs
Jeff Lei
- An Empirical Evaluation of Maintaining Evolving Component-based
Software with the UML
Ye Wu, Jeff Offutt, Yuqin Ding
- MC/DC based estimation and detection of residual faults in PLC
logic networks
Peter G Bishop
- An Industrial Case Study: Using CACC to Test Real-time Embedded
Software
Jing Guan, Jeff Offutt
- Interaction Mutation Testing
Ahyoung Sung, Byoungju Choi
- Increasing Software Testability with Standard Access and Control
Interfaces
Allen P. Nikora, Raphael R. Some, Yuval Tamir
- A Risk-based Regression Test Selection Strategy
Yanping Chen, Robert L. Probert
- An Instrumentation Engine for Dynamic Program Analysis
Atul N. Nulkar, Roger T. Alexander
Received on Sat Oct 04 2003 - 20:22:40 CDT
