Call for Participation - 1st Workshop on MODEL-BASED TESTING AND OBJECT-ORIENTED SYSTEMS (M-TOOS)



Call for Participation - 1st Workshop on MODEL-BASED TESTING AND OBJECT-ORIENTED SYSTEMS (M-TOOS)

From: Clay Williams <clayw_at_us.ibm.com>
Date: Tue, 10 Oct 2006 13:48:36 -0400
Message-ID: <OF12999109.8904B8A0-ON85257203.0061AF04-85257203.0061D5DA@us.ibm.com>
Apologies if you receive duplicate copies of this notice.

Clay E. Williams, PhD
Manager, Software Quality and Testing Research
IBM T.J. Watson Research Center
19 Skyline Drive
Hawthorne, NY 10532
Phone: 914-784-7457

----------------------------------------------------------------------------------------------------------------------------
 
        CALL FOR PARTICIPATION

                       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)

PLEASE NOTE: 
If you plan to participate in M-TOOS, or have questions about 
participation, please contact us by emailing 
m-toos-chairs@mailman.ics.uci.edu

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. 

WORKSHOP SCHEDULE
8:45 – 9:00  Welcome from the co-chairs 
9:00-10:00 Paper Presentations: 
        Model-Based Testing for Object-Oriented Programming Interfaces 
        Model Based Testing for Multi-Language APIs 
10:0-10:30  Break 
10:30-12:00  Paper Presentations: 
        Semi-Automatic Test Case Generation from CO-OPN Specifications 
        Finding the needles in the haystack: Generating legal test inputs 
for object-oriented programs 
        Scenario-based and State Machine-based Testing: An Evaluation of 
Automated Approaches 
12:00-1:00 Lunch 
1:00-2:30  Panel
2:30-3:00  Brainstorm session on key topics in model-based OO testing 
3:00-3:30  Break 
3:30-4:30  Break out groups on key topics 
4:30-5:00  Reports from groups and wrap up 

PROGRAM COMMITTEE

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



Received on Tue 10 Oct 2006 - 18:49:14 BST