Generalized path expressions: a high-level debugging mechanismBRUEGGE, B; HIBBARD, P.The Journal of systems and software. 1983, Vol 3, Num 4, pp 265-276, issn 0164-1212Article

Semantic issues in the design of languages for debuggingCRAWFORD, R. H; OLSSON, R. A; HO, W. W et al.Computer languages. 1995, Vol 21, Num 1, pp 17-37, issn 0096-0551Article

Implementation of a retrospective tracing facilityMALONE, J. R.Software, practice & experience. 1983, Vol 13, Num 9, pp 791-796, issn 0038-0644Article

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debugging, Pacific Grove, California, March 20-23, 1983JOHNSON, M. S.SIGPLAN notices. 1983, Vol 18, Num 8, issn 0362-1340, VIII-208 pConference Proceedings

Hardware assisted high-level debuggingGENTLEMAN, W. M; HOEKSMA, H.The Journal of systems and software. 1983, Vol 3, Num 4, pp 309-314, issn 0164-1212Article

Efficient distributed detection of conjunctions of local predicatesHURFIN, M; MIZUNO, M; RAYNAL, M et al.IEEE transactions on software engineering. 1998, Vol 24, Num 8, pp 664-677, issn 0098-5589Conference Paper

Evaluating testing methods by delivered reliabilityFRANKL, P. G; HAMLET, R. G; LITTLEWOOD, B et al.IEEE transactions on software engineering. 1998, Vol 24, Num 8, pp 584-601, issn 0098-5589Conference Paper

Testing distributed programs containing racing messagesKILGORE, R. B; CHASE, C. M.Computer journal (Print). 1997, Vol 40, Num 8, pp 489-498, issn 0010-4620Article

Scalable Signal Selection for Post-Silicon DebugHUNG, Eddie; WILTON, Steven J. E.IEEE transactions on very large scale integration (VLSI) systems. 2013, Vol 21, Num 6, pp 1103-1115, issn 1063-8210, 13 p.Article

Iterative delta debuggingARTHO, Cyrille.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 223-246, issn 1433-2779, 24 p.Article

Finding Usability Bugs with Automated TestsHARTY, Julian.Communications of the ACM. 2011, Vol 54, Num 2, pp 44-49, issn 0001-0782, 6 p.Article

Recording shared memory dependencies using strataNARAYANASAMY, Satish; PEREIRA, Cristiano; CALDER, Brad et al.ACM SIGPLAN notices. 2006, Vol 41, Num 11, pp 229-240, issn 1523-2867, 12 p.Conference Paper

An investigation of the utility of flowcharts during computer program debuggingGILMORE, D. J; SMITH, H. T.International journal of man-machine studies. 1984, Vol 20, Num 4, pp 357-372, issn 0020-7373Article

Les moyens destinés à faciliter la programmation = The nears intended to facilitate the programmingSAWARD, M. P.Revue des Télécommunications. 1983, Vol 57, Num 4, pp 289-294, issn 0373-8582Article

Garbage collection in an uncooperative environmentBOEHM, H.-J; WEISER, M.Software, practice & experience. 1988, Vol 18, Num 9, pp 807-820, issn 0038-0644Article

A race detection mechanism embedded in a conceptual model for the debugging of message-passing distributed programsCLAUDIO, Ana Paula; DUARTE CUNHA, Joao.Lecture notes in computer science. 2003, pp 57-65, issn 0302-9743, isbn 3-540-40788-X, 9 p.Conference Paper

ROS: The rollback-one-step method to minimize the waiting time during debugging long-running parallel programsNAM THOAI; KRANZLMÜLLER, Dieter; VOLKERT, Jens et al.Lecture notes in computer science. 2003, pp 664-678, issn 0302-9743, isbn 3-540-00852-7, 15 p.Conference Paper

Shortcut keplay : A replay technique for debugging long-running parallel programsTHOAI, Nam; KRANZLMÜLLER, Dieter; VOLKERT, Jens et al.Lecture notes in computer science. 2002, pp 34-46, issn 0302-9743, isbn 3-540-00195-6, 13 p.Conference Paper

Formal-Analysis-Based Trace Computation for Post-Silicon DebugGORT, Marcel; DE PAULA, Flavio M; KUAN, Johnny J. W et al.IEEE transactions on very large scale integration (VLSI) systems. 2012, Vol 20, Num 11, pp 1997-2010, issn 1063-8210, 14 p.Article

Searching for deadlocks while debugging Concurrent Haskell programsCHRISTIANSEN, Jan; HUCH, Frank.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 28-39, issn 1523-2867, 12 p.Conference Paper

On the variability of fuzzy debuggingZEEPHONGSEKUL, P.Fuzzy sets and systems. 2001, Vol 123, Num 1, pp 29-39, issn 0165-0114Article

Optimal algorithmic debugging and reduced coverage using search in structured domainsBEN-ASHER, Yosi; BREGER, Igor; FARCHI, Eitan et al.Lecture notes in computer science. 2006, pp 149-157, issn 0302-9743, isbn 3-540-32604-9, 9 p.Conference Paper

An execution slice and inter-block data dependency-based approach for fault localizationERIC WONG, W; YU QI.Asia-Pacific software engineering conference. 2004, pp 366-373, isbn 0-7695-2245-9, 1Vol, 8 p.Conference Paper

The design of D.A.R.T.S. : a dynamic debugger for multiprocessor real-time applicationsTIMMERMAN, M.IEEE transactions on nuclear science. 1992, Vol 39, Num 2, pp 121-129, issn 0018-9499, 1Conference Paper

Source-based trace explorationCHITIL, Olaf.Lecture notes in computer science. 2005, pp 126-141, issn 0302-9743, isbn 3-540-26094-3, 16 p.Conference Paper