Search the dblp DataBase

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]