Publications

This page contains electronic copies of publications from members of the TestSIG here at the Department of Computer Science, University of York. The publications are split into a number of categories. some of the publications may only be accessable locally, if this is the case then the best way to obtain a copy is to contact the author directly.

Feedback, comments and views are welcomed by the authors. Also details of work which builds on or is related to any of these publications is of interest, with the aim of co-operation and sharing experiences to further the cause of software testing research and practice.

Journal Papers

1999

Darren Buttle, John Clark, John McDermid, Alan Stephenson and Nigel Tracey
CONVERSE: A Change-Oriented Process for Engine Controllers.
IEE Software. Vol. 146(3)130-136, June 1999.
BibTeX Entry, or MS-Word.

2000

Nigel Tracey, John Clark, Keith Mander and John McDermid
Automated test-data generation for exception conditions
Software Practice and Experience, 30(1)61-79, January 2000.
Abstract, BibTeX Entry, PDF, or Postscript.

Conference Papers

1998

Nigel Tracey, John Clark and Keith Mander.
The Way Forward for Unifying Dynamic Test-Case Generation: The Optimisation-Based Approach.
In the Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA). South Africa, January 1998. Pages 169-180.
Abstract, BibTeX Entry, PDF, or Postscript.

Nigel Tracey, John Clark and Keith Mander.
Automated Program Flaw Finding using Simulated Annealing
In Software Engineering Notes Issue 23 Number 2, the Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). USA, March 1998. Pages 73-81.
Abstract, BibTeX Entry, PDF, or Postscript

Nigel Tracey, John Clark, Keith Mander and John McDermid.
An Automated Framework for Structural Test-Data Generation.
In the Proceedings of the 13th IEEE Conference on Automated Software Engineering (ASE). Hawaii, USA, October 1998.
Abstract, BibTeX Entry. Full-Paper : PDF, Postscript. Short-Paper : IEEE Copyright, PDF, Postscript.

John McDermid, Andy Galloway, Simon Burton, Ian Toyn, Nigel Tracey and Sam Valentine.
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap.
In the Proceedings of IEEE ICFEM (International Conference on Formal Engineering Methods). December 1998.
Abstract, BibTeX Entry or Postscript.

1999

Nigel Tracey, Alan Stephenson, John Clark and John McDermid.
A Safet Change Oriented Process for Safety-Critical Systems
In the Proceedings of Software Change and Evolution Workshop. IEEE International Conference on Software Engineering. May 1999.
Abstract, BibTeX Entry, PDF, or Postscript.

Nigel Tracey, John Clark, John McDermid and Keith Mander.
Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
In the Proceedings of 17th International System Safety Conference. August 1999. Pages 128-137.
Abstract, BibTeX Entry or MS-Word.

Sun-Woo Kim, John Clark, and John McDermid.
Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation
In the Proceedings of Symposium on Software Technology (SoST'99). Pages 72-83, September 1999.
Abstract or Postscript.

Nigel Tracey, John Clark, Keith Mander and John McDermid.
Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems
In the Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society. November 1999.
Abstract, BibTeX Entry, PDF or Postscript.

Sun-Woo Kim, John Clark, and John McDermid.
The Rigorous Generation of Java Mutation Operators Using HAZOP
In the Proceedings of the 12th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS (ICSSEA'99). December 1999
Abstract or Postscript.

2000

Simon Burton, John Clark and John McDermid.
Testing, Proof and Automation. An Integrated Approach
In the Proceedings of the 1st International Workshop of Automated Program Analysis, Testing and Verification. June 2000.
Abstract, BibTeX Entry, PDF or Postscript.

Simon Burton, John Clark, Andy Galloway and John McDermid.
Automated V&V for High Integrity Systems: A Targeted Formal Methods Approach
In the Proceedings of the 5th NASA Langley Formal Methods Workshop. June 2000.
Abstract, BibTeX Entry, PDF or Postscript.

Seminar Presentations

1998

Nigel Tracey
An Automated Framework for Test-Data Generation
The University of Glamorgan, UK,. October 1998.
MS-Powerpoint.

1999

Nigel Tracey
Integrated Tool-Supported Verification Framework for High Integrity Software: Domain Experience with EEC Software
Software Verification Research Centre, The University of Queensland, Australia. November 1999.
MS-Powerpoint.

1999

Simon Burton
Automated V&V for High Integrity Systems: A Targeted Formal Methods Approach
Goldsmiths College, London, March 2000.
MS-Powerpoint.

Technical Reports

1999

Simon Burton.
Towards Automated Unit Testing of Statechart Implementations
Technical Report (YCS 319), Department of Computer Science, University of York, UK. August 1999.
Abstract, BibTeX Entry, Postscript, or PDF

Research Reports

Sun-Woo Kim.
Dynamic User Interface Environment
MSc Dissertation, Department of Computer Science, Keele University, UK. September 1997.
Abstract, or Postscript

Nigel Tracey.
Test-Case Data Generation Using Optimisation Techniques
1st Year DPhil Report, Department of Computer Science, University of York, UK. June 1997.
Abstract, BibTeX Entry, PDF, or Postscript

Nigel Tracey.
Automated Test-Data Generation
2nd Year DPhil Report, Department of Computer Science, University of York, UK. March 1998.
BibTeX Entry, PDF, or Postscript

Sun-Woo Kim.
Testing Object-Oriented Programs Using Mutation Techniques
1st Year Qualifying Dissertation, Department of Computer Science, University of York, UK. June 1998.
Abstract or Postscript

Nigel Tracey.
A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software
DPhil Thesis (Draft), Department of Computer Science, University of York, UK. 2000.
Postscript

Internal/Progress Reports

Maintained by:
Nigel Tracey.