Sign in
Language-Based Testing for Pushdown Reactive Systems.
Adilson Luiz Bonifácio
Published in:
SBMF (2023)
Keyphrases
</>
reactive systems
model checking
language learning
temporal logic
information flow
natural language
petri net
formal methods
programming language
test set
test cases
formal specification
low cost
finite state machines
state machines