Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller 0001. Automatically testing implementations of numerical abstract domains. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 768-778, ACM, 2018. [doi]
Abstract is missing.