Using tools for verification, documentation and testing.

Leon J. Osterweil

Published in: SIGNUM (1978)

Keyphrases

tool support
formal verification
model checking
software tools
decision support
test generation
symbolic execution
formal methods
information systems
databases
building blocks
test cases
functional verification
visualization tools
face verification
test suite
decision making