BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stocks:Phil

Contributed to:

SAC 20152015
ICTSS 20132013
SEFM 20122012
ISSTA 19981998
ICSE 19971997
ICSE 19931993
ISSTA 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.