Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech. From Temporal Models to Property-based Testing. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, ENASE 2017 - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, April 28-29, 2017. pages 241-246, SciTePress, 2017. [doi]
Abstract is missing.