Journal article
Automatically testing implementations of numerical abstract domains
- Bugariu, Alexandra ETH Zurich, Switzerland
- Wüstholz, Valentin ETH Zurich, Switzerland
- Christakis, Maria MPI-SWS, Germany
- Müller, Peter ETH Zurich, Switzerland
Published in:
- Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018. - ACM Press. - 2018
- Language
-
- English
- Open access status
- closed
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/112974
Statistics
Document views: 38
File downloads: