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]
No references recorded for this publication.
No citations of this publication recorded.