- Locus: Agentic Predicate Synthesis for Directed Fuzzing
2025/08/29 by Jie Zhu, Zhu, Jie, Chihao Shen +9 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Debugging #Exploit #Fuzz testing #Key (lock) #Program analysis #Program comprehension #Software Testing and Debugging Techniques #Task (project management) #Web Application Security Vulnerabilities
- Teaching Large Language Models to Self-Debug
2023/04/11 by Xinyun Chen, Maxwell Lin, Chen, Xinyun +5 · 2 voices · 221 citations
Computer Science · #Algorithmic program debugging #Benchmark (surveying) #Compiler #Computer science #Correctness #Debugging #Parallel Computing and Optimization Techniques #Programming language #Python (programming language) #Software #Software Engineering Research #Topic Modeling #Unit testing
- Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
2020/11/27 by Giuseppe Antonio Di Luna, Di Luna, Giuseppe Antonio, Davide Italiano +10 · 3 voices · 2 citations
Computer Science · #Algorithmic program debugging #Background debug mode interface #Compiler #Computer science #Debugger #Debugging #Embedded system #Operating system #Programming language #Security and Verification in Computing #Software #Software Engineering Research #Software Testing and Debugging Techniques #Software bug #Toolchain #cs.SE
- PyTorch: An Imperative Style, High-Performance Deep Learning Library
2019/12/03 by Adam Paszke, Sam Gross, Paszke, Adam +41 · 1 voice · 4304 citations
Computer Science · Mathematics · #Architecture #Artificial intelligence #Computational Physics and Python Applications #Computer architecture #Computer science #Debugging #Deep learning #Human–computer interaction #Key (lock) #Machine Learning and Data Classification #Operating system #Parallel Computing and Optimization Techniques #Programming language #Programming style #Python (programming language) #Software engineering #Usability #cs.LG #cs.MS #stat.ML
- Remote explainability faces the bouncer problem
2019/10/03 by Erwan Le Merrer, Gilles Tredan, Gilles Trédan · 1 voice
Computer Science · Mathematics · #Adversarial Robustness in Machine Learning #Adversary #Analogy #Artificial intelligence #Business #Computer science #Computer security #Context (archaeology) #Data science #Debugging #Explainable Artificial Intelligence (XAI) #Human–computer interaction #Impossibility #Law #Lying #Perspective (graphical) #Privacy-Preserving Technologies in Data #Service (business) #Simple (philosophy) #Transparency (behavior) #cs.CR #cs.LG #stat.ML
- Debugging the ENIAC [Scanning Our Past]
2018/11/19 by Brian L. Stuart · 1 citation
Computer Science · Social Sciences · Engineering · #History of Computing Technologies #Advanced Data Storage Technologies #Intelligence, Security, War Strategy #Artillery #Variety (cybernetics) #Milestone #Debugging #Testbed #Aeronautics #Computer science #Resource (disambiguation) #Supercomputer #History of computing #Engineering #Operations research #Software engineering #Aerospace engineering #Operating system #History #Artificial intelligence
- Quintuple: a Python 5-qubit quantum computer simulator to facilitate cloud quantum computing
2016/06/29 by Christine Corbett Moran, C. Corbett Moran, Moran, Christine Corbett · 1 voice · 1 citation
Computer Science · Physics and Astronomy · #Cloud computing #Computational science #Computer science #Debugging #IBM #Operating system #Physics #Python (programming language) #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum algorithm #Quantum computer #Quantum mechanics #Qubit #quant-ph
- The DStar Method for Effective Software Fault Localization
2013/11/19 by W. Eric Wong, Vidroha Debroy, Ruizhi Gao +1 · 3 citations
Computer Science · Engineering · #Computer science #Debugging #Engineering #Fault (geology) #Fault coverage #Programming language #Reliability engineering #Semantics (computer science) #Software #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Software bug #Software development #Software fault tolerance #Software quality
- Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
2013/01/01 by Rolando Martins, Rajeev Gandhi, Priya Narasimhan +5 · 1 citation
Computer Science · #Advanced Data Storage Technologies #Algorithm #Byzantine architecture #Byzantine fault tolerance #Computer science #Debugging #Distributed computing #Distributed systems and fault tolerance #Fault injection #Fault tolerance #Implementation #Mathematical proof #Operating system #Quantum Byzantine agreement #Replication (statistics) #Software #Software System Performance and Reliability #Software deployment #Software engineering #State (computer science)
- Coding Guidelines for Prolog
2009/11/15 by Michael A. Covington, Covington, Michael A., Roberto Bagnara +8 · 3 voices · 2 citations
Computer Science · #Coding (social sciences) #Computer science #Debugging #Documentation #Logic, programming, and type systems #Normative #Political science #Programming language #Prolog #Software Engineering Research #Software Testing and Debugging Techniques #Software engineering #cs.PL
- Projecting code changes onto execution traces to support localization of recently introduced bugs
2009/03/08 by Johannes Bohnet, Stefan Voigt, Jürgen Döllner · 1 citation
Computer Science · Engineering · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #TRACE (psycholinguistics) #Computer science #Code (set theory) #Software bug #Task (project management) #Software maintenance #Software evolution #Software #Software system #Root cause #Legacy system #Software engineering #Debugging #Programming language #Source code #Software development #Distributed computing #Software construction #Reliability engineering #Engineering
- Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph
2008/05/01 by Joaquín López Fernández, Rafael Sanz, Enrique Paz +1 · 1 citation
Computer Science · #Petri Nets in System Modeling #Context-Aware Activity Recognition Systems #Mobile Agent-Based Network Management #Petri net #Computer science #Debugging #Middleware (distributed applications) #Distributed computing #Process architecture #Event (particle physics) #Robot #State (computer science) #Tracing #Mobile robot #Programming language #Operating system #Artificial intelligence
- Integrating Temporal Assertions into a Parallel Debugger
2002/01/01 by Jozsef Kovacs, József Kovács, Gabor Kusper +4 · 1 citation
Computer Science · #Algorithmic program debugging #Computer science #Debugger #Debugging #Formal Methods in Verification #Logic, programming, and type systems #Macro #Model checking #Programming language #Real-Time Systems Scheduling #Set (abstract data type) #State (computer science) #Temporal logic #Theoretical computer science #Tree (set theory)
- Software Visualization
2002/01/01 by Stephan Diehl · 1 citation
Computer Science · Decision Sciences · Social Sciences · #Animation #Artificial intelligence #Computer graphics (images) #Computer science #Data mining #Debugging #Digital Games and Media #Graph drawing #Information visualization #Java #Model-Driven Software Engineering Techniques #Multimedia Communication and Technology #Programming language #Simulation Techniques and Applications #Software #Software Engineering Research #Software construction #Software development #Software engineering #Software system #Software visualization #Visual analytics #Visualization
- Translation of a High-Level Graphical Code to Message-Passing Primitives in the GRADE Programming Environment
2000/01/01 by Gábor Dózsa, Dániel Drótos, Róbert Lovas · 1 citation
Computer Science · #Computer science #Construct (python library) #Debugging #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #Event-driven programming #Executable #Graphical user interface #Inductive programming #Message Passing Interface #Message passing #Parallel Computing and Optimization Techniques #Procedural programming #Programming language #Programming paradigm #Visual programming language
- The GRED graphical editor for the GRADE parallel program development environment
1998/01/01 by Péter Kacsuk, Gábor Dózsa, Tibor Fadgyas +1 · 1 citation
Computer Science · #Code (set theory) #Computer science #Debugging #Distributed and Parallel Computing Systems #Event-driven programming #Field (mathematics) #Fortran #Inductive programming #Interconnection Networks and Systems #Message passing #Parallel Computing and Optimization Techniques #Procedural programming #Process (computing) #Programmer #Programming language #Programming paradigm #Representation (politics) #Visual programming language
- Solving the multiple instance problem with axis-parallel rectangles
1997/01/01 by Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano‐Pérez +1 · 186 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Algorithm #Artificial intelligence #Computer science #Debugging #Feature (linguistics) #Feature vector #Image Retrieval and Classification Techniques #Machine learning #Object (grammar) #Pattern recognition (psychology) #Programming language #Rough Sets and Fuzzy Logic #Task (project management) #Theoretical computer science
- A computer-aided teaching package for microprocessor systems education
1991/05/01 by Hassan B. Diab, I. Demashkieh · 1 citation
Engineering · Computer Science · #Experimental Learning in Engineering #Advancements in Semiconductor Devices and Circuit Design #VLSI and Analog Circuit Testing #Computer science #Microcomputer #Debugging #Microprocessor #Assembly language #Graphics #Animation #Computer hardware #Set (abstract data type) #Central processing unit #Instruction set #Computer architecture #Operating system #Embedded system #Computer graphics (images) #Programming language #Software
- Efficient loop detection in prolog using the tortoise-and-hare technique
1987/03/01 by Allen Van Gelder · 1 citation
Computer Science · Mathematics · #Algorithm #Combinatorics #Computer science #Debugging #Extension (predicate logic) #For loop #Formal Methods in Verification #Interpreter #Logic, programming, and type systems #Loop (graph theory) #Mathematics #Natural Language Processing Techniques #Overhead (engineering) #Programming language #Prolog #Recursion (computer science) #Reduction (mathematics) #Theoretical computer science #Tortoise
- New Products
1978/06/01 by D.A. Michalopoulos · 1 citation
Computer Science · #Advanced Decision-Making Techniques #COBOL #Computer science #Database #Debugging #Embedded system #Generator (circuit theory) #Operating system #Programmer #Programming language #Software engineering #Test (biology)
- Architecture of the IBM system/370
1978/01/01 by Richard P. Case, A. Padegs · 3 citations
Computer Science · #Advanced Data Storage Technologies #Architecture #Computer architecture #Computer science #Debugging #Distributed and Parallel Computing Systems #Embedded system #IBM #Interconnection Networks and Systems #Multiprocessing #Operating system #Programming language #Software engineering #Systems architecture
- SELECT—a formal system for testing and debugging programs by symbolic execution
1975/04/01 by Robert S. Boyer, Bernard Elspas, B. Elspas +2 · 3 citations
Computer Science · #Algorithmic program debugging #Assertion #Computer science #Concolic testing #Debugging #Executable #Formal Methods in Verification #Logic, programming, and type systems #Path (computing) #Programming language #Software #Software Testing and Debugging Techniques #Symbolic execution #Test case #Test suite