Testing Equivalences for Event Structures.

Luca Aceto Rocco De Nicola Alessandro Fantechi

Published in: Mathematical Models for the Semantics of Parallelism (1986)

Keyphrases

test cases
event detection
artificial intelligence
similarity measure
real time
connected components
software testing
event driven
data sets
data structure
test set
complex structures
structural features
event sequences