Software Reliability: Emerging Practices & Current Research (ISSRE Fast Abstracts)

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 Sun Oct 05 2003 - 03:22:40 CEST

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]