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]
Abstract is missing.