Christakis, Maria Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Bugariu, A., Wüstholz, V., Christakis, M., & Müller, P. (2018). Automatically Testing Implementations of Numerical Abstract Domains. In M. Huchard, C. Kästner, & G. Fraser (Eds.), ASE'18 (pp. 768-778). New York, NY: ACM. doi:10.1145/3238147.3240464.