SymPas: Symbolic Program Slicing.

Published in: J. Comput. Sci. Technol. (2021)

Keyphrases

program slicing
source code
description languages
formal verification
fault localization
reverse engineering
high level
neural network
open source
description language
multi agent systems
software systems
software testing