Search Results - Program Analysis and Debugging

Characterizing Collaboration in the Pair Program Tracing and Debugging Eye-Tracking Experiment: A Preliminary Analysis

Authors: Villamor, Maureen M. Rodrigo, Mercedes T.

Source: International Educational Data Mining Society. 2017.

Peer Reviewed: Y

Page Count: 6

Descriptors: Programming, Eye Movements, Prior Learning, Computer Assisted Instruction, Educational Technology, Foreign Countries, College Students, Cooperative Learning

Geographic Terms: Philippines

Quantitative Evaluation of the Effects of Reading Aloud and Subvocalization on Program Code Debugging Tasks

Authors: Tetsuo Tanaka Mari Ueda

Source: International Association for Development of the Information Society. 2025.

Peer Reviewed: Y

Page Count: 8

Descriptors: Foreign Countries, Undergraduate Students, Graduate Students, Programming, Coding, Troubleshooting, Oral Reading, Inner Speech (Subvocal), Silent Reading, Cognitive Processes, Difficulty Level

Geographic Terms: Japan

Digging deeper: hardware-supported dynamic analysis of Linux programs

Authors: Santos, Rodrigo Oliveira

Subject Terms: JTAG, Android, Dynamic Analysis, Debugging, Tracing, OpenOCD, Pandaboard ES, Flyswatter2, Linux

Availability: https://hdl.handle.net/10316/35574

Program analysis, debugging and optimization using the ciao system preprocessor

Authors: Hermenegildo, Manuel V. Bueno Carrillo, Francisco Puebla Sánchez, Alvaro Germán et al.

Source: Logic Programming:Proceedings of the 1999 International Conference on Logic Programming | The 1999 international conference on Logic programming | November 29-December 4, 1999 | Las Cruces, New Mexico, USA
Archivo Digital UPM
instname

Subject Terms: Optimization, Paralelización, Informática, Abstract Interpretation, Verification, Parallelization, Verificación, Optimización, Evaluación parcial, Análisis global, Interpretación de resúmenes, Partial Evaluation, Depuración, Global Analysis, Debugging, Especialización múltiple, Múltiple Specialization

File Description: application/pdf

Access URL: https://oa.upm.es/14553/

Property probes: Live exploration of program analysis results

Authors: Alakula, Anton Risberg Hedin, Gorel Fors, Niklas et al.

Index Terms: Program analysis; Debugging; Property probes; CodeProber, Computer Sciences, Datavetenskap (datalogi), Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-202469
Journal of Systems and Software, 0164-1212, 2024, 211

Prospective Mathematics Teachers' Mental Actions Related to Debugging in Technology Supported Mathematical Modeling

Authors: Süleyman Emre Aktas Çaglar Naci Hidiroglu

Source: Journal of Pedagogical Research. 2024 8(4):397-419.

Peer Reviewed: Y

Page Count: 23

Descriptors: Preservice Teachers, Mathematics Teachers, Mathematical Models, Mathematics Instruction, Teacher Education Programs, Instructional Design, Teaching Methods, Video Technology, Computer Software, Problem Solving, Error Correction, Thinking Skills, Computer Assisted Instruction, Units of Study, Middle School Teachers, Foreign Countries

Geographic Terms: Turkey

Tracking Students' Cognitive Processes during Program Debugging--An Eye-Movement Approach

Authors: Lin, Yu-Tzu Wu, Cheng-Chih Hou, Ting-Yun et al.

Source: IEEE Transactions on Education. Aug 2016 59(3):175-186.

Peer Reviewed: Y

Page Count: 12

Descriptors: Cognitive Processes, Programming, Computer Software, Computer Science Education, Troubleshooting, Eye Movements, Undergraduate Students, Programming Languages, Sequential Learning, Logical Thinking, Protocol Analysis, Majors (Students), Performance, Foreign Countries

Geographic Terms: Taiwan

Automatic debugging of Prolog programs in a Prolog Intelligent Tutoring System

Authors: LOOI, CHEE-KIT

Source: Instructional Science, 1991 Jan 01. 20(2/3), 215-263.

Access URL: https://www.jstor.org/stable/23369897

Contrasting Stances at the Crossroads of Debugging Learning Opportunities

Authors: David DeLiema Ashley Hufnagle Miguel Ovies-Bocanegra

Source: British Journal of Educational Psychology. 2025 95(1):73-91.

Peer Reviewed: Y

Page Count: 19

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Middle School Students, Nonprofit Organizations, Summer Programs, Workshops, Design, Research Projects, Coding, Hispanic American Students, Asian American Students, White Students, Troubleshooting, Learning Experience, Failure, Self Efficacy, Cognitive Style

Rewriting Logic Techniques for Program Analysis and Optimization

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Ballis, Demis

Subject Terms: Rewriting Logic, Maude, Program Diagnosis and Debugging, Runtime Assertion Checking, Dynamic Program and Trace Slicing, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/94044

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor

Source: Logic Programming ISBN: 9780262291118

Access URL: http://oa.upm.es/14553/1/HERMENE_IPT_1999-1.pdf

Property Probes Source Code Based Exploration of Program Analysis Results

Authors: Alakula, Anton Risberg Hedin, Gorel Fors, Niklas et al.

Index Terms: program analysis; debugging; property probes, Computer Sciences, Datavetenskap (datalogi), Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-209522
PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, p. 148-160

Combining over- and under-approximating program analyses for automatic software testing

Authors: Csallner, Christoph

Subject Terms: Program analysis pipeline, Software verification, Resetting program state, Extended static checking, False warnings, Computer software Testing, Debugging in computer science, Computer programs Testing

Availability: http://hdl.handle.net/1853/24764

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor

Authors: Manuel Hermenegildo Francisco Bueno The Pennsylvania State University CiteSeerX Archives

Contributors: Manuel Hermenegildo Francisco Bueno The Pennsylvania State University CiteSeerX Archives

Source: http://clip.dia.fi.upm.es/papers/ciaopp-iclp99-tut.ps.gz.

Subject Terms: Global Analysis, Debugging, Verication, Parallelization, Optimization, Partial Evaluation, Multiple Specialization, Abstract Interpretation. 1

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.241

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.241
http://clip.dia.fi.upm.es/papers/ciaopp-iclp99-tut.ps.gz

DeepCNN: A Dual Approach to Fault Localization and Repair in Convolutional Neural Networks

Authors: Mohammad Wardat Abdullah Al-Alaj

Source: IEEE Access, Vol 12, Pp 50321-50334 (2024)

Subject Terms: Deep neural networks, fault location, debugging, program analysis, deep learning bugs, convolutional neural networks, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: https://ieeexplore.ieee.org/document/10491264/; https://doaj.org/toc/2169-3536

Access URL: https://doaj.org/article/00eca0d57d08413fb6f7569fed518dc3

Demand-driven analysis of pointers for software program analysis and debugging

Qualitative Coding with GPT-4: Where It Works Better

Authors: Xiner Liu Andres Felipe Zambrano Ryan S. Baker et al.

Source: Journal of Learning Analytics. 2025 12(1):169-185.

Peer Reviewed: Y

Page Count: 17

Sponsoring Agency: National Science Foundation (NSF), Division of Research on Learning in Formal and Informal Settings (DRL)

Descriptors: Coding, Artificial Intelligence, Automation, Data Analysis, Educational Research, Engineering, Man Machine Systems, Algebra, Tutoring, Game Based Learning, Troubleshooting, Introductory Courses, Programming, Interrater Reliability, Program Effectiveness, Prompting

DEMAND-DRIVEN ANALYSIS OF POINTERS FOR SOFTWARE PROGRAM ANALYSIS AND DEBUGGING

Automatic program analysis in a Prolog Intelligent Teaching System

Authors: Looi, Chee-Kit

Subject Terms: 005, Computer program debugging

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235450

Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387.

Authors: Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab. Goldstein, Ira P. Miller, Mark L.

Peer Reviewed: N

Page Count: 92

Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.
National Science Foundation, Washington, DC.

Descriptors: Artificial Intelligence, Computer Graphics, Computer Programs, Diagrams, Linguistic Theory, Planning, Problem Solving, Programing, Task Analysis