José L. Silva, José Creissac Campos, Ana C. R. Paiva. Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science, 208:77-93, 2008. [doi]
@article{SilvaCP08,
title = {Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees},
author = {José L. Silva and José Creissac Campos and Ana C. R. Paiva},
year = {2008},
doi = {10.1016/j.entcs.2008.03.108},
url = {http://dx.doi.org/10.1016/j.entcs.2008.03.108},
tags = {rule-based, testing, C++},
researchr = {https://researchr.org/publication/SilvaCP08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {77-93},
}