Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.

Jason McDonald Paul A. Strooper Daniel Hoffman

Published in: APSEC (2003)

Keyphrases

tool support
test cases
test suite
design decisions
d objects
software tools
high level
complex objects
active learning
moving objects
open source
software engineering
database design
object tracking
software projects
statistical tests
object model
cooperative
training data
software testing
learning algorithm