VDebugger: Harnessing Execution Feedback for Debugging Visual Programs

Συγγραφείς: Wu, Xueqing, Lin, Zongyu, Zhao, Songyan, Wu, Te-Lin, Lu, Pan, Peng, Nanyun, Chang, Kai-Wei

Θεματικοί όροι: Computer Science - Computation and Language, Computer Science - Computer Vision and Pattern Recognition

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.13444

Benchmarking Educational Program Repair

Συγγραφείς: Koutcheme, Charles, Dainese, Nicola, Sarsa, Sami, Leinonen, Juho, Hellas, Arto, Denny, Paul

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Computers and Society

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2405.05347

Eye: Program Visualizer for CS2

Συγγραφείς: Bansal, Aman, Shah, Preey, Shah, Sahil

Θεματικοί όροι: Computer Science - Computers and Society

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2101.12089

Linux Kernel Debugging : Leverage Proven Tools and Advanced Techniques to Effectively Debug Linux Kernels and Kernel Modules

Συγγραφείς: Kaiwan N. Billimoria

Resource Type: eBook.

Θέματα: Debugging in computer science--Computer programs, Computer programs--Testing

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / System Administration / Backup & Recovery, COMPUTERS / Operating Systems / Linux

Python Debugging for AI, Machine Learning, and Cloud Computing

Συγγραφείς: Dmitry Vostokov

Resource Type: eBook.

Θέματα: Debugging in computer science--Computer programs, Machine learning--Computer simulation, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Probability & Statistics / General, COMPUTERS / Distributed Systems / Cloud Computing

Debugging Machine Learning Models with Python : Develop High-performance, Low-bias, and Explainable Machine Learning and Deep Learning Models

Συγγραφείς: Ali Madani

Resource Type: eBook.

Θέματα: Python (Computer program language), Debugging in computer science--Computer programs, Machine learning--Computer simulation

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition

Detecting Race Conditions in One-Sided Communication of MPI Programs

Συγγραφείς: Park, Mi-Young, Chung, Sang-Hwa

Πηγή: 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on. :867-872 Jun, 2009

Relation: 2009 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS)

TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences

Συγγραφείς: Suzuki, Ryo, Soares, Gustavo, Head, Andrew, Glassman, Elena, Reis, Ruan, Mongiovi, Melina, D'Antoni, Loris, Hartmann, Bjoern

Θεματικοί όροι: Computer Science - Human-Computer Interaction, Computer Science - Computers and Society, Computer Science - Programming Languages, Computer Science - Software Engineering, H.5.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1708.03786

MuTT: A Multi-Threaded Tracer for Java Programs

Συγγραφείς: Liu, Dapeng, Xu, Shaochun

Πηγή: 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on. :949-954 Jun, 2009

Relation: 2009 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS)

An end-to-end workflow for executing a classically bootstrapped variational quantum algorithm on an academic quantum computer.

Συγγραφείς: Wang, Qingfeng, Zhukas, Liudmila A., Miao, Qiang, Dalvi, Aniket S., Love, Peter J., Monroe, Christopher, Chong, Frederic T., Ravi, Gokul Subramanian

Πηγή: npj Unconventional Computing; 6/19/2026, Vol. 3 Issue 1, p1-11, 11p

Θεματικοί όροι: Workflow, Quantum computing, Scheduling, Quantum computers, Application program interfaces, Integrated software, Python programming language

Design of HDTS system for locating logical errors in Java programs

Συγγραφείς: Hoon-Joon Kouh, Sun-Moon Jo, Weon-Hee Yoo

Πηγή: Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05) Computer and information science Computer and Information Science, 2005. Fourth Annual ACIS International Conference on. :418-423 2005

Relation: Proceedings. Fourth Annual ACIS International Conference on Computer and Information Science

AI Code Assistants in Programming Education: A Narrative Literature Review.

Συγγραφείς: Farooq, Umer, Morganti, Dianna, Anwar, Saira

Πηγή: Education Sciences; Jun2026, Vol. 16 Issue 6, p961, 14p

Θεματικοί όροι: Computer programming education, Code generators, Intelligent agents, Psychology of students, Debugging, Thematic analysis, Psychological feedback, Educators' attitudes

Three Programs, Three Years, and Four Concepts: Teachers' Views on Indirection, References, Scope, and Parameter Passing in CSED.

Συγγραφείς: HAGLUND, Pontus, MANNILA, Linda, STRÖMBÄCK, Filip, BERGLUND, Aseel

Πηγή: Informatics in Education; Mar2026, Vol. 25 Issue 1, p137-172, 36p

Θεματικοί όροι: Computer science education, Curriculum, Computer programming, Achievement gains (Education)

A three-valued semantic for Horn clause programs

Συγγραφείς: Naish, L.

Πηγή: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Australasian computer science Computer Science Conference, 2000. ACSC 2000. 23rd Australasian. :174-180 2000

Relation: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000

Hardware assisted memory checkpointing and applications in debugging and reliability

Συγγραφείς: Doudalis, Ioannis

Θεματικοί όροι: Memory checkpointing, Hardware accelerators, Computer systems reliability, Computer architecture, Debugging, Debugging in computer science, Debugging in computer science Computer programs, Memory management (Computer science), Software maintenance

Διαθεσιμότητα: http://hdl.handle.net/1853/42700

Code Interviews: Design and Evaluation of a More Authentic Assessment for Introductory Programming Assignments

Συγγραφείς: Kannam, Suhas, Yang, Yuri, Dharm, Aarya, Lin, Kevin

Θεματικοί όροι: Computer Science - Computers and Society, K.3.2

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.01010

Program result-checking: a theory of testing meets a test of theory

Συγγραφείς: Blum, M., Wasserman, H.

Πηγή: Proceedings 35th Annual Symposium on Foundations of Computer Science Computer science foundations Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :382-392 1994

Relation: Proceedings 35th Annual Symposium on Foundations of Computer Science

Complaint Driven Training Data Debugging for Machine Learning Workflows

Συγγραφείς: Flokas, Lampros

Θεματικοί όροι: Debugging in computer science--Computer programs, Machine learning, Computer science

PrecIRisc: A High-Precision and Low-Bloat Dynamic Binary Instrumentation Tailored for RISC Architectures.

Συγγραφείς: Xie, Wenbing¹ (AUTHOR) xiewb@mail.ustc.edu.cn, Guan, Ruixue¹ (AUTHOR), Yu, Fanyue¹ (AUTHOR), Zhang, Yiming¹ (AUTHOR)

Πηγή: Journal of Electronic Testing. Aug2025, Vol. 41 Issue 4, p483-502. 20p.

Θεματικοί όροι: *Reduced instruction set computers, *Debugging, *Data integrity

Improving the automatic runtime monitor generation process via pruning : a way forward

Συγγραφείς: Chircop, Luke, Colombo, Christian, Micallef, Mark, Francalanza, Adrian, Pace, Gordon J., Computer Science Annual Workshop CSAW’16

Θεματικοί όροι: Computer software -- Testing -- Automation, Debugging in computer science -- Computer programs, Computer software -- Verification, Computer software -- Standards

Relation: https://www.um.edu.mt/library/oar/handle/123456789/94418

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/94418