The SCEAS System
Navigation Menu

Search the dblp DataBase


Phil Stocks: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James Larkin, Phil Stocks
    Self-Replicating Expressions in the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:167-173 [Conf]
  2. Phil Stocks, David A. Carrington
    Test Templates: A Specification-Based Testing Framework. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:405-414 [Conf]
  3. Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks
    Incremental Analysis of Side Effects for C Software System. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:422-432 [Conf]
  4. Phil Stocks, David A. Carrington
    Test Template Framework: A Specification-Based Testing Case Study. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:11-18 [Conf]
  5. Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
    Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:21-31 [Conf]
  6. David A. Carrington, Phil Stocks
    A Tale of Two Paradigms: Formal Methods and Software Testing. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:51-68 [Conf]
  7. Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister
    Modelling open distributed systems in Z. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:103-113 [Journal]
  8. Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher
    A schema for interprocedural modification side-effect analysis with pointer aliasing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:105-186 [Journal]
  9. Phil Stocks, David A. Carrington
    A Framework for Specification-Based Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:11, pp:777-793 [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002