Modelling open distributed systems in Z. - Phil Stocks; Kerry Raymond; David A. Carrington; Andrew Lister (Comput. Commun., 1992)

Test Templates: A Specification-Based Testing Framework. - Phil Stocks; David A. Carrington (ICSE, 1993)

Test Template Framework: A Specification-Based Testing Case Study. - Phil Stocks; David A. Carrington (ISSTA, 1993)

A Tale of Two Paradigms: Formal Methods and Software Testing. - David A. Carrington; Phil Stocks (Z User Workshop, 1994)

A Framework for Specification-Based Testing. - Phil Stocks; David A. Carrington (IEEE Trans. Software Eng., 1996)

Incremental Analysis of Side Effects for C Software System. - Jyh-Shiarn Yur; Barbara G. Ryder; William Landi; Phil Stocks (ICSE, 1997)

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. - Phil Stocks; Barbara G. Ryder; William Landi; Sean Zhang (ISSTA, 1998)

A schema for interprocedural modification side-effect analysis with pointer aliasing. - Barbara G. Ryder; William Landi; Phil Stocks; Sean Zhang; Rita Z. Altucher (ACM Trans. Program. Lang. Syst., 2001)

Self-Replicating Expressions in the Lambda Calculus. - James Larkin; Phil Stocks (ACSC, 2004)

A review of procedures to evolve quantum algorithms. - Adrian Gepp; Phil Stocks (Genet. Program. Evolvable Mach., 2009)

A Dynamic Approach to Locating Memory Leaks. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (ICTSS, 2013)

A concise specification language for trace monitoring. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (SAC, 2015)

A low-overhead, value-tracking approach to information flow security. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (Inf. Softw. Technol., 2016)