Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines.

Niklas Krafczyk Jan Peleska

Published in: SEFM (2021)

Keyphrases

finite state machines
model based testing
test cases
finite state automata
model checking
software development
security policies
regular expressions
hidden markov models
software design
software testing
testing process
high level
test set
software engineering
data sets
xml documents