Keith Mander

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