René Fritze, Stephan Rave. Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern. In David Clark, Héctor D. Menéndez 0001, Ana Rosa Cavalli, editors, Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings. Volume 13045 of Lecture Notes in Computer Science, pages 181-188, Springer, 2021. [doi]
Abstract is missing.