Feasibility of Property-Based Testing for Time-Dependent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Macías López, Laura M. Castro, David Cabrero. Feasibility of Property-Based Testing for Time-Dependent Systems. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part II. Volume 8112 of Lecture Notes in Computer Science, pages 527-535, Springer, 2013. [doi]

This author has not been identified. Look up 'Macías López' in GoogleThis author has not been identified. Look up 'Laura M. Castro' in GoogleThis author has not been identified. Look up 'David Cabrero' in Google

runs on WebDSL