IEEE Int Symp Software Reliability Eng (ISSRE 03) Call for Particpation
Yashwant
industrial applications, current research, fast abstracts and winners of the
student paper awards in addition to four distinguished keynote speakers.
In addition there are two Tutorials and the Workshop on Software Assessment.
ISSRE 2003 Organizing Committee
===== ISSRE 2003 Call for Particpation =====
14th IEEE International Symposium on Software Reliability Engineering
Extending the Reach of Software Reliability Engineering
Hilton Denver Tech South
Denver, Colorado Nov 17-20, 2003
ISSRE Home page: http://issre2003.cs.colostate.edu
Preliminary Program Draft 10/2/2003
=== Monday, 11/17/2003 Tutorials and Workshop ===
8:00-12:30 Tutorial 1: J. Musa: "More Reliable Software Faster and Cheaper"
1:30-5:30 Tutorial 2: B. Cukic "Introduction to Biometrics System
Assurance"
8:30-5:30 Workshop on Software Assessment
6:30-8:30 Reception
=== Tuesday, 11/18/2003 Industry Practice Day ===
8:30-9:30 Keynote: Nicholas Bowen, IBM
10:00 - 11:30 Parallel Sessions
A-1. Testing techniques
Acceleration and Optimization of Defect Detection over Covered Tests,
- J. Xu , C. Li and X. Wang, Cisco Systems
Branch Coverage Testing and Visualization for Domain Specific Languages,
- H. Zheng & I. Baxter, Semantic Designs
The example of improving quality of imbedded system software applied to
automated software test methods,
- S.-S. Han, I.-S.g Yang, E. Kim and S. D. Park, Samsung
B-1 Development Methodology
Application of IEEE Standard Dictionary of Measures of the
Software Aspects of Dependability,
- N. Schneidewind, Naval Postgraduate School
Is Software Error Estimation Compatible with Agile Development Teams?,
- J. Hagar, Lockheed Martin
Preparation Effort in Effective Code Inspections,
- Z. Matic and R. Stoddard, Motorola
C-1 Quality & Process Improvements
Implementing Process and Quality Improvements During Difficult
Economic Times,
- R. Cheatham, IBM Printing Systems
1:00 - 2:00 Keynote: Paul England, Microsoft
2:30-4:00 Parellel sessions
A-2. Testing Distributed Environments
Analysis of Communication Traces to Improve Reliability of Distributed
Systems,
- A. Ulrich, Siemens
Intelligent SAN Test framework (INSAT),
- K. Dhanadevan and M. Satish Kumar, HP
Experience with a Profile-based Automated Testing Environment,
- R. Binder, Mobile Systems Verification
B-2 Understanding Quality of Service
Automatic Detection of Service Degradations in Telecom Systems,
- A. M. da Silva Filho, M. K. I. Doi, A. Morales and P. Lima, State U of
Maringa
Quality of Service for Web services-'Demystification, Limitations & Best
practices',
- R. Sumra & D. Arulazi, HP
QoS and Reliability in Smart Homes,
- N. Dhanakoti, Satyam Computer Services
C-2 Fast abstracts I:
Security and Reliability: Techniques, Assurance and Modeling
http://www.cs.colostate.edu/~malaiya/issre/fastabstracts.html
4:15-5:45 Parellel sessions
A-3 Approaches to Reliability Improvement
Software Failure Modes and Effect Analysis - Techniques & Methods,
- K. Sundaram, R. Stoddard, M. Olaosebikan, T. Petersen
& E. Vraney , Motorola
Resilience for Autonomous Agents,
- M. Mowbray and M. M. Williamson, HP
Data-Driven with Data Mining for Reliability,
- R. Wen, AP Technology
B-3 Measuring Reliability& Availability
Measuring and Improving System Availability -- Field Performance
and In-Process Metrics,
- S. Kan & D. Manlove, IBM
System Reliability and Availability Measurement Methodology,
- A. George & M. G. Becker, HP
A Tool for Calculating Software Reliability Predictions Based on
Latent Fault Density,
- J. Peterson, Raytheon
C-3 Panel:
Open source software - A recipe for vulnerable software or the
only way to keep bugs and bad guys out?,
- Coordinator: S. Bagchi
=== Wednesday, 11/19/2003 Research Day 1 ===
8:30-9:30 Keynote: Dr. Bhavani Thuraisingham, NSF
10:00 - 12:00 Parallel Sessions
1A. Test Effectiveness I
Detection or isolation of defects? an experimental comparison of
unit testing and code inspection,
- P. Runeson, A. Andrews
Toward a comprehensive and systematic methodology for class
integration testing,
- L.C. Briand, Y. Labiche, Y. Wang
Optimal resource allocation for the quality control process,
- P. Jalote, B. Vishal
Test-driven development as a defect-reduction practice,
- L. Williams, E. M. Maximilien, M. Vouk
1B. Requirements Analysis
Building a requirement fault taxonomy: experiences from a NASA
verification and validation research project,
- J. H. Hayes
A new software testing approach based on domain analysis of
specifications and programs,
- R. Zhao, M. R. Lyu, Y. Min
Static specification analysis for termination of specification-based data
structure repair,
- B. Demsky, M. Rinard
Requirements by contracts allow automated system testing,
- C. Nebut, F. Fleurey, Y. Le Traon, J.-M. Jézéquel
1C. Student Papers:
http://www.cs.colostate.edu/~malaiya/issre/studentpapers.html
1:30-3:00 PM Parallel Sessions
2A. Test Effectiveness II
Coverage criteria for logical expressions,
- P. Ammann, J. Offutt and H. Huang
Anomalies as precursors of field failures,
- S. Elbaum, S. Kanduri, A. Andrews
An empirical study on testing and fault tolerance for software
reliability engineering,
- M. R. Lyu, Z. Huang, Sam K.S. Sze
2B. Secure Systems
Tamper resistence for software protection,
- H. Jin, J. Lotspich
A framework for tamper detection marking of mobile applications,
- M. Jochen, L. M. Marvel, L. L. Pollock
High-assurance synthesis of security services from basic microservices,
- S. Kim, F. B. Bastani, I-L. Yen, and I.-R. Chen
2C. Formal Reliability Analysis
Shared semantic domains for computational reliability engineering,
- D. Coppit, R. R. Painter, and K. J. Sullivan
Enhanced testing of domain specific applications by automatic
extraction of axioms from functional specifications,
- A. Sinha, C. Smidts, A. Moran
Thoroughness of specification-based testing of synchronous software,
- I. Parissis and J. Vassy
3:30-5:00 Parallel Sessions
3A. Empirical Studies and Tools
Automating the analysis of voting systems,
- S. Yacoub, X. Lin, S. Simske, J. Burn
A bayesian belief network for predicting residual faults
in software products,
- S. Amasaki, Y. Takagi, O. Mizuno, and T. Kikuno
An explotarory study of component reliability using unit testing,
- R. Torkar, S. Mankefors, K. Hansson and A. Jonsson
3B. Software Reliability Modeling
Using a log-normal failure rate distribution for worst case bound
reliability prediction,
- P.G. Bishop and R.E. Bloomfield
An iterative scheme for maximum likelihood estimation in software
reliability modeling,
- H. Okamura, Y. Watanabe and T. Dohi
Fault correction profiles,
- N. F. Schneidewind
3C. Fast Abstracts II:
Network/Distributed systems reliability engineering; Validation/Verification
http://www.cs.colostate.edu/~malaiya/issre/fastabstracts.html
6:30-8:00 Banquet
=== Thurssday, 11/20/2003 Research Day 2 ===
8:30-9:30 Keynote: Prof. Barry Boehm
10-00 - 11:30 Parallel Sessions
4A. Empirical Studies
Early warning of failure through alarm analysis - a case study in telcom
voice mail systems,
- D. Levy, R. Chillarege
Reducing wasted development time via continuous testing
- D. Saff, M. D. Ernst
User-oriented reliability modeling for a web system,
- W.-L. Wang and M.-H. Tang
4B. Architectural Approaches I
Assessing uncertainty in reliability of component--based software systems,
- K. Goseva-Popstojanova and S. Kamavaram
When does it pay to make software more reliable?,
- E. Stoker and J. B. Dugan
Test adequacy assessment for UML design model testing,
- S. Ghosh, R. France, C. Braganza, N. Kawane, A. Andrews, O. Pilskalns
4C. Panel
1:00-2:30 Parallel Sessions
5A. Software Testing
A parametrized cost model to order classes for class-based
testing of c++ applications,
- B. A. Malloy, P. J. Clarke and E. L. Lloyd
Exploiting symmetries to test programs,
- A. Gotlieb
Non-intrusive debug technique for embedded programming,
- L. J. Moore, A. R. Moya
5B. Architectural Analysis II
Composition analysis of qos properties for adaptive integration of
embedded software components,
- H. Ma, I-L. Yen, F. Bastani, K. Cooper
Augmenting simulated annealing to build interaction test suites,
- M. B. Cohen, C. J. Colbourn, A. C.H. Ling
Darx - a framework for the fault-tolerant support of agent software,
- O. Marin, M. Bertier, P. Sens
5C. Fast Abstracts III:
Software Reliability: Architecture, Practice and tools
http://www.cs.colostate.edu/~malaiya/issre/fastabstracts.html
3:00-4:30 Parallel Sessions
6A. Metrics
Investigating java type analyses for the receiver-classes testing criterion,
- P.-L. Brunelle, E.e Merlo, G. Antoniol
Incremental dynamic impact analysis for evolving software systems,
- J. Law, G. Rothermel
A comparison of coverage-based and distribution-based techniques for
filtering and prioritizing test cases,
- D. Leon, A. Podgurski
6B. Probabilistic Analysis
Integrating software into PRA,
- B. Li, M. Li, S. Ghose, C. Smidts
New quality estimations in random testing,
- S. Mankefors, R. Torkar, A. Boklund
Maximizing interval reliability in operational software system with
rejuvenation,
- H. Suzuki, T. Dohi, N. Kaio and K. S. Trivedi
6C. Fast Abstracts IV:
Software Testing: Methodology, Effectiveness and Empirical Studies
http://www.cs.colostate.edu/~malaiya/issre/fastabstracts.html
4:40 - 5:30: Closing remarks, ISSRE 2004 Overview
=== Registration ===
To qualify for early registration discounts, your registration form and
payment
must be received by 5:00pm Eastern Time, Monday, 27 October 2003.
Registrations received between 27 October and 10 November will be charged
at the late registration rate. To register please visit:
http://issre2003.cs.colostate.edu/
==== IEEE Computer Society, Reliability Society =====
=== Support Ack: Microsoft, IBM, Sun, Cigital =====