Marie-Claude Gaudel, Pascale Le Gall. Testing Data Types Implementations from Algebraic Specifications. In Robert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Volume 4949 of Lecture Notes in Computer Science, pages 209-239, Springer, 2008. [doi]
@inproceedings{GaudelG08,
title = {Testing Data Types Implementations from Algebraic Specifications},
author = {Marie-Claude Gaudel and Pascale Le Gall},
year = {2008},
doi = {10.1007/978-3-540-78917-8_7},
url = {http://dx.doi.org/10.1007/978-3-540-78917-8_7},
tags = {testing, data-flow, algebraic specification, algebra},
researchr = {https://researchr.org/publication/GaudelG08},
cites = {0},
citedby = {0},
pages = {209-239},
booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
volume = {4949},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78916-1},
}