Abstracting Time and Data for Conformance Testing of Real-Time Systems

Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 9-17, IEEE Computer Society, 2011. [doi]

Authors

Wilkerson de L. Andrade

This author has not been identified. Look up 'Wilkerson de L. Andrade' in Google

Patrícia D. L. Machado

This author has not been identified. Look up 'Patrícia D. L. Machado' in Google

Thierry Jéron

This author has not been identified. Look up 'Thierry Jéron' in Google

Hervé Marchand

This author has not been identified. Look up 'Hervé Marchand' in Google