[go: up one dir, main page]

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

Jason McDonald, Paul A. Strooper, Daniel Hoffman (2003)

Details and statistics

DOI: 10.1109/APSEC.2003.1254386

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-23