Verification of Hypermedia Characteristic of RESTful Finite-State Machines.

Henry Vu Tobias Fertig Peter Braun

Published in: WWW (Companion Volume) (2018)

Keyphrases

finite state machines
model checking
formal verification
verification method
finite state automata
web services
database
multiple representations
databases
digital circuits
mutation testing
domain specific
publish subscribe
relational databases
regular expressions
test generation