Automatically testing implementations of numerical abstract domains
Metadata only
Date
2018Type
- Conference Paper
Publication status
publishedExternal links
Book title
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software EngineeringPages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
soundness testing; precision testing; abstract interpretationOrganisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
Is cited by: https://doi.org/10.3929/ethz-b-000548050
More
Show all metadata