Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Generation of optimal finite test suites for timed systems. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 149-158, IEEE Computer Society, 2007. [doi]
@inproceedings{MerayoNR07:1,
title = {Generation of optimal finite test suites for timed systems},
author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
year = {2007},
doi = {10.1109/TASE.2007.29},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.29},
tags = {testing},
researchr = {https://researchr.org/publication/MerayoNR07%3A1},
cites = {0},
citedby = {0},
pages = {149-158},
booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China},
publisher = {IEEE Computer Society},
}