Model Based Testing and Abstract Interpretation in the Railway Signaling Context - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling ManufacturerAlessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini. ijertcs, 2(2):42-61, 2011. [doi]

runs on WebDSL