Systematic testing of asynchronous reactive systems.

Ankush Desai Shaz Qadeer Sanjit A. Seshia

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

reactive systems
state machines
information flow
model checking
petri net
temporal logic
control flow
formal methods
software testing
data mining
low cost
test set
test cases
real time systems
training data
real time
high level
artificial intelligence