FORTEST Workshop talks, June 17-18th 2002
Keith Mander / Jon Timmis, University of Kent
Vaccinating software against faults
[file: Keith_Mander.pdf]
Mark Harman, Brunel University
Improving Evolutionary Testability by Flag Removal Transformation: An Example of Testability Transformation in Action
[file: Mark_Harman.pdf]
S. A. Vilkomir / K. Kapoor / J. P. Bowen, South Bank University
Towards an experimental study of formalized RC/DC and MC/DC software testing criteria
[file: Vilkomir.pdf]
Paul Krause, Surrey University
Computing - Is it Science
[file: Paul_Krause.pdf]
FORTEST Workshop talks, September 12-13, 2002
Ben Moszkowski and Antonio Cau, De Montfort.
AnaTempura (run time verification approach)
[file: cau_york.pdf]
Salim Vanak (Sheffield)
Functional Testing of Hardware Designs
[file: vanak_york.ps]
Tony Simons (Sheffield)
Automatic Guidance for the Formal Verification of High Integrity Ada.
[file: simons_york.pdf]
John Derrick (UKC)
What do we do when we test a Z specification?
[file: derrick_york.ps]
Rob Hierons (Brunel)
Expanding an extended finite state machine for testability?
[file: hierons_york.pdf]
FORTEST Workshop talks, January 6-7, 2003
Isobel Evans, IETesting
Non-functional testing and BCS standards
[file: Evans_sheffield.pdf]
John Clark, York
State dependencies
[file: clark_sheffield.pdf]
Phil McMinn, Sheffield
Evolutionary testing and ant algorithms
[file: mcminn_sheffield.pdf]
Paul Krause, Surrey
Test Automation
[file: krause_sheffield.pdf]
Jing Yuan, Sheffield
Unit testing for XP
[file: jing_sheffield.pdf]
Mark Harman, Brunel
Dependence Levels and Trends and their relationship to Search Spaces For Structural Evolutionary Testing
[file: harman_sheffield.pdf]
Tony Cowling, Sheffield
Concurrent systems testing
[file: Cowling_sheffield.pdf]
