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: Clarke:Duncan
Contributed to:
2009
2002
2001
1996
1995Wrote 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.