Publication at MEMOCODE 2016
Another publication has been accepted at MEMOCODE’16. Bernhard K. Aichernig and Richard Schumi: “Towards Integrating Statistical Model Checking into Property-Based Testing”. In 14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, Kanpur, India, Nov. 18–20, 2016, pages …