Login / Signup
SymPas: Symbolic Program Slicing.
Yingzhou Zhang
Published in:
CoRR (2019)
Keyphrases
</>
program slicing
description languages
source code
fault localization
formal verification
reverse engineering
description language
high level
expert systems
model checking