Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo. Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 9-16, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Boutheina Bannour' in GoogleThis author has not been identified. Look up 'Christophe Gaston' in GoogleThis author has not been identified. Look up 'Arnault Lapitre' in GoogleThis author has not been identified. Look up 'Jose Pablo Escobedo' in Google

runs on WebDSL