Translating Object-Z Specifications to Passive Test Oracles.

Jason McDonald Paul A. Strooper

Published in: ICFEM (1998)

Keyphrases

test cases
d objects
object model
database
high level
unit testing
software testing
test suite
multiple objects
viewpoint
spatial relationships
complex objects
software engineering
bounding box
active learning
deformable objects
delay insensitive
relational databases