Testing Ada 95 Object-Oriented Programs.

Stéphane Barbey

Published in: Ada-Europe (1995)

Keyphrases

high level
object oriented programs
integration testing
specification languages
black box
impact analysis
object oriented
formal specification
test cases
software testing
first order logic
data sets
artificial intelligence
relational databases