CodeSurfer

swMATH16480MaRDI QIDQ28349FDOQ28349

Author name not available (Why is that?)

Cited In (5)

• Finding and fixing faults
• Automatic reconstruction of data types in the decompilation problem
• Computer Aided Verification
• Theoretical foundations of dynamic program slicing
• Combining preprocessor slicing with C/C++ language slicing

This page was built for software: CodeSurfer