In September 1998, the first UK Testing Research Workshop was held at York attended by 30 UK academics and industrialists with a special interest in software testing research. Since then, the testing community has heartily engaged in specific networks such as the EPSRC's SEMINAL and FORTEST. There is no doubt that UK interest in testing is greater now than in 1998. However, there is no obvious forum for software testing in general.

UK Testing Research II is intended as the first in a series of annual UK national workshops. This will be held at the Department of Computer Science at York 4-5 September 2003. It is anticipated that the 2004 Workshop will be at Brunel University, and the 2005 workshop will be at Sheffield University.

Publication of Papers.

Organisers

• General Chair: Rob Hierons.
• Programme Chair: Mark Harman.
• Local Organiser: John Clark.

Registration

Invited Speakers

• Professor Cliff Jones, University of Newcastle
• Professor Ian Hayes, University of Queensland

Provisional Programme

• 9.30 Arrival and Coffee.
• 9.50 Introduction
• 10.00 Invited Talk. Cliff Jones. "How can design abstractions be used in testing?"
• 10.50 Questions and discussion.
• 11.00 Short break for Coffee
• 11:15 Paper session 1: Techniques and evaluation
• Five papers: 15 minutes per paper
  • Preamble Computation in Automated Test Case Generation using Constraint Logic Programming -Séverine Colin, Bruno Legeard and Fabien Pereux.
  • An Automated Test Data Generation Tool Using Tabu Search -Eugenia Díaz, Javier Tuya and Raquel Blanco
  • Mutation Testing: An Artificial Immune System Approach -Peter May, Keith Mander and Jon Timmis
  • Experimental Evaluation of the Tolerance for Control-Flow Test Criteria -Kalpesh Kapoor and Jonathan Bowen
  • A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams -R Paige, J.S. Ostroff and P.J. Brooke.
• 12:30 Discussion
• 13:00 Lunch
• 14:30 Paper session 2: Formal Models and Approaches to Testing
• Four papers: 15 minutes per paper
  • Phase Semantics of MSC Traces -Bill Mitchell, Robert Thomson, Clive Jervis and Paul Bristow.
  • Refinement in Statechart Testing -Kirill Bogdanov and Mike Holcombe
  • Model-Based Trace-Checking -Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira and Juan Carlos Augusto
  • Multi Stream X-Machines: a basis for testing VHDL Designs -Salim Vanek, Mike Holcombe amd Luke Seed
• 15.30 Discussion
• 16:00 Coffee
• 16:30 Brainstorm/working session
• 17.30 Close

• 09.30 Coffee available
• 10:00 Invited Talk. Ian Hayes. "Program Paths for Testing and Timing"
• 10.50 Questions and discussion.
• 11.00 Short break for Coffee
• 11.15 Paper session 3: Tools and experience
• Four papers: 15 minutes per paper
  • Next Generation Testing Tools for Embedded Applications. Alain Deutsch (Yves Genevaux).
  • Black-box Testing of Reactive Synchronous Software -L. du Bousquet, F. Ouabdesselam, I. Parissi, J-L Richier and J . Vassy
  • Limits to Testing: Limits to Test Automation -Ian Gilchrist
  • ATIFS: a Testing Toolset with Software Fault Injection - Eliane martins, Ana Maria Ambrosio and Maria de Fátima Mattiello-Francisco.
• 12.15 Discussion
• 12:45 Lunch
• 14:15 Industrial Panel
  • Chair : Marc Roper
  • Panelists: James Stewart (IBM), Ian Craggs (IBM), Ian Gilchrist (IPL)
• 15:15 Short break for coffee
• 15:30 Paper session 4: Processes and Methods for Testing
• Four papers: 15 minutes per paper
  • Review of Traceability Models for Software Testing Processes -Martins Gills
  • Java Bytecode Static Analysis: Deriving Structural Testing Requirements A.M.R. Vincenzi, M.E. Delamaro, J.C. Maldonado and W.E. Wong.
  • Identifying the Relevant Information for Software Testing Technique Selection - S. Vegas
  • The W-method for refinement of finite state machines -F. Ipate, T. Bălănescu, M. Gheorghe and M. Holcombe.
• 16.30 Discussion
• 17.00 Closing session: Next steps
• 17.30 Close

Programme Committee

• Kirill Bogdanov (Sheffield University)
• Jonathan Bowen (South Bank University)
• John Clark (York University)
• Tony Cowling (Sheffield University)
• John Derrick (University of Kent at Canterbury)
• Isabel Evans (IETesting)
• Ian Gilchrist (IPL)
• Mark Harman (Brunel University)
• Keith Harrison (Praxis Critical Systems)
• Rob Hierons (Brunel University)
• Mike Holcombe (Sheffield University)
• Bryan Jones (Derby University)
• Bev Littlewood (City University)
• Stuart Reid (Cranfield University)
• Marc Roper (Strathclyde University)
• Nigel Tracey (Live Devices)
• Ken Turner (Stirling University)
• Harman Strathmer (Daimler Chrysler)
• Joachim Wegener (Daimler Chrysler)
• Martin Woodward (Liverpool University)

Workshop Scope

Authors are invited to submit papers describing original research in testing or analysis of computer software. Papers describing theoretical or empirical research, new techniques and tools, and in-depth case studies of software testing and analysis methods and tools are welcome. This will include but is not limited to:

• Theory of testing (Adequacy criteria, Relationships between testing and formal methods etc.)
• Test data generation strategies (black-box, white-box, state based etc.) and techniques (evolutionary, model checking, constraint logic programming approaches etc.).
• Testing non-functional requirements
• Industrial experience reports
• Process issues and methods
• Test environments, systems and tools

Submission of Papers

Important Dates

• Sumbission: April 30th 2003 (extended to 14th May 2003)
• Notification of Acceptance: 18th June
• Workshop: September 4-5 2003

Authors of accepted papers are expected to attend.