Filters








32,350 Hits in 2.6 sec

Guided Type Debugging [chapter]

Sheng Chen, Martin Erwig
2014 Lecture Notes in Computer Science  
type and suggest changes that match that goal 9 Guided type debugging in action 10 Guided type debugging  ...  Guided Type Debugging Sheng Chen and Martin Erwig School of EECS Oregon State University Outline 2 Outline Computing potential changes  ... 
doi:10.1007/978-3-319-07151-0_3 fatcat:4m4fw5t3hjf5tiktc5ju3v3dky

Extracting Label-specific Key Input Features for Neural Code Intelligence Models [article]

Md Rafiqul Islam Rabin
2022 arXiv   pre-print
Our experiments on multiple models across different types of input programs show that the syntax-guided program reduction technique significantly outperforms the syntax-unaware program reduction technique  ...  In this paper, we apply a syntax-guided program reduction technique that follows the syntax of input programs during reduction.  ...  An experiment with two CI models and four types of input programs reveals that the syntax-guided PERSES performs very well compared to the syntax-unaware Delta-Debugging.  ... 
arXiv:2202.06474v1 fatcat:hhqviedbyndxtcawaj6srgb7wq

THE INVESTIGATION OF NOVICE PROGRAMMERS' DEBUGGING BEHAVIORS TO INFORM INTELLIGENT E-LEARNING ENVIRONMENTS: A CASE STUDY

Gamze TÜRKMEN, Sonay CANER
2020 The Turkish Online Journal of Distance Education  
The questions were framed under three categories as questions' difficulty levels (low, moderate and high), error types (syntax and logic), and question types (if-else and while).  ...  This study aims to provide a comprehensive and in-depth investigation of the debugging process in programming teaching in terms of cognitive and metacognitive aspects, based on programming students who  ...  and guide them in a way about their programming behaviors.  ... 
doi:10.17718/tojde.762039 fatcat:qijyddfuone2rnujhm3naljty4

Debug Patterns for Efficient High-level SystemC Debugging

Frank Rogin, Erhard Fehlauer, Christian Haufe, Sebastian Ohnewald
2007 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems  
This paper proposes debug patterns combined with an intuitive flow to accelerate and simplify the debugging of SystemC designs.  ...  A debug pattern provides a formalized procedure to fix a defect (also colloquial bug) that is notified by an always recurring failure symptom.  ...  At the highest level several debug patterns guide the debugging process.  ... 
doi:10.1109/ddecs.2007.4295320 dblp:conf/ddecs/RoginFHO07 fatcat:te6rxjdk7zgyvmy7latyushz2m

An overview of Prolog debugging tools

Paul Brna, Mike Brayshaw, Alan Bundy, Mark Elsom-Cook, Pat Fung, Tony Dodd
1991 Instructional Science  
In this paper we present an overview of the advances in debugging standard Prolog programs.  ...  The analysis offered is in terms of a classification of tools that provide different degrees of activity in the debugging process. Other possible dimensions of analysis are also outlined.  ...  Improved monitoring methods can pay better dividends than guided (and automated) debugging methods.  ... 
doi:10.1007/bf00120882 fatcat:7yen3seovbdidklzd777zenye4

Follow the path: Debugging state anomalies along execution histories

Michael Perscheid, Tim Felgentreff, Robert Hirschfeld
2014 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)  
In this paper, we present state navigation as a debugging guide that highlights unexpected state properties along execution histories.  ...  To evaluate our approach, we observe eight developers during debugging four non-trivial failures.  ...  In this paper, we present state navigation as a debugging guide that reveals infection chains by emphasizing state anomalies along execution histories.  ... 
doi:10.1109/csmr-wcre.2014.6747162 dblp:conf/csmr/PerscheidFH14 fatcat:ivyvf5owi5clzooisa2mxwoypm

A Knowledge-based Automated Debugger in Learning System [article]

Abdullah Mohd Zin, Zarina Shukur Universiti Kebangsaan Malaysia, Bangi, Malaysia
2001 arXiv   pre-print
Currently, programming instructors continually face the problem of helping to debug students' programs.  ...  We propose a new knowledge-based automated debugger to be used as a user-friendly tool by the students to self-debug their own programs.  ...  Adil will function as an intelligent debugging assistant to guide the students and practically impart the debugging skills through the debugging sessions.  ... 
arXiv:cs/0101008v1 fatcat:o5nn2bdegffqzm4ot7iqj7yvlq

An Analysis of Middle Grade Teachers' Debugging Pedagogical Content Knowledge

Jennifer Tsan, David Weintrop, Diana Franklin
2022 Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1  
It is necessary to inform teachers how to debug and help their students debug programs.  ...  The teachers completed debugging activities that involved finding bugs in Scratch programs and explaining how they would help their students in debugging.  ...  • Are there differences in teacher support type between novice and more experienced CS teachers?  ... 
doi:10.1145/3502718.3524770 fatcat:pzthxmkz5fa2nnzj3gx2z7uiqu

A Type System Based on End-User Vocabulary

Robin Abraham, Martin Erwig, Scott Andrew
2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007)  
The subjects had difficulty debugging "non-local" unit errors. Guided by the results of the study we devised new methods to improve the errorlocation inference.  ...  We discovered that end users can effectively use the system to debug a variety of errors in their spreadsheets. This result is encouraging given that type systems are difficult even for programmers.  ...  The fault-localization mechanism in WYSIWYT [14] uses cell shading to guide the users while they are debugging faults uncovered by their test cases.  ... 
doi:10.1109/vlhcc.2007.22 dblp:conf/vl/AbrahamEA07 fatcat:ubgvqab6zzgklk2jw3q3pmj56y

Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework

Chu-Ti Lin
2011 Mathematical and computer modelling  
., the number of debuggers required) for a debugging system under different degrees of imperfect debugging.  ...  Then, we relax the restriction on perfect debugging, and further propose Procedure_imperfect_ debugging based on a queuing model with feedback to address the case of imperfect debugging.  ...  Such records constitute a valuable source of information that can help project managers guide the execution of software projects.  ... 
doi:10.1016/j.mcm.2011.07.033 fatcat:kdwbvmu6yrcyfpy4wkkgdcht2u

An Exploration of Student-Tutor Interactions in Computing

Sophia Krause-Levy, Rachel S. Lim, Ismael Villegas Molina, Yingjun Cao, Leo Porter
2022 Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1  
Guiding Questions, questions that are aimed at guiding students to the answer such as "What should be the return type for this method? And what type is your method currently returning?"  ...  As such, it's important to assist and guide students through debugging but not simply give away the answer.  ... 
doi:10.1145/3502718.3524786 fatcat:45vcbucii5dplohjna55aywkae

Page 36 of Behavior Research Methods Vol. 2, Issue 1 [page]

1970 Behavior Research Methods  
Input, showing the computer type-out underlined, is as follows for the logic debug subroutine. S 265 (Desired starting address in user’s program) P 1 (Debug program, 0 or 1.  ...  In summary, the PDP-8 debug package appears to have the following worthwhile features: It allows normal operation with interrupts. Input is brief, guided, octal, and versatile.  ... 

Magellan

Pradap Konda, Jeff Naughton, Shishir Prasad, Ganesh Krishnan, Rohit Deep, Vijay Raghavendra, Sanjib Das, Paul Suganthan G. C., AnHai Doan, Adel Ardalan, Jeffrey R. Ballard, Han Li (+2 others)
2016 Proceedings of the VLDB Endowment  
Magellan is novel in four important aspects. (1) It provides how-to guides that tell users what to do in each EM scenario, step by step. (2) It provides tools to help users do these steps; the tools seek  ...  Blocking and Debugging Blockers: All teams used 1-5 blockers (e.g., attribute equivalence, overlap, rule-based), for an average of 3. On average 3 different types of blockers were used per team.  ...  Unfortunately the commands may return inappropriate types of objects.  ... 
doi:10.14778/2994509.2994535 fatcat:gyy2hzmc3ngxlnnm4ast7nffyi

Packet-Level Telemetry in Large Datacenter Networks

Yibo Zhu, Ben Y. Zhao, Haitao Zheng, Nanxi Kang, Jiaxin Cao, Albert Greenberg, Guohan Lu, Ratul Mahajan, Dave Maltz, Lihua Yuan, Ming Zhang
2015 Computer communication review  
Debugging faults in complex networks often requires capturing and analyzing traffic at the packet level.  ...  It shuffles captured packets to multiple analysis servers using load balancers built on switch ASICs, and it sends "guided probes" to test or confirm potential faults.  ...  We then send guided probes to each next hop switch to confirm the culprit. Silent blackhole: the type of routing blackhole that does not show up in forwarding tables.  ... 
doi:10.1145/2829988.2787483 fatcat:kvtt233egrekfas2ud5gwua5fe

Packet-Level Telemetry in Large Datacenter Networks

Yibo Zhu, Ben Y. Zhao, Haitao Zheng, Nanxi Kang, Jiaxin Cao, Albert Greenberg, Guohan Lu, Ratul Mahajan, Dave Maltz, Lihua Yuan, Ming Zhang
2015 Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication - SIGCOMM '15  
Debugging faults in complex networks often requires capturing and analyzing traffic at the packet level.  ...  It shuffles captured packets to multiple analysis servers using load balancers built on switch ASICs, and it sends "guided probes" to test or confirm potential faults.  ...  We then send guided probes to each next hop switch to confirm the culprit. Silent blackhole: the type of routing blackhole that does not show up in forwarding tables.  ... 
doi:10.1145/2785956.2787483 dblp:conf/sigcomm/ZhuKCGLMMYZZZ15 fatcat:xr3zb5j4pnfelg2amprfhx43va
« Previous Showing results 1 — 15 out of 32,350 results