Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- 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 ...
- ArticleSeptember 2005
On the design of a pervasive debugger
AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debuggingPages 117–122https://doi.org/10.1145/1085130.1085146Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intricate interactions between components written in different languages and ...
