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