C. Jaramillo, R. Gupta, and M. L. Soffa. Comparison checking: An approach to avoid debugging of optimized code. In ESEC / SIGSOFT FSE, pages 268--284, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Coverage-driven Automated Compiler Test Suite Generation - Kalinov, Kossatchev.. (2003) (Correct)
....in order to address only language constructs which are in the scope of testing. This makes the automatic test generation feasible. However neither the coverage criteria nor the test oracle construction are addressed. Several authors address the problem of generating oracles for compiler 12 tests [5,6,22]. The proposed approaches are aimed at checking preserving the original semantics of the transformed programs. The construction of the test oracle for positive test cases generated by the tool described in this paper is addressed in [3] in detail. 8 Future Work The coverage based generation ....
C. Jaramilio, R. Gupta, M.L. Sofia. Comparison checking: An approach to avoid debugging of optimized code. In Proc. of ASM SIGSOFT, volume 1687 of LNCS, pages 268-284, 1999.
FULLDOC: A Full Reporting Debugger for Optimized Code - Jaramillo, Gupta, Soffa (2000) (1 citation) Self-citation (Jaramillo Gupta Soffa) (Correct)
....Instead of reporting expected values with respect to a source program, the Optdbx debugger [14] reports values with respect to an optimized source program version. Also, Optdbx uses invisible breakpoints to recover evicted variables. Another approach to debugging optimized code is COP [10], a comparison checker for optimized code, which verifies that given an input, the semantic behaviors of both the unoptimized and optimized code versions are the same. This can be incorporated into a debugger to report all values, including deleted values. However, this technique requires the ....
Jaramillo, C., Gupta, R., and Soffa, M.L. Comparison Checking: An Approach to Avoid Debugging of Optimized Code. In ACM SIGSOFT Symposium on Foundations of Software Engineering and European Software Engineering Conference, pages 268--284, September 1999.
Carving Differential Unit Test Cases from System Test Cases - Sebastian Elbaum Hui (Correct)
No context found.
C. Jaramillo, R. Gupta, and M. L. Soffa. Comparison checking: An approach to avoid debugging of optimized code. In ESEC / SIGSOFT FSE, pages 268--284, 1999.
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