Criteria for Generating Specification-Based Tests.

A. Jefferson Offutt Yiwei Xiong Shaoying Liu

Published in: ICECCS (1999)

Keyphrases

evaluation criteria
formal specification
selection criteria
multiple criteria
specification language
data sets
databases
case study
knowledge base
decision trees
control system
programming language
test cases