Program: November 3, 2004

	Legend
Keynote	Regular Session	Industry Practice	Fast Abstracts	Student Paper	Panel

8:30am - 9:30	Keynote: "Mobile Information System Reliability Challenges," Robert V. Binder
9:30 - 10:00	Coffee Break
10:00 - Noon	Testing I	Reliability I	Tools & Automation I
Noon - 2:00pm	Lunch
2:00 - 2:30	Reliability Assessment	Testing Techniques	Model Based Approaches	Reliability Modeling
2:30 - 3:00
3:00 - 3:30			Empirical Studies
3:30 - 4:00	Applying Formal Methods
4:00 - 4:30	Coffee Break
4:30 - 5:00	Applying Formal Methods	Industry Practice Panel 1	Reliability Metrics	Reliability
5:00 - 5:30
5:30 - 6:00	UML Applications	Industry Practice Panel 2		Testing
6:00 - 6:30

Keynote Speaker: Robert V. Binder

Mobile Information System Reliability Challenges

Mobility will dominate the use of information technology in the 21st century. In the next few years, a mobile technology wave even bigger than the Internet will be upon us. You've probably experienced bad cell phone connections or used desktop software that crashed or ate your files. Now imagine putting them together. Even if thousands of full-time testers carrying smart phones could walk around saying "can you hear me now," they couldn't begin to get all the bugs out. This talk outlines new challenges for reliability in mobile systems and presents a strategy to achieve high reliability through automated profile-based testing.

Biography

Mr. Binder is CEO of mVerify Corporation and has over 28 years of software and systems engineering experience. He is an internationally recognized software test expert and author of the definitive Testing Object-Oriented Systems: Models, Patterns, and Tools. Binder holds an MS in Electrical Engineering and Computer Science from the University of Illinois at Chicago and a MBA from the University of Chicago. He is an IEEE Senior Member.

Session 1A: Testing I

Unit Testing in Practice
J. Bridges

Deriving test sets from partial proofs
G. Lussier, H. Waeselynck

A generic method for statistical testing
A. Denise, M. Gaudel, S. Gouraud

Statistical Software Testing with Parallel Modeling: a Case Study
R. Weber

Session 1B: Reliability I

Reliability Growth in Software Products
P. Jalote, B. Murphy

Reliability Estimation for Statistical Usage Testing using Markov Chains
H. Le Guen, R. Marie, T. Thelin

Validation of a Methodology for Assessing Software Reliability
M. Li, Y. Wei, D. Desovski, H. Nejad, S. Ghose, C. Smidts

Performability Modeling of Mobile Software Systems
P. Bracchi, V. Cortellessa, B. Cukic

Session 1C: Tools & Automation I

Reducing Coverage Collection Overhead With Disposable Instrumentation
K. Chilakamarri, S. Elbaum

A Comparison of Bug Finding Tools for Java
N. Rutar, C. Almazan, J. Foster

Coverage Metrics for Continuous Function Charts
V. Alyokhin, B. Elbel, M. Rothfelder, A. Pretschner

GERT: An Empirical Reliability Estimation and Testing Feedback Tool
M. Davidsson, N. Nagappan, L. Williams, M. Vouk

Reliability Assessment

Achieving Reliable, Dependable, and Mature Software in Large-Scale Undersea Combat Systems
Kevin Mattos, Mark Zingarelli, Denis Coffey

Managing Reliability of High Integrity Systems
William Everett, Harold Wilson, Randall Johnson, James Widmaier, David Cooper

Dependability Benchmarking of Real-Time Kernels for Onboard Space Systems
Francisco Moreira, Diamantino Costa, Manuel Rodriguez

Testing Techniques

Assessment of Unitary Testing Campaign
Pierre Morère

The MUTATION Project: Automated Functional Test Case Synthesis From Requirements
Veronique Normand, Bernard Botella

An Automatic Test Case Generator Engine
Miroslav Popovic

Effective Statistical Test Script Generation
Flavio Moreira De Oliveira, Bernardo Copstein

Model Based Approaches

Dependability analysis with UML and probabilistic timed automata
Nawal Addouche, Christian Antoine, and Jacky Montmain

Model-driven scenarios for real-time software
Ousmane Koné, University Paul Sabatier

Using conformance relations to help the development of state machines
Thomas Lambolais and Olivier Gout

Symbolic observation graph: An efficient structure for on-the-fly action-based linear time logic model checking
Serge Haddad, Jean-Michel Ilié, and Klai Kais

Agile development of a metamodel in Eiffel
Richard Paige, Phillip Brooke and Jonathan Ostroff

Reliability Modeling

Reliability Analysis of Large Reliable Networks
Yoseph Shpungin

Using Markov Models in Software Reliability Engineering
Antonio Rodriguez-Vargas

Optimizing Preventive Maintenance at Cisco
Robert Mullen

Performance Modeling and Load Testing
François Biard, David Elias, Françoise Hardange

Empirical Studies

Difficulties encountered doing empirical studies in an industrial environment
Thomas J. Ostrand and Elaine J. Weyuker

Using in-process metrics to predict defect density in Haskell programs
Mark Sherriff, Laurie Williams and Mladen Vouk

Using in-process testing metrics to estimate software reliability: A feasibility study
Nachiappan Nagappan, Laurie Williams, Mladen Vouk and Jason Osborne

Predicting runaway projects for reliable software developments using Bayesian classifier
Seiya Abe, Osamu Mizuno and Tohru Kikuno

Use of artificial neural networks in safety-critical systems
Andreas Tønnesen, Rune Winther, André Hauge

Applying Formal Methods

Realization of a control software of a mechanical press using B method
Pascal Lamy, Jean Paul Bello

Lessons learned from implementing TTCN-3 test automation solutions
Andrej Pietschker

Test Case Generation Guided by a coverage criterion on Formal Specification
Guy Durrieu, Christel Seguin, Virginie Wiels, Benjamin Blanc, Bruno Marre, Odile Laurent, Abdesselam Lakehal, Ioannis Parissis

Panel 1

Anything You Want to Ask About Software Reliability Engineering
Bob Binder, William W. Everett, Karama Kanoun, Dr. Michael R. Lyu, John D. Musa, Peter Santhanam, Dr. Norman F. Schneidewind, & Prof. Mladen A. Vouk

Reliability Metrics

Measuring Reliability of Products
Pankaj Jalote, Brendan Murphy, Mario Garzia and Ben Errez

Engineering Real-Time Embedded Software Field Quality
Michael Siok, Jeff Tian

End-to-end defect prediction
Jean-Jacques Gras, David McGaw

Reliability efficiency of defect-detection techniques: A field study
Stefan Wagner

UML applications

UML 2.0 for next generation wireless communications architecture design and validation: A case study.
Mohamed Fouz Menai, Gael Fromentoux & Jacques Legras

Large scale systems and Use case based analysis of natural language requirements
Khalid Lateef, Ganesh Pai, Joanne Bechta-Dugan

Panel 2

Key Software Reliability Related Problems from the Industry
the IP Program Committee: Jean-Paul Blanquart, Douglas Buettner, Khalid Lateef, Mod Marathe, Brendan Murphy, Yves-Marie Quemener, Peter Santhanam, & Andreas Ulrich

Reliability

Tool Support for Estimating Software Reliability in Haskell Programs
Mark Sherriff and Laurie Williams

Checkpointing for multithreaded object oriented applications
Carlos Hernández-López and Fernando Pérez-Costoya

Software Engineering Measures and Reliability: A Structural Classification Approach
Anand Ladda

Parameter Estimation for a Reliability Growth Model for Software Products
Vibhu S. Sharma

Towards Failure-tolerant Statechart
Jiong Zhou

Testing

Assessing N-Wise Approach For Use in System Security Testing
Kera Z. Bell, Mladen A. Vouk

An Analysis of Failure Occurrence Patterns during Testing and Operation
Hendrik Hoffmann and Kevin McDaid

An Evolutionary Testing Approach to detect Buffer Overflows
Tina del Grosso (supervised by Giuliano Antoniol and Massimiliano Di Penta)

Reformulating Test Generation as Genetic Search Problem
Yaniv Eytani

CEFSM based Test Case Generation for Concurrent Statecharts
Yongyan Zheng

Development of generic probes for functional and extra-functional diagnosis
Marouane Himdi