Testing reactive systems with GAST.

Pieter W. M. Koopman Rinus Plasmeijer

Published in: Trends in Functional Programming (2003)

Keyphrases

reactive systems
model checking
information flow
temporal logic
petri net
formal methods
control flow
test cases
software testing
machine learning
artificial intelligence
test set