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

Property probes: live exploration of program analysis results

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: Journal of Systems and Software Property Probes: Live Exploration of Source Code Analysis. 211

Θεματικοί όροι: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)

Σύνδεσμος πρόσβασης: https://doi.org/10.1016/j.jss.2024.111980

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

Συγγραφείς: Stefik, A., Fitz, K., Alexander, R.

Πηγή: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: The Art, Science, and Engineering of Programming. 10(1)

Θεματικοί όροι: Natural Sciences, Computer and Information Sciences, Software Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Kehao Mao, Baokun Hu, Ruixin Lin, Zewen Li, Guanyu Lu, Zhengyu Zhang

Πηγή: Frontiers in Artificial Intelligence, Vol 8 (2025)

Θεματικοί όροι: code generation, large language models, multi-agent systems, program synthesis, automated debugging, blueprint planning, Electronic computers. Computer science, QA75.5-76.95

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

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

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

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

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

An RSCL3 tutor for debugging Pascal programs

Συγγραφείς: Rubin, S.H., Kennedy, L.M.

Πηγή: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: 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

Θεματικοί όροι: Natural Sciences, Computer and Information Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik)

Σύνδεσμος πρόσβασης: https://doi.org/10.1145/3567512.3567525

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

Συγγραφείς: Alieka Halyna

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

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

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

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

Συγγραφείς: Peng Xiao, Xiuhong Shen, Sujun Wang

Πηγή: Frontiers in Computer Science, Vol 8 (2026)

Θεματικοί όροι: cloud computing, learning to rank, lightweight, program spectrum, software fault localization, Electronic computers. Computer science, QA75.5-76.95

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

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

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

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

Causes and Effects in Computer Programs

Συγγραφείς: Zeller, Andreas

Θεματικοί όροι: Computer Science - Software Engineering, D.2.5

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

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

Software multi-fault localization via Chameleon clustering in parallel

Συγγραφείς: Heling Cao, Yonghe Chu, Chenyang Zhao, Miaolei Deng

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

Θεματικοί όροι: Program debugging, Fault localization, Cluster analysis, Multiple faults, Electronic computers. Computer science, QA75.5-76.95

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

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

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

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

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

Συγγραφείς: 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

Συνεισφορές: 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

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

Θεματικοί όροι: Engineering and Technology, Electrical Engineering, Electronic Engineering, Information Engineering, Robotics and automation, Teknik, Elektroteknik och elektronik, Robotik och automation, Computer Systems, Datorsystem

Σύνδεσμος πρόσβασης: https://doi.org/10.3389/frobt.2024.1363443

Validation of Abstract Side-Channel Models for Computer Architectures

Συγγραφείς: Nemati, Hamed, Author, Buiras, Pablo, Author, Lindner, Andreas, Author, Guanciale, Roberto, Author, Jacobs, Swen, Author

Συνεισφορές: Nemati, Hamed, Author, Buiras, Pablo, Author, Lindner, Andreas, Author, Guanciale, Roberto, Author, Jacobs, Swen, Author

Πηγή: Lecture Notes in Computer Science book series. :225-248

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Poswig, J., Vrankar, G., Moraga, C.

Πηγή: 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