o:38661 Towards fully automated object verification en While other sound synthesis systems have made the switch to 64-bit floating point values for signal processing a while ago, Pure Data (Pd) seems to be stuck with single precision numbers. An initial port to 64-bit precision has been presented in 2011, but 5 years later little progress has been made. One of the alleged showstoppers for switching to 64-bit precision is the plethora of available 3rd party externals, many of which might start malfunctioning in subtle ways. In this work we try to solve this problem by means of automatic object verification. unit tests, fuzz testing, automatic testing, double precision Pd, Pure data 2017-01-03T12:53:59.583Z 44 no 46 IOhannes zmölnig DI 189585 no yes 21 10 1064851 1064891