Export Citations
1 Results for: Book/Issue: AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,763,258 records)|Limit your search to The ACM Full-Text Collection (757,221 records)
Showing 1 - 1of1 Results
- ArticleSeptember 2005
A contextual interpretation of undefinedness for runtime assertion checking
AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debuggingSeptember 2005, Pages 149–158https://doi.org/10.1145/1085130.1085150Runtime assertion checkers and static checking and verification tools must all cope with the well-known undefinedness problem of logic. This problem is particularly severe for runtime assertion checkers, since, in addition to the possibility of ...