Phil Stocks

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

Coauthor Index

1	Rita Altucher	[8]
2	David A. Carrington	[1] [2] [3] [4] [5]
3	Adrian Gepp	[10]
4	William Landi	[6] [7] [8]
5	James Larkin	[9]
6	Andrew Lister	[1]
7	Kerry Raymond	[1]
8	Barbara G. Ryder	[6] [7] [8]
9	Jyh-Shiarn Yur	[6]
10	Sean Zhang	[7] [8]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page