Searching for authors named "Keith Mander" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Standardizing Z Semantics - Case for Support
- … This project's investigators are Dr Keith Mander and Steve King. Dr Keith Mander has been Head…
- Add To MetaCart
-
Serendipity In The Engineering Curriculum
- … Systems. Sally Fincher 1 and Keith Mander 2 1 Sally Fincher, Computing Laboratory, University of Kent…
- Add To MetaCart
-
The way forward for unifying dynamic test case generation: The optimisation-based approach
- … Tracey John Clark Keith Mander Department of Computer Science University of York Heslington, York YO1 5DD…
- Cited by 13 (8 self) – Add To MetaCart
-
A Search Based Automated Test-Data Generation Framework for High-Integrity Systems
- … John Clark John McDermid Keith Mander Abstract Department of Computer Science Computing Laboratory…
- Cited by 3 (0 self) – Add To MetaCart
-
Automated Program Flaw Finding using Simulated Annealing
- …Automated Program Flaw Finding using Simulated Annealing Nigel Tracey John Clark Keith Mander…
- Cited by 52 (13 self) – Add To MetaCart
-
An automated framework for structural test-data generation
- …An Automated Framework for Structural Test-Data Generation Nigel Tracey John Clark Keith Mander…
- Cited by 48 (10 self) – Add To MetaCart
-
Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems
- … Tracey John Clark Keith Mander John McDermid Department of Computer Science. University of York…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 7.
