From Object-Z Specifications to ClassBench Test Suites

David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper. From Object-Z Specifications to ClassBench Test Suites. Softw. Test., Verif. Reliab., 10(2):111-137, 2000.

@article{CarringtonMMMS00,
  title = {From Object-Z Specifications to ClassBench Test Suites},
  author = {David A. Carrington and Ian MacColl and Jason McDonald and Leesa Murray and Paul A. Strooper},
  year = {2000},
  tags = {meta-model, testing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CarringtonMMMS00},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {10},
  number = {2},
  pages = {111-137},
}