Search the dblp DataBase

Publications of Author

1. John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine
   Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1998, pp:76-0 [Conf]
   
2. Nigel Tracey, John Penix, Willem Visser
   The First International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:796- [Conf]
   
3. Nigel Tracey, John Penix, Willem Visser
   The Second International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
   ICSE, 2001, pp:755-755 [Conf]
   
4. 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]
   
5. 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]
   
6. Nigel Tracey, John Penix, Willem Visser
   Automated analysis, verification and testing. [Citation Graph (0, 0)][DBLP]
   Software Focus, 2001, v:2, n:2, pp:82- [Journal]
   
7. 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]
   
8. Nigel Tracey, John Penix, Willem Visser
   Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:63-64 [Journal]