Exception-sensitive program slicing.

Carlos Galindo Sergio Pérez Josep Silva

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

program slicing
description languages
source code
formal verification
fault localization
reverse engineering
artificial intelligence
model checking
support vector
software development
object oriented databases
model based diagnosis