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

Jason McDonald, Paul A. Strooper, Daniel Hoffman

Browse the full APSEC paper archive.