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

Debugging System for Programs with Different Execution Models

Συγγραφείς: Mikhail Aksenov, Vladimir Sukhomlin

Πηγή: Современные информационные технологии и IT-образование, Vol 16, Iss 2, Pp 389-397 (2020)

Θεματικοί όροι: debug, debugger, virtual machine, compute model, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://sitito.cs.msu.ru/index.php/SITITO/article/view/655; https://doaj.org/toc/2411-1473

Σύνδεσμος πρόσβασης: https://doaj.org/article/24a6961bf96d4ee0b3972146707d9039

Using Program Analysis and Testing to Facilitate Debugging and Optimization of Scientific Applications

Συγγραφείς: Miao, Dolores

Θεματικοί όροι: Computer science, Computer engineering, Information science, compilers, floating-point arithmetic, GPU computing, high-performance computing, program analysis

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/3fv9z1ns
https://escholarship.org/content/qt3fv9z1ns/qt3fv9z1ns.pdf

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

Direct Interpretation of Functional Programs for Debugging

Συγγραφείς: John Whitington, Tom Ridge

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 294, Iss Proc. ML 2017, Pp 41-73 (2019)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://arxiv.org/pdf/1905.06545v1; https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/e47b7937dd984712a2e578e5e050f495

Stealth debugging of programs in Qemu emulator with WinDbg debugger

Συγγραφείς: M. A. Abakumov, P. M. Dovgalyuk

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 87-92 (2018)

Θεματικοί όροι: windbg, qemu, windows, удаленная отладка, скрытая отладка, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/522; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/e6a53d6757554e2e93793b7ab4692eb5

Visualizing Data Flows in Computer Graphics Programs for Code Comprehension and Debugging

Συγγραφείς: Zhu, Ying, primary

Πηγή: Lecture Notes in Computer Science. 2022/01/01

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

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

A three-valued declarative debugging scheme

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

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

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

Using Debugging as a Platform for Transdisciplinary Learning.

Συγγραφείς: Panorkou, Nicole, York, Toni, Germia, Erell

Πηγή: Cognition & Instruction; Jan-Mar2024, Vol. 42 Issue 1, p124-158, 35p

Θεματικοί όροι: Debugging, Middle school education, Middle school students, Computer science

Debugging of computer programs.

Συγγραφείς: Snyder, Randy

Πηγή: Blackwell Encyclopedic Dictionary of Management Information Systems. 2005, p1-80. 79p.

Θεματικοί όροι: Debugging, Computer software, Errors, File conversion (Computer science), Electronic data processing, Computer security, Information resources management, Computer programming

An automated, unobtrusive, formative assessment of creativity in a computer science and music remixing learning environment.

Συγγραφείς: Rahimi, Seyedahmad. ORCID 0000-0001-9266-758X. School of Teaching and Learning, College of Education, University of Florida, Gainesville, FL, US, Smith, Jason Brent. ORCID 0000-0002-7075-6132. Georgia Tech Center for Music Technology, Georgia Institute of Technology, Atlanta, GA, US, Truesdell, Erin J. K.. ORCID 0000-0001-8692-4172. Expressive Machinery Laboratory, Georgia Institute of Technology, Atlanta, GA, US, Vinay, Ashvala. ORCID 0000-0002-2487-2052. Georgia Tech Center for Music Technology, Georgia Institute of Technology, Atlanta, GA, US, Boyer, Kristy Elizabeth. ORCID 0000-0003-3434-3450. University of Florida, Gainesville, FL, US, Magerko, Brian. ORCID 0000-0003-1900-4020. Expressive Machinery Laboratory, Georgia Institute of Technology, Atlanta, GA, US, Freeman, Jason. ORCID 0000-0003-3827-1060. Georgia Tech Center for Music Technology, Georgia Institute of Technology, Atlanta, GA, US, Mcklin, Tom. ORCID 0000-0001-6120-7222. Findings Group, Decatur, GA, US

Πηγή: Psychology of Aesthetics, Creativity, and the Arts, Vol 20(1), Feb, 2026. pp. 77-94.

NLM Title Abbreviation: Psychol Aesthet Creat Arts

Εκδότης: Educational Publishing Foundation

Τύπος έκδοσης: Journal; Peer Reviewed Journal

The impact of programming experience and gender on coding behavior.

Συγγραφείς: Chuang, Yung-Ting¹ (AUTHOR) ytchuang@nycu.edu.tw, Su, Kuan-Chin¹ (AUTHOR)

Πηγή: Thinking Skills & Creativity. Jun2026, Vol. 60, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: Computer science education, Gender differences (Sociology), Educational outcomes, Debugging, Academic support programs, Computer software development, Cross-cultural studies

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

Neurosymbolic Tools for Effective Coding and Debugging

Συγγραφείς: Sakkas, Georgios

Θεματικοί όροι: Computer science, Automated Debugging, Large Language Models, Machine Learning, Neurosymbolic Tools, Program Repair, Program Synthesis

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/0b2298fh
https://escholarship.org/content/qt0b2298fh/qt0b2298fh.pdf

Multiple fault localization based on ant colony algorithm via genetic operation

Συγγραφείς: Heling Cao, Fei Wang, Miaolei Deng, Xianyong Wang, Guangen Liu, Panpan Wang

Πηγή: Journal of King Saud University: Computer and Information Sciences, Vol 35, Iss 8, Pp 101668- (2023)

Θεματικοί όροι: Multiple fault localization, Search-based software engineering, Ant colony algorithm, Genetic operation, Software debugging, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1319157823002227; https://doaj.org/toc/1319-1578

Σύνδεσμος πρόσβασης: https://doaj.org/article/5ca4ad2dc64a4ee9af7c360332c88678

Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.

Συγγραφείς: Feldman, Michael B.¹, Moran, Melinda L.²

Πηγή: IEEE Transactions on Software Engineering. Mar89, Vol. 15 Issue 3, p305-313. 9p. 7 Diagrams.

Θεματικοί όροι: *Visual programming languages (Computer science), *Concurrent engineering, Ada (Computer program language), Debugging, Computer graphics, Software validation

Grammar-aware test case trimming for efficient hybrid fuzzing

Συγγραφείς: Yiru Zhao, Long Gao, Qihan Wan, Lei Zhao

Πηγή: Journal of King Saud University: Computer and Information Sciences, Vol 36, Iss 1, Pp 101920- (2024)

Θεματικοί όροι: Hybrid fuzzing, Fuzzing, Concolic execution, Delta debugging, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1319157824000090; https://doaj.org/toc/1319-1578

Σύνδεσμος πρόσβασης: https://doaj.org/article/9fa261aaef214cc9af974f4283dcc287