Searching for authors named "Keith Mander" – sorted by Relevance.
-
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

