Model Based Testing with Logical Properties versus State Machines.

Pieter W. M. Koopman Peter Achten Rinus Plasmeijer

Published in: IFL (2011)

Keyphrases

state machines
logical properties
model based testing
sequence diagrams
petri net
belief revision
test cases
intermediate representation
regression testing
state machine
software development
dependency graph
object oriented