Specification-Based Testing Using Cause-Effect Graphs.

Amit M. Paradkar Kuo-Chung Tai Mladen A. Vouk

Published in: Ann. Softw. Eng. (1997)

Keyphrases

formal verification
test case generation
databases
directed graph
structured objects
specification language
test cases
database
graph theoretic
undirected graph
labeled graphs
series parallel
formal methods
software testing
formal specification
graph mining
weighted graph
test data
data sets