- 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, Davide Italiano, Di Luna, Giuseppe Antonio +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
- 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)
- 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