Lydie du Bousquet, Nicolas Zuanon. An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. In ASE. pages 208-215, 1999. [doi]
@inproceedings{BousquetZ99,
title = {An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software},
author = {Lydie du Bousquet and Nicolas Zuanon},
year = {1999},
url = {http://computer.org/proceedings/ase/0415/04150208abs.htm},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/BousquetZ99},
cites = {0},
citedby = {0},
pages = {208-215},
booktitle = {ASE},
}