Specification-based Testing of Ada Units with Low Encapsulation.

Arthur Alexander Reyes Debra J. Richardson

Published in: ASE (1998)

Keyphrases

test case generation
formal verification
knowledge base
test cases
information integration
database
data mining
case study
high level
object oriented databases
statistical tests
software testing
high levels
specification language