Search the dblp DataBase

Publications of Author

1. Fiona Polack, Mark Whiston, Keith Mander
   The SAZ Project: Integrating SSADM and Z.. [Citation Graph (0, 0)][DBLP]
   FME, 1993, pp:541-557 [Conf]
   
2. Peter May, Keith Mander, Jon Timmis
   Software Vaccination: An Artificial Immune System Approach to Mutation Testing. [Citation Graph (0, 0)][DBLP]
   ICARIS, 2003, pp:81-92 [Conf]
   
3. Nigel Tracey, John A. Clark, Keith Mander
   Automated Program Flaw Finding Using Simulated Annealing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:73-81 [Conf]
   
4. Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid
   An Automated Framework for Structural Test-Data Generation. [Citation Graph (0, 0)][DBLP]
   ASE, 1998, pp:285-288 [Conf]
   
5. Fiona Polack, Keith Mander
   Software Quality Assurance Using the SAZ Method. [Citation Graph (0, 0)][DBLP]
   Z User Workshop, 1994, pp:230-249 [Conf]
   
6. Keith Mander
   The decline and fall of the American programmer. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 2001, v:44, n:7, pp:43-44 [Journal]
   
7. Andrew D. McGettrick, Roger D. Boyle, Roland N. Ibbett, John Lloyd, Gillian Lovegrove, Keith Mander
   Grand Challenges in Computing: Education - A Summary. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2005, v:48, n:1, pp:42-48 [Journal]
   
8. Antony Powell, Keith Mander, Duncan Brown
   Strategies for lifecycle concurrency and iteration - A system dynamics approach. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1999, v:46, n:2-3, pp:151-161 [Journal]
   
9. Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid
   Automated test-data generation for exception conditions. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 2000, v:30, n:1, pp:61-79 [Journal]
   
10. Peter May, Jon Timmis, Keith Mander
    Immune and Evolutionary Approaches to Software Mutation Testing. [Citation Graph (0, 0)][DBLP]
    ICARIS, 2007, pp:336-347 [Conf]
    
11. 
    Back to the future? [Citation Graph (, )][DBLP]