Keith Mander

Publication Activity (10 Years)

Years Active: 1993-2007
Publications (10 Years): 0

Publications

Peter May, Jon Timmis, Keith Mander
Immune and Evolutionary Approaches to Software Mutation Testing. ICARIS (2007)
Andrew D. McGettrick, Roger D. Boyle, Roland N. Ibbett, John Lloyd, Gillian Lovegrove, Keith Mander
Grand Challenges in Computing: Education - A Summary. Comput. J. 48 (1) (2005)
Keith Mander
Back to the future? ITiCSE (2004)
Peter May, Keith Mander, Jon Timmis
Software Vaccination: An Artificial Immune System Approach to Mutation Testing. ICARIS (2003)
Keith Mander
The decline and fall of the American programmer. Commun. ACM 44 (7) (2001)
Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
Automated test-data generation for exception conditions. Softw. Pract. Exp. 30 (1) (2000)
Antony Powell, Keith Mander, Duncan Brown
Strategies for lifecycle concurrency and iteration - A system dynamics approach. J. Syst. Softw. 46 (2-3) (1999)
Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
An Automated Framework for Structural Test-Data Generation. ASE (1998)
Nigel J. Tracey, John A. Clark, Keith Mander
Automated Program Flaw Finding Using Simulated Annealing. ISSTA (1998)
Keith Mander, Fiona A. C. Polack
Rigorous specification using structured systems analysis and Z. Inf. Softw. Technol. 37 (5-6) (1995)
Fiona Polack, Keith Mander
Software Quality Assurance Using the SAZ Method. Z User Workshop (1994)
Fiona Polack, Mark Whiston, Keith Mander
The SAZ Project: Integrating SSADM and Z.. FME (1993)