Call for Papers for the Fifth International Workshop on FORMAL APPROACHES TO TESTING OF SOFTWARE (FATES 2005) In affiliation with the 17th International Conference on COMPUTER AIDED VERIFICATION (CAV 2005) University of Edinburgh, Scotland, UK, July 11, 2005 _Extended submission deadline is April 11_ Objective and Scope Software testing is one of the most cost-intensive tasks in the modern software production process. The application of formal approaches to the testing process has gained steady attention in recent years. Effective and efficient test cases may be generated automatically from formal system models and specifications or be developed based on a formal analysis of the system. Formal approaches to testing of software use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing. The aim of the FATES workshop series is to be a forum for researchers, developers, and testers to discuss the state of the art in theory, application, tools and industrialization of formal approaches to 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 testing techniques in OO, extreme programming, aspect oriented programming, etc. * Different types of testing: functional, interoperability, performance, security, robustness, etc. * Different formal models: automata, logical, process algebra, algebraic data types, grammars, Markov-chains, etc. * Different modeling languages: UML, SDL, MSC, LOTOS, Z, VDM, TTCN-3, Timed Automata, synchronous languages, etc. * Different application areas: communication systems, control systems, embedded software, Web-based systems, sensor networks, etc. * Different algorithms related to testing for model and program analysis: automatic partitioning, coverage analysis, test derivation (online and offline), test data selection, etc. * Different testing tools based on formal methods and application experiences. With formal approaches to testing becoming more mature, the focus of the workshop is not only on research approaches, but especially on the application and industrialization of formal testing methodologies. Thus FATES 2005 invites in addition to research papers, experience reports and work-in-progress papers submission which describe applications and industrialization of testing methodologies, with a clear outline of the theoretical background and the benefits and drawbacks of the application. Submissions Each submission must explain the contribution and novelty in the field making clear the current status of the work. The following types of contributions to FATES are solicited: * Research papers (up to 15 pages) * Application and industrialization studies (up to 15 pages) * Experience reports (up to 15 pages) * Work-in-progress or position papers (up to 8 pages) If a submission is not a research or application paper, the kind of submission (i.e., experience report, work-in-progress paper, or position paper) has to be stated explicitly before the title on the first page of the document. All contributions will be reviewed by the Program Committee for technical quality and for compliance with the workshop objectives. All articles have to be submitted electronically in PDF format (see http://research.microsoft.com/conferences/fates2005/ for where to submit) and have to follow the Springer LNCS paper format (http://www.springer.de/comp/lncs/authors.html). For the submission please ensure that your papers have page numbers. Accepted papers will be published in post-workshop proceedings by Springer in the LNCS series (http://www.springeronline.com/lncs), and distributed as a technical report among the participants of the workshop. Important dates * Deadline for submissions (Extended): April 11, 2005 * Notification of acceptance: (Postponed) May 27, 2005 * Workshop proceedings version: June 13, 2005 * Workshop: July 11, 2005 * LNCS proceedings version: approx. September 2005 Program Committee Co-Chairs Wolfgang Grieskamp, Microsoft Research, Redmond, USA e-mail: wrwg@microsoft.com, phone: +1 425 707 5740 home page: http://research.microsoft.com/users/wrwg Carsten Weise, Ericsson GmbH, Research and Development, Aachen, Germany e-mail: carsten.weise@ericsson.com, phone: +49 2407 575 638 home page: http://www.cweise.de/research/ Program Committee * Simon Burton, DaimlerChrysler AG, Germany * Rachel Cardell-Oliver, University of Western Australia, Australia * Marie-Claude Gaudel, Université de Paris-Sud, France * Jens Grabowski, University of Goettingen, Germany * Wolfgang Grieskamp, Microsoft Research, USA (chair) * Klaus Havelund, Kestrel Technology, NASA Ames Research Center, USA * Robert M. Hierons, Brunel University, UK * Thierry Jéron, IRISA/INRIA, France * Victor Kuliamin, Institute for System Programming, Russian Academy of Science, Russia * David Lee, Ohio State University, USA * Brian Nielsen, Aalborg University, Denmark * Manuel Nunez, Universidad Complutense de Madrid, Spain * Jeff Offutt, George Mason University, USA * Doron Peled, University of Warwick, UK * Alexandre Petrenko, Computer Research Institute of Montréal, Canada * John Rushby, SRI International Computer Science Laboratory, USA * Ina Schieferdecker, Fraunhofer FOKUS, Berlin, Germany * Jan Tretmans, Radboud University Nijmegen, The Netherlands * Andreas Ulrich, Siemens AG, Corporate Technology, Munich, Germany * Mark Utting, Waikato University, New Zealand * Carsten Weise, Ericsson GmbH, Research and Development, Germany (chair) * Clay Williams, IBM T. J. Watson Research Center, USA * Burkhart Wolff, ETH-Zürich, Switzerland * Jianping Wu, Tsinghua University, Beijing, China Further Information For further information see the FATES 2005 Web site (http://research.microsoft.com/conferences/fates2005/), the CAV 2005 Web site (http://www.cav2005.inf.ed.ac.uk), or contact directly one of the program committee co- chairs.