The following pages link to CodeSurfer (Q28349):
Displaying 5 items.
- Finding and fixing faults (Q414907) (← links)
- Automatic reconstruction of data types in the decompilation problem (Q840093) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Computer Aided Verification (Q5716550) (← links)
