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]
@inproceedings{BugariuWC018, title = {Automatically testing implementations of numerical abstract domains}, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller 0001}, year = {2018}, doi = {10.1145/3238147.3240464}, url = {https://doi.org/10.1145/3238147.3240464}, researchr = {https://researchr.org/publication/BugariuWC018}, cites = {0}, citedby = {0}, pages = {768-778}, booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering}, editor = {Marianne Huchard and Christian Kästner and Gordon Fraser}, publisher = {ACM}, }