Testing Completeness of Code Selector Specifications.

Helmut Emmelmann

Published in: CC (1992)

Keyphrases

unit testing
code generation
software testing
test cases
source code
control flow
real time
formal specification
concurrent programs
integration testing
test set
formal verification
error correcting
test driven development
database
test suite
finite state machines
software development
neural network