Get started
Author

Keith C. Mander

Observed names: K. C. Mander, K. Mander, KC Mander, Keith Mander, Mander, Keith C.
Institution: University of Kent
OpenAlex ID: A5113466221
An automated framework for structural test-data generation
2002 · N. Tracey, J. Clark, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 206
Automated program flaw finding using simulated annealing
1998 · Nigel Tracey, John Clark, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 205
Automated test-data generation for exception conditions
2000 · N. Tracey, J. Clark, et al. · Software Practice and Experience · 121
The way forward for unifying dynamic test-case generation: The optimisation-based approach
1998 · Nigel Tracey, John A. Clark, et al. · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 76
PDF
A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems
2002 · Nigel Tracey, John Clark, et al. · Springer eBooks · 56
Strategies for lifecycle concurrency and iteration – A system dynamics approach
1999 · Antony Powell, Keith Mander, et al. · Journal of Systems and Software · 42
Automated program flaw finding using simulated annealing
1998 · Nigel Tracey, John Clark, et al. · ACM SIGSOFT Software Engineering Notes · 42
PDF
The SAZ project: Integrating SSADM and Z
2005 · Fiona Polack, Mark Whiston, et al. · Springer eBooks · 38
Immune and Evolutionary Approaches to Software Mutation Testing
2007 · Pete May, Jon Timmis, et al. · Lecture notes in computer science · 30
Rigorous specification using structured systems analysis and Z
1995 · KC Mander, FAC Polack · Information and Software Technology · 24
Software Vaccination: An Artificial Immune System Approach to Mutation Testing
2003 · Peter May, Keith Mander, et al. · Lecture notes in computer science · 16
Software Quality Assurance using the SAZ Method
1994 · Fiona Polack, Keith C. Mander · Workshops in computing · 14
The decline and fall of the American programmer
2001 · Keith Mander · Communications of the ACM · 11
Mutation Testing: An Artificial Immune System Approach
2003 · Peter May, Keith Mander, et al. · 8
On Software Engineering Education: Experiences with the Software Hut Game
1982 · Martin R. Woodward, Keith C. Mander · IEEE Transactions on Education · 8
The SAZ Method: Version 1.0
1993 · Keith Mander, Fiona Polack, et al. · Kent Academic Repository (University of Kent) · 5
'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'
1977 · D. F. Brailsford, E. Foxley, et al. · ACM SIGPLAN Notices · 4
'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'
1977 · D. F. Brailsford, E. Foxley, et al. · Strathclyde ALGOL 68 Conference · 3
PDF
The Industrial Trial of SAZ: reflections on the use of an integrated specification method
1995 · Hamieda Parker, Fiona Polack, et al. · Kent Academic Repository (University of Kent) · 2
Tools and techniques for teaching microprocessor software development
1983 · C. C. Charlton, K. C. Mander · Software Practice and Experience · 1
Back to the future?
2004 · Keith Mander · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
Back to the future?
2004 · Keith Mander · ACM SIGCSE Bulletin
Software Vaccination: An Artificial Immune Systems Approach
2003 · Peter May, Keith Mander, et al. · Kent Academic Repository (University of Kent)
Serendipity in the Engineering Curriculum
2001 · Sally Fincher, Keith Mander · Kent Academic Repository (University of Kent)
PDF
Introduction to the SAZ Method: the State Specification
1992 · Keith Mander, Fiona Polack, et al. · Kent Academic Repository (University of Kent)
Works count: 30
Citation count: 912
H-index: 12
I10-index: 13
Year
Topic
Type