Exhaustive property oriented model-based testing with symbolic finite state machines.

Wen-ling Huang Niklas Krafczyk Jan Peleska

Published in: Sci. Comput. Program. (2024)

Keyphrases

finite state machines
model based testing
test cases
finite state automata
model checking
software development
software design
hidden markov models
testing process
regular expressions
sequence diagrams
mutation testing
learning algorithm
software testing
error rate
databases
database