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

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]

This author has not been identified. Look up 'Daniele Grasso' in GoogleThis author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Alessio Ferrari' in GoogleThis author has not been identified. Look up 'Carlo Becheri' in GoogleThis author has not been identified. Look up 'Stefano Bacherini' in Google

runs on WebDSL