2nd Workshop on
Advances in Model-based Software Testing
co-located with the
17th IEEE International Symposium on Software Reliability Engineering
ISSRE 2006

November 7, 2006 - Raleigh, North Carolina, USA

Workshop Organization

Mikhail Auguston, 
Bret Michael

  Naval Postgraduate School, USA

Steering Committee

Larry Bernstein
  Stevens Inst. of  Technology, USA
Lionel Briand
   Carleton University, Canada
Siddhartha R. Dalal
      Xerox Corporation, USA
Mary Jean Harrold
   Georgia Tech, USA
Connie Heitmeyer
  Naval Research Laboratory, USA
Ashish Jain
   Telcordia Technologies, USA
Christopher Robinson-Mallet
   Fraunhofer IESE, Germany
Aditya Mathur
   Purdue University, USA
Jesse Poore     
    University of Tennessee, USA

Program Committee

Roger Alexander
Washington State University, USA
Mikhail Auguston
Naval Postgraduate School, USA
Larry Bernstein
  Stevens Inst. of  Technology, USA
Robert Binder
mVerify, USA
Lionel Briand
Carleton University, Canada
Charles Colbourn
Arizona State University, USA 
Jerry Gao        

      San Jose State University, USA

Sudipto Ghosh        
Colorado State University, USA
Alan Hartman
IBM Research, Israel
Connie Heitmeyer
Naval Research Laboratory, USA
Rob Hierons       
Brunel University, UK
Ashish Jain
Telcordia Technologies, USA
Cem Kaner  
 Florida Inst. of  Technology
, USA 
Sari Leppänen        
    Nokia Research Center, Finland

Bret Michael
Naval Postgraduate School, USA
Jeff Offutt        
George Mason University, USA
Robert Oshana
Texas Instruments, USA
Alexander Pretschner
ETH Zürich, Switzerland
Harry Robinson
Christopher Robinson-Mallett
Fraunhofer IESE, Germany
Jeffrey Voas
      SAIC, USA

For workshop registration, hotel reservations, and visa letter requests, please refer to details at ISSRE 2006 website.

Workshop Proceedings will be published in the ACM Digital Library (most probably in ACM SIGSOFT Software Engineering Notes.) A special issue of Software Quality Journal ( Springer US ) based upon the workshop submissions is planned. Selected authors will be invited to submit an extended paper for the journal after the workshop presentations.

Workshop Program
November 7 - Joint A-MOST'06/WOSA workshop

8:30 Opening

8:40 - 9:40 Keynote presentation.
Jeff Voas, A Baker's Dozen: 13 Grand Software Engineering Challenges

9:45 - noon, A-MOST'06 presentations

1. Myra B. Cohen, Joshua Snyder and Gregg Rothermel
Testing Across Configurations: Implications for Combinatorial Testing

2. Christopher Robinson-Mallett, Robert M. Hierons and Peter Liggesmeyer
Achieving Communication Coverage in Testing

3. Gordon Fraser and Franz Wotawa,
Property Relevant Software Testing with Model-Checkers

4. André Figueiredo, Wilkerson Andrade and Patrícia Machado
Generating Interaction Test Cases for Mobile Phone Systems from Use
Case Specifications

12:00 - 1:30 pm Lunch

1:30- 3:45, WOSA presentations

1. Mikhail Auguston, Bret Michael, Mantak Shing
Automated Scenario Generator for Real-time Reactive Software Testing
and Safety Assurance Assessment

2. Pete Rotella,
The Downstream Influence of Key Development Practices

3. Rick Kuhn,
Automated Combinatorial Testing for Software

4. Pierre Parrend,
A Set of Metrics for the Assessment of Security Vulnerabilities and
Protection Mechanisms: Their Application in Component-based Software Systems

5. Bernard P. Zeigler, Saurabh Mittal, Eddie Mak, Moon Ho-Hwang, Phillip Hammonds,
Dasia Benson, Brett Lindskog, Stephanie Jarboe, Kim Nunn, Dale Fulton,
Using Discrete Event Modeling and Simulation to Automate Testing
in a Net-Centric Environment

4:00 - 4:30 Panel discussion

Workshop Themes and Goals

Model-based testing automation is a promising approach for achieving effective software testing. Models of systems under test and their environments may focus on particular aspects of the requirements and thus facilitate productive testing.  It stems from OMG's MDA modelling of software systems, from the increasing availability of tools for modelling, industry standards using MOF (Meta-Object Facility) and its popular instance UML (Unified Modelling Language). Modelling, however, still requires a substantial investment, and practical and scalable model-based testing solutions can help leverage this investment. Declarative specifications are a prerequisite for model-based testing. Models or meta-data are becoming more formal and platform-independent, such as XML schemas, workflow specifications, and business rules.

The goal of this workshop is to bring together researchers and practitioners to discuss the current state of the art and  practice as well as future prospects for model-based software testing.  We invite submissions of full-length papers that describe new research, tools, technologies, and industry experience, as well as position papers.  Topics of interest include, but are not limited to:


  • Model-based test case generation
    • Finite State Machines, Grammars, Statecharts, Sequence Diagrams, Event Grammars
  • OMG's MDA
  • Markov Models
  • Combinatorial Designs
  • System models, such as those for embedded systems and systems-of-systems
  • Executable Models and Simulation, models-in-the-loop
  • Environment Models


  • Test Generation Algorithms
  • Models as test oracles, Run-Time Monitoring
  • Balanced use of static and dynamic QA-methods
  • Tracing Requirements to Test Cases
  • Test Management Systems
  • Performance and reliability of model-driven development
  • Formal ways to link use cases to test cases


  • Estimating Dependability (e.g., security, safety, reliability)
  • Model-based test coverage metrics and measurements
  • Risk Assessment
  • Return on Investment
  • Case Studies
  • Test Stopping Criteria
  • Test case minimization based on model-driven development

 The 1st A-MOST Workshop was  co-located with the ICSE'05
  in St. Louis, Missouri - USA, May 15-16, 2005

Submission Guidelines: Papers should be submitted in PDF format and should not exceed ten pages (including all text, figures, references and appendices).  Please clearly indicate whether the paper is a research paper, an experience report, or a position paper. The results described must be unpublished and should not be under review elsewhere. Each submitted paper must conform to the IEEE Format and Submission Guidelines described at http://www.tinmith.net/tabletop2006/IEEE/Format/instruct.htm
For the submission please ensure that your papers have page numbers.

Review Process: At least three members of the Program Committee will review each submission for technical quality and for compliance with the workshop objectives.

Electronic submissions are now open! Click here to submit to A-MOST!

For more information, contact Mikhail Auguston at  maugusto@nps.edu

Important Dates

Workshop paper submission deadline                  August 14,         2006
Author notification                                               September 11,   2006
Final publication ready submission                       October  2,        2006
Workshop                                                          November  7, 2006