Search Results - "program debugging"

Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations

Authors: Etemadi, Khashayar Harrand, Nicolas Larsén, Simon et al.

Source: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810

Subject Terms: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-323274
https://doi.org/10.1109/TDSC.2022.3167316

Neural Transfer Learning for Repairing Security Vulnerabilities in C Code

Authors: Chen, Zimin Kommrusch, Steve James Monperrus, Martin

Source: IEEE Transactions on Software Engineering. 49(1):147-165

Subject Terms: Codes, Computer bugs, seq2seq learning, Software, Task analysis, Training, transfer learning, Transformers, vulnerability fixing, C (programming language), Costs, Deep learning, Job analysis, Knowledge management, Personnel training, Program debugging, Code, Security vulnerabilities, Transformer, Repair

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320561
https://doi.org/10.1109/TSE.2022.3147265

Pearce's Characterisation in an Epistemic Domain

Authors: Su, Ezgi Iraz

Source: Electronic Proceedings in Theoretical Computer Science. 416:201-214

Subject Terms: Programming problem, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Literals, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Problem-solving, Answer set programming, Monotonics, Equilibrium logic, Answer set, Program debugging, Specification languages, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Logic programs, Non-monotonic reasoning, Declarative logic, Inductive logic programming (ILP), Majority logic, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2502.09221
https://hdl.handle.net/11486/4356
https://doi.org/10.4204/EPTCS.416.18

Failure Transparency in Stateful Dataflow Systems

Authors: Veresov, Aleksey Spenger, Jonas Carbone, Paris et al.

Source: Leibniz International Proceedings in Informatics, LIPIcs. 313

Subject Terms: Network security, Program debugging, Checkpoint recovery, Complex failure, Dataflow, Distributed systems, Failure handling, Failure transparency, High level of abstraction, Implementation models, Operational semantics, Stateful dataflow, Data flow analysis

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-76008
https://doi.org/10.4230/LIPIcs.ECOOP.2024.42

The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking

Authors: Justyna Petke Matias Martinez Maria Kechagia et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

Subject Terms: Automation, Evaluation strategies, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Empirical studies, Over fitting problem, Repair techniques, Automated program repair, Patch assessment, Program debugging, Software testing, Software bug

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/421157
https://doi.org/10.1145/3663529.3663776

Visualization Method for Data Structure Evolution in Program Debugging

Authors: SU Qing, CHEN Jiancheng, GU Guosheng, LIU Dongning, HUANG Jianfeng

Source: Jisuanji gongcheng, Vol 50, Iss 9, Pp 197-207 (2024)

Subject Terms: program debugging, data structure visualization, component evolution behavior, finite state machine, data structure evolution model, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20240920.pdf; https://doaj.org/toc/1000-3428

Access URL: https://doaj.org/article/5bdfcb7c144c43f9a1c12e67bfe733e6

MultiDimEr: A Multi-Dimensional bug analyzEr

Authors: Silva, Lakmal Unterkalmsteiner, Michael Wnuk, Krzysztof

Source: Proceedings - International Conference on Technical Debt 2022, TechDebt 2022. :66-70

Subject Terms: Decision making, Fault slips, Program debugging, % reductions, Bug analyse, Bug managements, Bug reports, Bug visualization, Multi dimensional, Soft-ware maintenance, Software development organizations, Technical debts, Tool support, Software design, bug analysis, bug management, technical debt

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-23552
https://doi.org/10.1145/3524843.3528099

Software Log Classification in Telecommunication Industry

Authors: Ülkü, Onur Gözüacik, Necip Tanberk, Senem et al.

Contributors: Ülkü, Onur Gözüacik, Necip Tanberk, Senem et al.

Source: 2021 6th International Conference on Computer Science and Engineering (UBMK). :348-353

Subject Terms: Support vector machines, Log analysis, Software logs, Classification (of information), 9. Industry and infrastructure, Decision trees, TF-IDF, Logistic regression, 02 engineering and technology, Random forests, Program debugging, Software bug, Software-systems, Log analytic, Log analytics, Nearest neighbor search, Telecommunication industry, 0202 electrical engineering, electronic engineering, information engineering, log analytics, TF-IDF, bag of words, logistic regression, Voice/data communication systems, Telecommunications industry, Bag of words, Log data, Machine learning techniques

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.12831/9277
https://doi.org/10.1109/ubmk52708.2021.9558985
http://hdl.handle.net/11467/6042

Estimating Efforts for Various Activities in Agile Software Development: An Empirical Study

Authors: Lan Cao

Source: IEEE Access, Vol 10, Pp 83311-83321 (2022)

Subject Terms: bug-fixing effort estimation, Software development management, Bug-fixing effort estimation, 02 engineering and technology, Refactoring effort estimation, Software prototyping, Program debugging, Short frequent feedback, Predictive models, Project management, 0202 electrical engineering, electronic engineering, information engineering, Software maintenance, Technology and Innovation, Agile software effort estimation, 9. Industry and infrastructure, Data Science, Software Engineering, refactoring effort estimation, Bug fix, TK1-9971, Planning, Computer bugs, Task analysis, Electrical engineering. Electronics. Nuclear engineering, Agile software development, Estimation, Software

File Description: application/pdf

Access URL: https://doaj.org/article/63df873c01804fd38b3a454ca283fc70

Localizer: A Visual Debugging Assistant for Python Programs

Authors: Khan, Shehroz Sudheerbabu, Gaadha Truscan, Dragos et al.

Contributors: Khan, Shehroz Sudheerbabu, Gaadha Truscan, Dragos et al.

Source: Khan, S, Sudheerbabu, G, Truscan, D & Ahmad, T 2024, Localizer: A Visual Debugging Assistant for Python Programs. in E G Boix & C Scholliers (eds), DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with : ISSTA 2024. DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024, ACM, New York, NY, USA, pp. 34–35, ACM International Workshop on Future Debugging Techniques, 19/09/24. https://doi.org/10.1145/3678720.3685321

Subject Terms: Spectrum-based fault localization, dynamic analysis, program debugging, program slicing, program spectra

File Description: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/9798400711107; info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-1110-7; urn:ISBN:9798400711107

Availability: https://research.abo.fi/en/publications/ea9a5343-fa72-42fa-b672-68e576886da5
https://doi.org/10.1145/3678720.3685321
https://research.abo.fi/ws/files/63347093/3678720.3685321.pdf
https://urn.fi/URN:NBN:fi-fe2024100876530

Fuzzing Binaries for Memory Safety Errors with QASan

Authors: Fioraldi A. Delia D. C. Querzoni L.

Source: 2020 IEEE Secure Development (SecDev). :23-30

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, fuzzy set theory, program debugging, program diagnostics, program testing, public domain software, software reliability, memory safety errors, fuzz testing techniques, crashing trial cases, memory safety violations, silent corruptions, sanitization machinery, closed-source software, fuzzing incurs practical obstacles, architecture-independent proposal, heap memory violations, standalone sanitizers, AFL++ fuzzer, QASan, heap-related bugs, Fuzzing, Safety, Software, Resource management, Tools, Computer bugs, Proposals

File Description: application/pdf

Validation of Abstract Side-Channel Models for Computer Architectures

Authors: Nemati, Hamed Buiras, Pablo Lindner, Andreas et al.

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

REDUSHARPTOR: A TOOL TO SIMPLIFY DEVELOPER-WRITTEN C# UNIT TESTS

Authors: Weber1, David

Subject Terms: program debugging, software testing, software maintenance

Software multi-fault localization via Chameleon clustering in parallel

Authors: Heling Cao Yonghe Chu Chenyang Zhao et al.

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

Assessing Security of Software Components for Internet of Things: A Systematic Review and Future Directions

Authors: Zitian Liao Shah Nazir Habib Ullah Khan et al.

Source: Security and Communication Networks. 2021:1-22

Subject Terms: IoT, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Program debugging, reusable software part, 3. Good health

File Description: application/pdf

Access URL: https://downloads.hindawi.com/journals/scn/2021/6677867.pdf
https://hdl.handle.net/10576/37691
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85102481251&origin=inward

On intermittence bugs in the battery-less internet of things (WIP paper)

Authors: Maioli, A. Alizai, M. H. Mottola, Luca et al.

Source: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). :203-207

Subject Terms: Intermittence bugs, Intermittent computing, Mixed-volatile systems, Transiently-powered computing, Digital storage, Electric batteries, Embedded systems, Energy harvesting, Internet of things, Program compilers, Space platforms, Testing, Brute-force approach, Non-volatile memory, Orders of magnitude, Resourceconstrained devices, Testing technique, Program debugging

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-40161
https://doi.org/10.1145/3316482.3326346

A Flipped Systematic Debugging Approach to Enhance Elementary Students’ Program Debugging Performance and Optimize Cognitive Load

Authors: Gao, Xuemin Hew, Khe Foon

Subject Terms: cognitive load, elementary education, flipped classroom, program debugging teaching, scratch

Relation: Journal of Educational Computing Research; 1095; WOS:000969342300001; 1064; https://hub.hku.hk/handle/10722/341878; 61

Availability: https://hub.hku.hk/handle/10722/341878
https://doi.org/10.1177/07356331221133560

SUSS: Improving TCP Performance by Speeding Up Slow-Start

Authors: Arghavani, M. Zhang, H. Eyers, D. et al.

Source: ACM SIGCOMM 2024 - Proceedings of the 2024 ACM SIGCOMM 2024 Conference. :151-165

Subject Terms: congestion control, CUBIC, slow-start, TCP optimization, Congestion control (communication), Emergency traffic control, Program debugging, Small-world networks, Traffic congestion, Transmission control protocol, Band-width utilization, Bandwidth delay product, Completion time, Data delivery, In networks, TCP performance, Bandwidth

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-68352

Practical multiverse debugging through user-defined reductions

Authors: Pasquier, Matthias Teodorov, Ciprian Jouault, Frédéric et al.

Contributors: Pasquier, Matthias Teodorov, Ciprian Jouault, Frédéric et al.

Source: MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems ; https://ensta.hal.science/hal-03891589 ; MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩

Subject Terms: Abstracting, Program debugging, Unified Modeling Language, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Time: Montreal Quebec Canada, Canada

Availability: https://ensta.hal.science/hal-03891589
https://ensta.hal.science/hal-03891589v1/document
https://ensta.hal.science/hal-03891589v1/file/Pasquier2022.pdf
https://doi.org/10.1145/3550355.3552447

Towards a Testing Framework with Visual Feedback for Actor-Based Systems

Authors: Sozer, Hasan Gurler, Ozan Yilmaz, Orhan et al.

Contributors: Sozer, Hasan Gurler, Ozan Yilmaz, Orhan et al.

Source: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). :438-445

Subject Terms: Scheduling, 0202 electrical engineering, electronic engineering, information engineering, Test automation, 0102 computer and information sciences, 02 engineering and technology, Actor model, Concurrent programming, 01 natural sciences, Program debugging

Access URL: https://aperta.ulakbim.gov.tr/record/29169