Export Citations
2 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,846,486 records)|Limit your search to The ACM Full-Text Collection (775,921 records)
Showing 1 - 2of2 Results
Select All
- ArticleSeptember 2005
A contextual interpretation of undefinedness for runtime assertion checking
AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debuggingPages 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 ...
- ArticleSeptember 2005
Tdb: a source-level debugger for dynamically translated programs
AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debuggingPages 123–132https://doi.org/10.1145/1085130.1085147Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle for software has emerged that, once again, requires new debugging ...
