Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos. A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour. ECEASST, 70, 2014. [doi]
@article{LandtsheerPD14,
title = {A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour},
author = {Renaud De Landtsheer and Christophe Ponsard and Nicolas Devos},
year = {2014},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/981},
researchr = {https://researchr.org/publication/LandtsheerPD14},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {70},
}