David A. Carrington Ian MacColl Jason McDonald Leesa Murray Paul A. Strooper From Object-Z Specifications to ClassBench Test Suites. 111-137 2000 10 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr10.html#CarringtonMMMS00