First Call for Papers:
3rd Int'l Workshop on Formal Approaches to Testing of Software (FATES 2003, http://www.crim.ca/fates/)
In affiliation with the 18th IEEE Int'l Conference on Automated Software Engineering (ASE 2003)
Montreal, Canada, October 6th, 2003
Objective and Scope
The aim of the 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 topics of interest include:
* Different techniques in testing: combined verification and testing approaches, analysis techniques that support testing, black-box testing, integration testing, etc. * Different aspects of testing: test derivation, test selection, test implementation and execution, test result analysis, test stop criteria, etc. * Different types of testing: functional, interoperability, performance, security, robustness, etc. * Different formal models: automata, logical, process algebra, algebraic data types, etc. * Different modeling languages: UML, SDL, MSC, LOTOS, Z, VDM, TTCN-3, etc. * Different application areas: communication systems, control systems, embedded software, Web-based systems, etc.
Important dates
* Submission deadline: July 9, 2003 * Notification of Acceptance: August 22, 2003 * Camera ready copies: September 14, 2003 * Workshop: October 6, 2003
Program Committee Co-Chairs
* Alexandre Petrenko, Computer Research Institute of Montreal (CRIM), Canada; e-mail: petrenko@crim.ca, phone: +1 (514) 840 1290 * Andreas Ulrich, Siemens AG, Corporate Technology, Munich, Germany; e-mail: andreas.ulrich@siemens.com, phone: +49 (89) 636 47018
Further information http://www.crim.ca/fates/