Generating test data from state‐based specifications

By Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann. Software testing, verification & reliability, 2003

388 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Testing Web applications by modeling with FSMs (2005, methodology): “Sequences of transitions for cluster and aggregate FSMs are generated by applying standard graph criteria such as all nodes or all edges [4, 7, 25].”
A taxonomy of model‐based testing approaches (2012, background): “The general idea of test case generation with model checkers is to ﬁrst formulate test case speciﬁcations as reachability properties, for instance, ‘eventually, a certain state is reached, or a certain transition ﬁres’ (e.g. [ 47, 48 ] ).”