Trace and Testing Equivalence on Asynchronous Processes.

Michele Boreale Rocco De Nicola Rosario Pugliese

Published in: Inf. Comput. (2002)

Keyphrases

process model
decision trees
similarity measure
information technology
evolutionary algorithm
hidden markov models
software engineering
asynchronous communication