Manoranjan Satpathy, Michael Leuschel, Michael J. Butler. ProTest: An Automatic Test Environment for B Specifications. Electronic Notes in Theoretical Computer Science, 111:113-136, 2005. [doi]
@article{SatpathyLB05,
title = {ProTest: An Automatic Test Environment for B Specifications},
author = {Manoranjan Satpathy and Michael Leuschel and Michael J. Butler},
year = {2005},
doi = {10.1016/j.entcs.2004.12.009},
url = {http://dx.doi.org/10.1016/j.entcs.2004.12.009},
tags = {meta-model, testing, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/SatpathyLB05},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {111},
pages = {113-136},
}