Výsledky vyhledávání - "Program debugging"

Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations

Autoři: Etemadi, Khashayar Harrand, Nicolas Larsén, Simon a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: 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

Autoři: Chen, Zimin Kommrusch, Steve James Monperrus, Martin

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: 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

Autoři: Su, Ezgi Iraz

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

Témata: 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)

Přístupová URL adresa: 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

Autoři: Veresov, Aleksey Spenger, Jonas Carbone, Paris a další

Zdroj: Leibniz International Proceedings in Informatics, LIPIcs. 313

Témata: 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

Popis souboru: electronic

Přístupová URL adresa: 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

Autoři: Justyna Petke Matias Martinez Maria Kechagia a další

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/421157
https://doi.org/10.1145/3663529.3663776

Visualization Method for Data Structure Evolution in Program Debugging

Autoři: SU Qing, CHEN Jiancheng, GU Guosheng, LIU Dongning, HUANG Jianfeng

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

Témata: 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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/5bdfcb7c144c43f9a1c12e67bfe733e6

MultiDimEr: A Multi-Dimensional bug analyzEr

Autoři: Silva, Lakmal Unterkalmsteiner, Michael Wnuk, Krzysztof

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

Témata: 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

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-23552
https://doi.org/10.1145/3524843.3528099

Software Log Classification in Telecommunication Industry

Autoři: Ülkü, Onur Gözüacik, Necip Tanberk, Senem a další

Přispěvatelé: Ülkü, Onur Gözüacik, Necip Tanberk, Senem a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=9558985
http://xplorestaging.ieee.org/ielx7/9558874/9558875/09558985.pdf?arnumber=9558985
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

Autoři: Lan Cao

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/63df873c01804fd38b3a454ca283fc70

Validation of Abstract Side-Channel Models for Computer Architectures

Autoři: Nemati, Hamed Buiras, Pablo Lindner, Andreas a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285360
https://doi.org/10.1007/978-3-030-53288-8_12

Localizer: A Visual Debugging Assistant for Python Programs

Autoři: Khan, Shehroz Sudheerbabu, Gaadha Truscan, Dragos a další

Přispěvatelé: Khan, Shehroz Sudheerbabu, Gaadha Truscan, Dragos a další

Zdroj: 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

Témata: Spectrum-based fault localization, dynamic analysis, program debugging, program slicing, program spectra

Popis souboru: application/pdf

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

Dostupnost: 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

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

Autoři: Zitian Liao Shah Nazir Habib Ullah Khan a další

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

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

Popis souboru: application/pdf

Přístupová URL adresa: https://downloads.hindawi.com/journals/scn/2021/6677867.pdf
https://www.hindawi.com/journals/scn/2021/6677867/
https://downloads.hindawi.com/journals/scn/2021/6677867.pdf
http://downloads.hindawi.com/journals/scn/2021/6677867.pdf
https://doi.org/10.1155/2021/6677867
https://dblp.uni-trier.de/db/journals/scn/scn2021.html#LiaoNKS21
https://hdl.handle.net/10576/37691
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85102481251&origin=inward

Fuzzing Binaries for Memory Safety Errors with QASan

Autoři: Fioraldi A. Delia D. C. Querzoni L.

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

Témata: 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

Popis souboru: application/pdf

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

Autoři: Weber1, David

Témata: program debugging, software testing, software maintenance

Software multi-fault localization via Chameleon clustering in parallel

Autoři: Heling Cao Yonghe Chu Chenyang Zhao a další

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

Témata: Program debugging, Fault localization, Cluster analysis, Multiple faults, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/fbf7e5436b3e41ce8fa772fd7d0fd438

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

Autoři: Maioli, A. Alizai, M. H. Mottola, Luca a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-40161
https://doi.org/10.1145/3316482.3326346

SUSS: Improving TCP Performance by Speeding Up Slow-Start

Autoři: Arghavani, M. Zhang, H. Eyers, D. a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-68352

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

Autoři: Sozer, Hasan Gurler, Ozan Yilmaz, Orhan a další

Přispěvatelé: Sozer, Hasan Gurler, Ozan Yilmaz, Orhan a další

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

Témata: 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

Přístupová URL adresa: https://ieeexplore.ieee.org/document/8424995/
https://dblp.uni-trier.de/db/conf/qrs/qrs2018.html#SozerGY18
https://aperta.ulakbim.gov.tr/record/29169

Auction‐based serious game for bug tracking

Autoři: Çağdaş Üsfekes Eray Tüzün Murat Yılmaz a další

Přispěvatelé: Çağdaş Üsfekes Eray Tüzün Murat Yılmaz a další

Zdroj: IET Software

Témata: Software engineering, Public domain software, Project management, Computer games, Software development management, 0202 electrical engineering, electronic engineering, information engineering, Monte Carlo methods, 02 engineering and technology, Software maintenance, Program debugging

Popis souboru: application/pdf

Přístupová URL adresa: https://onlinelibrary.wiley.com/doi/pdfdirect/10.1049/iet-sen.2018.5144
https://digital-library.theiet.org/content/journals/10.1049/iet-sen.2018.5144
https://doi.org/10.1049/iet-sen.2018.5144
https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/iet-sen.2018.5144
https://dblp.uni-trier.de/db/journals/iet-sen/iet-sen13.html#UsfekesTYMC19
https://avesis.gazi.edu.tr/publication/details/b8b84674-91af-4b8f-bae8-778908e09c7c/oai
https://hdl.handle.net/11693/53138

SOrTES: A Supportive Tool for Stochastic Scheduling of Manual Integration Test Cases

Autoři: Tahvili, Sahar Pimentel, Rita Afzal, Wasif a další

Zdroj: IEEE Access. 7:12928-12946

Témata: decision support systems, dependency, integration testing, manual testing, scheduler algorithm, Software testing, stochastic test scheduling, test optimization, Artificial intelligence, Integration, Program debugging, Scheduling, Stochastic systems, Testing, Bombardier Transportation, Empirical evaluations, Natural language text, Stochastic scheduling, Test scheduling

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-37921