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

Authors: Miao, Dolores

Subject Terms: Computer science, Computer engineering, Information science, compilers, floating-point arithmetic, GPU computing, high-performance computing, program analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/3fv9z1ns
https://escholarship.org/content/qt3fv9z1ns/qt3fv9z1ns.pdf

Property probes: live exploration of program analysis results

Authors: Risberg Alaküla, Anton, Author, Hedin, Görel, Author, Fors, Niklas, Author, Pop, Adrian, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator

Contributors: Risberg Alaküla, Anton, Author, Hedin, Görel, Author, Fors, Niklas, Author, Pop, Adrian, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator

Source: Journal of Systems and Software Property Probes: Live Exploration of Source Code Analysis. 211

Subject Terms: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Access URL: https://doi.org/10.1016/j.jss.2024.111980

Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness

Authors: Stefik, A., Fitz, K., Alexander, R.

Source: 14th IEEE International Conference on Program Comprehension (ICPC'06) Program Comprehension, 2006. ICPC 2006. 14th IEEE International Conference on. :89-93 2006

Relation: 2006 14th IEEE International Conference on Program Comprehension

Study of the use of property probes in an educational setting

Authors: Risberg Alaküla, Anton, Author, Fors, Niklas, Author, Söderberg, Emma, Author, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator, Lund University, Faculty of Engineering, LTH, Competence centers, LTH, NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation, Lunds universitet, Lunds Tekniska Högskola, Kompetenscentrum, LTH, NEXTG2COM – ett Vinnova kompetenscenter inom Avancerad Digitalisering, Originator

Contributors: Risberg Alaküla, Anton, Author, Fors, Niklas, Author, Söderberg, Emma, Author, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator, Lund University, Faculty of Engineering, LTH, Competence centers, LTH, NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation, Lunds universitet, Lunds Tekniska Högskola, Kompetenscentrum, LTH, NEXTG2COM – ett Vinnova kompetenscenter inom Avancerad Digitalisering, Originator

Source: The Art, Science, and Engineering of Programming. 10(1)

Subject Terms: Natural Sciences, Computer and Information Sciences, Software Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik

Access URL: https://doi.org/10.22152/programming-journal.org/2025/10/10

Blueprint2Code: a multi-agent pipeline for reliable code generation via blueprint planning and repair

Authors: Kehao Mao, Baokun Hu, Ruixin Lin, Zewen Li, Guanyu Lu, Zhengyu Zhang

Source: Frontiers in Artificial Intelligence, Vol 8 (2025)

Subject Terms: code generation, large language models, multi-agent systems, program synthesis, automated debugging, blueprint planning, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frai.2025.1660912/full; https://doaj.org/toc/2624-8212

Access URL: https://doaj.org/article/af1b157b62a74b989345306a5066c003

Debugging System for Programs with Different Execution Models

Authors: Mikhail Aksenov, Vladimir Sukhomlin

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

Subject Terms: debug, debugger, virtual machine, compute model, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/24a6961bf96d4ee0b3972146707d9039

Direct Interpretation of Functional Programs for Debugging

Authors: John Whitington, Tom Ridge

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

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/e47b7937dd984712a2e578e5e050f495

An RSCL3 tutor for debugging Pascal programs

Authors: Rubin, S.H., Kennedy, L.M.

Source: Proceedings of IEEE International Conference on Systems, Man and Cybernetics Systems, man, and cybernetics Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on. 3:2505-2510 vol.3 1994

Relation: Proceedings of IEEE International Conference on Systems, Man and Cybernetics

Property probes: source code based exploration of program analysis results

Authors: Risberg Alaküla, Anton, Author, Hedin, Görel, Author, Fors, Niklas, Author, Pop, Adrian, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator

Contributors: Risberg Alaküla, Anton, Author, Hedin, Görel, Author, Fors, Niklas, Author, Pop, Adrian, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator

Source: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022. SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022. :148-160

Subject Terms: Natural Sciences, Computer and Information Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik)

Access URL: https://doi.org/10.1145/3567512.3567525

METHODOLOGICAL APPROACHES TO TRAINING FUTURE COMPUTER SCIENCE TEACHERS IN PROGRAMMING WITH SCRATCH ENVIRONMENT

Authors: Alieka Halyna

Source: Alfred Nobel University Journal of Pedagogy and Psychology, Vol 2, Iss 28, Pp 109-119 (2024)

Subject Terms: methodology of teaching computer science, scratch environment, visual programming environment, game-based learning methods, methods of teaching programming, future computer science teachers, Psychology, BF1-990

File Description: electronic resource

Relation: https://pedpsy.duan.edu.ua/images/PDF/2024/2/12.pdf; https://doaj.org/toc/3041-2196; https://doaj.org/toc/3041-220X

Access URL: https://doaj.org/article/7081e6b3871f42af9c63878e19b98396

A lightweight approach to software fault localization using static features of statements in cloud computing environments

Authors: Peng Xiao, Xiuhong Shen, Sujun Wang

Source: Frontiers in Computer Science, Vol 8 (2026)

Subject Terms: cloud computing, learning to rank, lightweight, program spectrum, software fault localization, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2026.1734298/full; https://doaj.org/toc/2624-9898

Access URL: https://doaj.org/article/a0cc3126c59640a4bdd83877b7b46096

Stealth debugging of programs in Qemu emulator with WinDbg debugger

Authors: M. A. Abakumov, P. M. Dovgalyuk

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

Subject Terms: windbg, qemu, windows, удаленная отладка, скрытая отладка, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/e6a53d6757554e2e93793b7ab4692eb5

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

Authors: Zhu, Ying, primary

Source: Lecture Notes in Computer Science. 2022/01/01

Causes and Effects in Computer Programs

Authors: Zeller, Andreas

Subject Terms: Computer Science - Software Engineering, D.2.5

Access URL: http://arxiv.org/abs/cs/0309047

Neurosymbolic Tools for Effective Coding and Debugging

Authors: Sakkas, Georgios

Subject Terms: Computer science, Automated Debugging, Large Language Models, Machine Learning, Neurosymbolic Tools, Program Repair, Program Synthesis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/0b2298fh
https://escholarship.org/content/qt0b2298fh/qt0b2298fh.pdf

Software multi-fault localization via Chameleon clustering in parallel

Authors: Heling Cao, Yonghe Chu, Chenyang Zhao, Miaolei Deng

Source: Journal of King Saud University: Computer and Information Sciences, Vol 35, Iss 8, Pp 101676- (2023)

Subject Terms: Program debugging, Fault localization, Cluster analysis, Multiple faults, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/fbf7e5436b3e41ce8fa772fd7d0fd438

Using Debugging as a Platform for Transdisciplinary Learning.

Authors: Panorkou, Nicole, York, Toni, Germia, Erell

Source: Cognition & Instruction; Jan-Mar2024, Vol. 42 Issue 1, p124-158, 35p

Subject Terms: Debugging, Middle school education, Middle school students, Computer science

EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection

Authors: Rizwan, Momina, Author, Reichenbach, Christoph, Author, Caldas, Ricardo, Author, Mayr, Matthias, Author, Krueger, Volker, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Robotics and Semantic Systems, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Robotik och Semantiska System, Originator, Lund University, Faculty of Engineering, LTH, Competence centers, LTH, NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation, Lunds universitet, Lunds Tekniska Högskola, Kompetenscentrum, LTH, NEXTG2COM – ett Vinnova kompetenscenter inom Avancerad Digitalisering, Originator, Lund University, Profile areas and other strong research environments, Lund University Profile areas, LU Profile Area: Natural and Artificial Cognition, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Lunds universitets profilområden, LU profilområde: Naturlig och artificiell kognition, Originator

Contributors: Rizwan, Momina, Author, Reichenbach, Christoph, Author, Caldas, Ricardo, Author, Mayr, Matthias, Author, Krueger, Volker, Author, Lund University, Faculty of Engineering, LTH, LTH Profile areas, LTH Profile Area: AI and Digitalization, Lunds universitet, Lunds Tekniska Högskola, LTH profilområden, LTH profilområde: AI och digitalisering, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator, Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator, Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Robotics and Semantic Systems, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Robotik och Semantiska System, Originator, Lund University, Faculty of Engineering, LTH, Competence centers, LTH, NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation, Lunds universitet, Lunds Tekniska Högskola, Kompetenscentrum, LTH, NEXTG2COM – ett Vinnova kompetenscenter inom Avancerad Digitalisering, Originator, Lund University, Profile areas and other strong research environments, Lund University Profile areas, LU Profile Area: Natural and Artificial Cognition, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Lunds universitets profilområden, LU profilområde: Naturlig och artificiell kognition, Originator

Source: Frontiers in robotics and AI Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages. 11(2024)

Subject Terms: Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Robotics and automation, Teknik, Elektroteknik och elektronik, Robotik och automation, Computer Systems, Datorsystem

Access URL: https://doi.org/10.3389/frobt.2024.1363443

Validation of Abstract Side-Channel Models for Computer Architectures

Authors: Nemati, Hamed, Author, Buiras, Pablo, Author, Lindner, Andreas, Author, Guanciale, Roberto, Author, Jacobs, Swen, Author

Contributors: Nemati, Hamed, Author, Buiras, Pablo, Author, Lindner, Andreas, Author, Guanciale, Roberto, Author, Jacobs, Swen, Author

Source: Lecture Notes in Computer Science book series. :225-248

Subject Terms: Information flow security, Microarchitectures, Model validation, Side channels, Testing, Computer aided analysis, Program debugging, Software testing, Indistinguishability, Information flows, Observational models, Program generation, Relational analysis, Side-channel, Symbolic execution, Test program, Computer architecture

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285360
https://doi.org/10.1007/978-3-030-53288-8_12

Interactive animation of visual program execution

Authors: Poswig, J., Vrankar, G., Moraga, C.

Source: Proceedings 1993 IEEE Symposium on Visual Languages Visual Languages, 1993., Proceedings 1993 IEEE Symposium on. :180-187 1993

Relation: Proceedings 1993 IEEE Symposium on Visual Languages