Experience report: growing and shrinking polygons for random testing of computational geometry algorithms

Abstract

This paper documents our experience of adapting and using the QuickCheck-style approach for extensive randomised property-based testing of computational geometry algorithms.