Travelled to:1 × Greece
1 × Spain
1 × Turkey
4 × USA
Collaborated with:K.Vorobyov D.A.Carrington P.Krishnan B.G.Ryder W.Landi P.Krishnan S.Zhang J.Yur
Talks about:test (4) specif (3) framework (2) approach (2) templat (2) effect (2) side (2) flow (2) base (2) increment (1)
Person: Phil Stocks
DBLP: Stocks:Phil
Contributed to:
2015
2013
2012
1998
199719931993Wrote 7 papers:
- SAC-2015-VorobyovKS #monitoring #specification
- A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
- ICTSS-2013-VorobyovKS #approach #memory management
- A Dynamic Approach to Locating Memory Leaks (KV, PK, PS), pp. 255–270.
- SEFM-2012-VorobyovKS #approach #data flow #security
- A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.
- ISSTA-1998-StocksRLZ #context-sensitive grammar #problem
- Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem (PS, BGR, WL, SZ), pp. 21–31.
- ICSE-1997-YurRLS #analysis #c #incremental
- Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
- ICSE-1993-StocksC #framework #testing
- Test Templates: A Specification-Based Testing Framework (PS, DAC), pp. 405–414.
- ISSTA-1993-StocksC #case study #framework #testing
- Test Template Framework: A Specification-Based Testing Case Study (PS, DAC), pp. 11–18.