|
Search the dblp DataBase
Phil Stocks:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- James Larkin, Phil Stocks
Self-Replicating Expressions in the Lambda Calculus. [Citation Graph (0, 0)][DBLP] ACSC, 2004, pp:167-173 [Conf]
- Phil Stocks, David A. Carrington
Test Templates: A Specification-Based Testing Framework. [Citation Graph (0, 0)][DBLP] ICSE, 1993, pp:405-414 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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
|