Phil Stocks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1993–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAC | A concise specification language for trace monitoring. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2012 | SEFM | A Low-Overhead, Value-Tracking Approach to Information Flow Security. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 1998 | ISSTA | Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
| 1997 | ICSE | Incremental Analysis of Side Effects for C Software System. | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks |
| 1993 | ICSE | Test Templates: A Specification-Based Testing Framework. | Phil Stocks, David A. Carrington |
| 1993 | ISSTA | Test Template Framework: A Specification-Based Testing Case Study. | Phil Stocks, David A. Carrington |