Keith Mander

According to our database, Keith Mander authored at least 12 papers between 1993 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Immune and Evolutionary Approaches to Software Mutation Testing.

Peter May, Jon Timmis, Keith Mander

Proceedings of the Artificial Immune Systems, 6th International Conference, 2007

2005

Grand Challenges in Computing: Education - A Summary.

Andrew D. McGettrick, Roger D. Boyle, Roland N. Ibbett, John Lloyd, Gillian Lovegrove, Keith Mander

Comput. J., 2005

2004

Back to the future?

Keith Mander

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

2003

Software Vaccination: An Artificial Immune System Approach to Mutation Testing.

Peter May, Keith Mander, Jon Timmis

Proceedings of the Artificial Immune Systems, Second International Conference, 2003

2001

The decline and fall of the American programmer.

Keith Mander

Commun. ACM, 2001

2000

Automated test-data generation for exception conditions.

Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid

Softw. Pract. Exp., 2000

1999

Strategies for lifecycle concurrency and iteration - A system dynamics approach.

Antony Powell, Keith Mander, Duncan Brown

J. Syst. Softw., 1999

1998

An Automated Framework for Structural Test-Data Generation.

Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Automated Program Flaw Finding Using Simulated Annealing.

Nigel J. Tracey, John A. Clark, Keith Mander

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1995

Rigorous specification using structured systems analysis and Z.

Keith Mander, Fiona A. C. Polack

Inf. Softw. Technol., 1995

1994

Software Quality Assurance Using the SAZ Method.

Fiona Polack, Keith Mander

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

The SAZ Project: Integrating SSADM and Z..

Fiona Polack, Mark Whiston, Keith Mander

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993