CONSIT: a fully automated conditioned program slicer

• 26 November 2003
• journal article
• research article
• Published by Wiley in Software: Practice and Experience
• Vol. 34  (1) , 15-46
• https://doi.org/10.1002/spe.556

Abstract

Keywords

• CONDITIONED SLICING
• PROGRAM CONDITIONING
• SLICING
• SYMBOLIC EXECUTION
• PATH ANALYSIS