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