We apologize if you receive multiple copies.

*

---

*
* Call for Participation *
* *
* 4th International Workshop on *
* FORMAL APPROACHES TO TESTING OF SOFTWARE *
* FATES 2004 *
* *
* September 21, 2004, Linz, Austria *
* fates.cs.auc.dk *
*

---

*
In affiliation with the
19th IEEE International Conference on
AUTOMATED SOFTWARE ENGINEERING
(ASE 2004)



We invite you to join us at the fourth international workshop on formal
approaches to testing of software in Linz, Austria. The aim of the FATES
workshop is to be a forum for researchers, developers, and testers to discuss
latest ideas about the use of formal methods in software testing. The workshop
organizers try to ensure that plenty of time will be given for lively
discussions on recent advances in this area. The one-day technical programme
consists of presentations of 15 top quality technical papers.

The combination of formal methods and software testing is one of the most
challenging areas of research in computer science. Formal methods traditionally
aim at verifying and proving correctness of systems, while testing can only show
the presence of errors, but not their absence.

Formal methods support the specification and verification of software systems by
means of techniques derived from mathematics and logic, but the use of formal
methods is not restricted to the early development phases of a software system
only. The testing phases can benefit from formal methods as well. Effective and
efficient test cases may be generated automatically from formal system models or
be developed based on a formal analysis of the system. In addition, testing with
formal approaches proves to be a good starting point for introducing formal
methods into earlier phases of software development.

The 1st FATES Workshop was held in affiliation with CONCUR 2001 in Aalborg,
Denmark, the 2nd in affiliation with CONCUR 2002 in Brno, Czech Republic, and
the 3rd Workshop in affiliation with ASE 2003 in Montréal, Québec, Canada.


Program Committee Co-Chairs

Jens Grabowski, Institute for Informatics, University of Göttingen, Ge= rmany
e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it., phone: +49 (551) 3914690

Brian Nielsen, Department of Computer Science, Aalborg University, Denma= rk
e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it., phone: +45 (96) 35 88 83

Program Committee

Rachel Cardell-Oliver, The University of Western Australia, Crawley, Australia
Shing-Chi Cheung, Hong Kong University of Science and Technology, Hong K= ong
Marie-Claude Gaudel, Université de Paris-Sud, France Wolfgang Grieskamp,
Microsoft Research, USA Robert M. Hierons, Brunel University, UK Thierry
Jéron, IRISA/INRIA, France David Lee, Bell Labs, Beijing, China Jose Carlos
Maldonado, University of Sao Paulo, Brazil Manuel Nunez, Universidad Complutense
de Madrid, Spain Jeff Offutt, George Mason University, USA Alexandre Petrenko,
Computer Research Institute of Montréal, Canada Ina Schieferdecker, Fraunhofer
FOKUS, Berlin, Germany Jan Tretmans, University of Nijmegen, The Netherlands
Andreas Ulrich, Siemens AG, Corporate Technology, Munich, Germany Carsten Weise,
Ericsson Eurolab Deutschland GmbH, Germany Clay Williams, IBM Research, Thomas
J. Watson Research Center, New York,= USA

The technical program consist of presentation of the following top quality
papers:

* Using Model Checking for Reducing the Cost of Test Generation
Hyoung Seok Hong, Hasan Ural
* Symbolic Test Case Generation for Primitive Recursive Functions
Achim D. Brucker, Burkhart Wolff
* Testing COM Components Using Software Fault Injection and Mutatio= n
Analysis, and its Empirical Study
Hoijin Yoon, Eunhee Kim, Joo Yong Seo , Byoungju Choi
* Ordering Mutants to Minimise Test Effort in Mutation Testing
Kalpesh Kapoor, Jonathan P. Bowen
* Online Testing of Real-time Systems Using UPPAAL
Kim G. Larsen, Marius Mikucionis, Brian Nielsen
* Preserving Contexts for Soft Conformance Relation
David de Frutos Escrig , Carlos Gregorio-Rodriguez
* A test generation framework for quiescent real-time systems
Laura Brandán Briones, Ed Brinksma
* Semi-Formal Development of a Fault-Tolerant Leader Election
Protocol in Erlang
Thomas Arts, Koen Claessen, Hans Svensson
* Testing Deadlock-freeness in Real-time Systems; A Formal Approach
Behzad Bordbar, Kozo Okano
* High-level Restructuring of TTCN-3 Test Data
Gabor Batori, Dung Le Viet, Antal Wu-Hen-Chang, Dr. Gyula Csopaki
* Specifying and Generating Test Cases Using Observer Automata
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
* Test Generation Based on Symbolic Specifications
Lars Frantzen, Jan Tretmans, Tim Willemse
* An Automata-theoretic Approach for Model-checking
Gaoyan Xie, Zhe Dang
* Test Pattern with TTCN-3
Alain Vouffo-Feudjio, Ina Schieferdecker
* Testing of Symbolic-Probabilistic Systems
Natalia Lopez, Manuel Nunez, Ismael Rodriguez



A detailed technical programme will be available at fates.cs.auc.dk
Registration for the workshop is done via the Automated Software Engineering
registration system available at www.ase-conference.org/registration.html

Further Information

For further information see the FATES 2004 Web site (fates.cs.auc.dk/),
the ASE 2004 Web site (www.ase-conference.org/), or contact directly one
of the program committee co-chairs.
--
======================================================================
Prof. Dr. Jens Grabowski
Institute for Informatics phone: +49 551 39 14690
University of Goettingen fax: +49 551 39 14415
Lotzestrasse 16-18
DE-37083 Göttingen This email address is being protected from spambots. You need JavaScript enabled to view it.
(Germany) www.swe.informatik.uni-goettingen.de
======================================================================