From: Jurgen Vinju
To:
Date: Fri, 16 Nov 2007 09:35:42 -0500
Subject: PEM Announcement: Jens Calame on "BAiT: Behavior-adaptation in Testing"

Dear all,

I hereby cordially invite you to a Programming Environment Meeting (PEM).
This time Jens Calame will be presenting work on "BAiT:
Behavior-adaptation in Testing".
The talk will be on Thursday 22nd November, 10:00. Location details
will be announced shortly.

Title: "BAiT: Behavior-adaptation in Testing"
Abstract:

Conformance testing is one of the most rigorous and well-developed
testing techniques. Model-based test generation is an essential part of
the conformance testing approach. The main problem in this phase is the
explosion of the number of test cases, often caused by large or infinite
 data domains for input and output data. In order to solve this problem,
we proposed a test generation framework based on the use of data
abstraction and constraint solving to suppress the number of test cases.

In this presentation, we will give an overview on the test generation
and execution process BAiT, which is based on this test generation
framework. We will then show the practical use of the BAiT test
execution unit with an example and describe the tool's internal
structure and possibilities to extend it by plugging in custom
algorithms for test trace and test data selection. Finally, we will give
an insight into the ongoing work on a case study (test of the Mozilla
Firefox CSS Box Model).


Hope to see you all there!

Cheers,

Tijs van der Storm