Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini. Model Based Testing and Abstract Interpretation in the Railway Signaling Context. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010. pages 103-106, IEEE Computer Society, 2010. [doi]
@inproceedings{GrassoFFBB10,
title = {Model Based Testing and Abstract Interpretation in the Railway Signaling Context},
author = {Daniele Grasso and Alessandro Fantechi and Alessio Ferrari and Carlo Becheri and Stefano Bacherini},
year = {2010},
doi = {10.1109/ICST.2010.44},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2010.44},
tags = {rule-based, testing, context-aware},
researchr = {https://researchr.org/publication/GrassoFFBB10},
cites = {0},
citedby = {0},
pages = {103-106},
booktitle = {Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3990-4},
}