Bob Boothe. E#cient Algorithms for Bidirectional Debugging. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, volume 35(5) of SIGPLAN Notices, pages 299 -- 310. ACM, May 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Debugging Parallel Systems: A State of the Art Report - Huselius (2002) (Correct)
....for monitoring its own inputs (see the input errors of Clarke and McDermid at the top of Section 3) If however, the fault hypothesis for the system did not include the potential occurrence of input errors, this could be seen as a bystander error. typedef void ( func ptr) void) func ptr fp[2]= f 1,f 2 ; void A(void) void B(void) send to proc(A,2) void A(void) int i; i=recv fr proc(B) fp[i] Figure 5.1: This is Not an Example of the Bystander E#ect A more pure example of the bystander error would be if the data used by task TA was modified without the tasks ....
....shared memory systems. Suarez et al. 55] also presents work in the area of performance debugging, they are targeted at distributed embedded real time systems. Boothe presents a method for bidirectional stepping through sequential code in E#cient Algorithms for Bidirectional Debugging [2]. By monitoring using Software Instruction Counters (see Section 4.2) and also counting the function entering and exit (there may be several di#erent exit points from a function) points, executions logs are created. The logs will contain su#cient information to facilitate execution reproduction, ....
Bob Boothe. E#cient Algorithms for Bidirectional Debugging. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, volume 35(5) of SIGPLAN Notices, pages 299 -- 310. ACM, May 2000.
Scripts for Program Trace Visualization - Renieris (Correct)
....do not expose a query mechanism. To give two examples, the basic trace model of ISVis is graph based [5] and the model presented to the user is very elaborate, specifying interactions between run time entities, but the is not a command line Debuggers with a reversible execution (e.g. 2] [1]) when practical, allow one to see events in a temporal context. However, for the scope of this discussion, reversible execution is just a lazily generated trace. to specify queries. The data model for Ovation [3] has a relational flavor, and it supports very expressive queries, but the user is ....
Bob Boothe. E#cient algorithms for bidirectional debugging. In SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 299--310, 2000.
Debugging via Run-Time Type Checking - Loginov, Yong, Horwitz, Reps (2001) (20 citations) (Correct)
....the flow of data backwards. Another possibility is to provide a way for the user to roll back the program state (including the type state) to an earlier point in order to find the source of a problem. This is similar to reverse execution in debuggers and requires the use of a checkpointing scheme [4]. ....
B. Boothe. E#cient algorithms for bidirectional debugging. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 299--310, New York, NY, 2000. ACM Press.
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