Gross, T. Bisection Debugging. In Proceedings of the AADEBUG'97 Workshop, pages 185--191, May, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Comparison Checking: An Approach to Avoid Debugging of.. - Jaramillo, Gupta, Soffa (1999) (2 citations) (Correct)
....would be difficult in Guard since that would require the user inserting all mappings. In COP, we can easily restrict checking to certain regions or statements as Guard does. We can also report the particular optimizations involved in producing erroneous behavior. The Bisection debugging model [11] was also designed to identify semantic differences between two versions of the same program, one of which is assumed to be correct. The bisection debugger attempts to identify the earliest point where the two versions diverge. However, to handle the debugging of optimized code, the expected ....
Gross, T. Bisection Debugging. In Proceedings of the AADEBUG'97 Workshop, pages 185--191, May, 1997.
Debugging of Optimized Code through Comparison Checking - Jaramillo, Gupta, Soffa (1999) (1 citation) (Correct)
....that were involved in producing erroneous behavior. The concept of a bisection debugging model, and a high level approach, was recently presented that also has as its goal the identification of semantic differences between two versions of the same program, one of which is assumed to be correct [13]. The bisection debugger attempts to identify the earliest point where the two versions diverge. However, in order to handle the debugging of optimized code, all data values problems have to be solved at all breakpoints. ....
Gross, Thomas. Bisection Debugging. In Proceedings of the AADEBUG'97 Workshop, pages 185--191, May, 1997.
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