Testing an Event Specification Language.

Rodolfo Gómez Juan Carlos Augusto Antony Galton

Published in: SEKE (2001)

Keyphrases

specification language
symbolic execution
formal specification
description language
programming language
event detection
news articles
requirements specification
software environment
test cases
reverse engineering
real world
test generation