The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nigel Tracey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002