Phil Stocks

According to our database, Phil Stocks authored at least 13 papers between 1992 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A concise specification language for trace monitoring.

Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2013

A Dynamic Approach to Locating Memory Leaks.

Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks

Proceedings of the Testing Software and Systems, 2013

2012

A Low-Overhead, Value-Tracking Approach to Information Flow Security.

Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2009

A review of procedures to evolve quantum algorithms.

Adrian Gepp, Phil Stocks

Genet. Program. Evolvable Mach., 2009

2004

Self-Replicating Expressions in the Lambda Calculus.

James Larkin, Phil Stocks

Proceedings of the Computer Science 2004, 2004

2001

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

1998

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.

Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Incremental Analysis of Side Effects for C Software System.

Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks

Proceedings of the Pulling Together, 1997

1996

A Framework for Specification-Based Testing.

Phil Stocks, David A. Carrington

IEEE Trans. Software Eng., 1996

1994

A Tale of Two Paradigms: Formal Methods and Software Testing.

David A. Carrington, Phil Stocks

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

Test Template Framework: A Specification-Based Testing Case Study.

Phil Stocks, David A. Carrington

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Test Templates: A Specification-Based Testing Framework.

Phil Stocks, David A. Carrington

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Modelling open distributed systems in Z.

Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister

Comput. Commun., 1992