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.
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.
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.
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.
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.
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.
Nigel Tracey
An Automated Framework for Test-Data Generation
The University of Glamorgan, UK,. October 1998.
MS-Powerpoint.
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.
Simon Burton
Automated V&V for High Integrity Systems: A Targeted Formal Methods
Approach
Goldsmiths College, London, March 2000.
MS-Powerpoint.
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
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
Maintained by:
Nigel Tracey.