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 × Austria
2 × France
2 × USA
Collaborated with:
I.Lee O.Sokolsky T.Jéron V.Rusu E.Zinovieva H.Ben-Abdallah H.Xie
Talks about:
test (3) process (2) generat (2) algebra (2) symbol (2) specif (2) tool (2) time (2) real (2) stg (2)

Person: Duncan Clarke

DBLP DBLP: Clarke:Duncan

Contributed to:

Ada-Europe 20092009
TACAS 20022002
ESEC/FSE 20012001
CAV 19961996
ICSE 19951995

Wrote 5 papers:

AdaEurope-2009-SokolskyLC #algebra #modelling
Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.
TACAS-2002-ClarkeJRZ #generative #named #testing
STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification
STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.
CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.
ICSE-1995-ClarkeL #algebra #constraints #process #realtime #testing
Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.

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.