D. Jackson. Aspect, an economical bug detector. In Proceedings of the 13th International Conference on Software Engineering, pages 13--22, May 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Checking Cleanness in Linked Lists - Dor, Rodeh, Sagiv (2000) (13 citations) (Correct)
....cleanness condition in a subset of C [9] Although they propose a conservative algorithm that automatically checks a subset of the logic, this method cannot be extended to automatically check many programs since it cannot always phrase the loop invariants. It is possible to use slicing techniques [11, 12, 8] to locate cleanness violations. However, current slicing techniques yield very conservative results in languages that support pointers and references (especially in the presence of recursive data structures) In other words, it seems that current slicing tools will yield an excessive number of ....
D. Jackson. Aspect, an economical bug detector. In Proceedings of the 13th International Conference on Software Engineering, pages 13--22, May 1994.
Detecting Memory Errors via Static Pointer Analysis - Dor (1999) (14 citations) (Correct)
....condition in a subset of C [19] Although they propose a conservative algorithm that automatically checks a subset of the logic, this method can not be extended to automatically check many programs since it can not always phrase the loop invariants. It is possible to use slicing techniques [54, 28, 29, 18] to locate cleanness 5 violations. However, current slicing techniques yield very conservative results in languages that support pointers and references (especially in the presence of recursive data structures) In other words, it seems that current slicing tools will yield an excessive number of ....
D. Jackson. Aspect, an economical bug detector. In Proceedings of the 13th International Conference on Software Engineering, pages 13--22, May 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC