Runtime Verification and Monitoring

["Wolfgang Grieskamp" <wrwg AT microsoft.com>]

       [Apologies if you receive multiple copies of this mail]



                       CALL FOR PAPERS

                       1st Workshop on 
   MODEL-BASED TESTING AND OBJECT-ORIENTED SYSTEMS (M-TOOS)
         Affiliated with OOPSLA 2006, October 23, 2006 

       http://research.microsoft.com/conferences/mtoos06

         Wolfgang Grieskamp (Microsoft Research, Redmond) 
       Debra Richardson (University of California -- Irvine) 
          Clay Williams (IBM T.J. Watson Research Center)


WORKSHOP THEME

Model-based testing of systems has long been a goal of the testing
research community, and many paradigms have been proposed and
developed.  However, while model-based testing approaches are successfully 
used in industry, they have yet to be adopted as mainstream practices.
This workshop will explore the impact of object-orientation on model-based
testing, as it affects both the creation of test generation tools, and
the application of tools to object-oriented systems.  Our primary
purpose is to identify the key challenges to widespread use of model-
based testing approaches for testing object oriented software, and to
determine possible ways that object-orientation (and other approaches)
may be helpful in overcoming these challenges.

The main theme of this workshop is simple: to determine how
model-based testing can be made a widespread practice, particularly in
the era of object-oriented systems.  Object-oriented languages (C++,
C#, Java) now dominate software development, and object-oriented
systems are pervasive.  Object-orientation brings both significant
advantages (clean encapsulation of data and behavior, well-specified
APIs) and challenges (run time polymorphism and dynamic binding,
dynamic object creation, reflection, callbacks, threading) to the
testing enterprise.  To help determine potential directions for
enhancing the use of model-based testing techniques in industry, we
will solicit position papers related to (but not limited to) the
following topics.

*   Modeling languages and model creation
*   Modeling object-oriented constructs and concerns
*   Model representation and analysis
*   Test generation and selection
*   Use of object-orientation in test generation tools
*   Support for testing within object-oriented languages and platforms

Papers should discuss important issues and inhibitors in one or more
of these areas for the use of model-based testing.  They should also
propose approaches (or a process for developing approaches) to
overcome these issues.  All papers must be submitted electronically in
PDF format, and must not exceed 8 pages in the ACM proceedings format.
Please go to the conference web site
(http://research.microsoft.com/conferences/mtoos06) for electronic
submissions.


IMPORTANT DATES

Submissions Due:    September 3, 2006 
Notifications:      September 24, 2006 
Final Copies Due:   October 13, 2006 
Workshop:           October 23, 2006

PROGRAM COMMITEE

Lionel Briand,  Carleton University, Canada
Wolfgang Grieskamp, Microsoft Research, USA
Antti Huima, Conformiq Software Ltd., Finland
Atif Memon, University of Maryland, USA
Henry Muccini, Universita dell'Aquila, Italy
Alexandre Petrenko, CRIM, Canada
Debra Richardson, University of California - Irvine, USA
Harry Robinson, Google, USA
Vlad Rusu, INRIA, France 
Mark Utting, University of Waikato, New Zealand
Willem Visser, RIACS/NASA Ames Research Center, USA            
Clay Williams, IBM T.J. Watson Research Center, USA


SUBMISSIONS

All papers must be submitted electronically in PDF format, and must not 
exceed 8 pages in the ACM proceedings format. Accepted contributions will be 
published as a citable technical report which will be made available online 
and to the participants of the workshop. Selected workshop contributions may 
be invited for extended publication after the workshop.