Login / Signup
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.
Sandro Morasca
Angelo Morzenti
Pierluigi San Pietro
Published in:
ISSTA (1996)
Keyphrases
</>
test cases
test case selection
test data
uml models
software testing
test generation
testing process
high level
test case generation
databases
feature selection
case study
computer systems
test set
test suite
regression testing