From Object-Z specifications to ClassBench test suites (1998)

by D Carrington, I MacColl, J McDonald, L Murray, P Strooper
Venue:Journal on Software Testing, Verification and Reliability