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