Travelled to:1 × Denmark
1 × USA
1 × United Kingdom
Collaborated with:N.Tracey J.A.Clark ∅ F.Polack M.Whiston J.A.McDermid
Talks about:autom (2) framework (1) structur (1) project (1) program (1) generat (1) integr (1) anneal (1) ssadm (1) simul (1)
Person: Keith Mander
DBLP: Mander:Keith
Contributed to:
2004
1998
1998
1993Wrote 4 papers:
- ITiCSE-2004-Mander #question
- Back to the future? (KM), p. 2.
- ASE-1998-TraceyCMM #automation #framework #generative #testing
- An Automated Framework for Structural Test-Data Generation (NT, JAC, KM, JAM), pp. 285–288.
- ISSTA-1998-TraceyCM #automation #using
- Automated Program Flaw Finding Using Simulated Annealing (NT, JAC, KM), pp. 73–81.
- FME-1993-PolackWM
- The SAZ Project: Integrating SSADM and Z. (FP, MW, KM), pp. 541–557.