Program Slicing by Calculation.

Nuno F. Rodrigues Luís Soares Barbosa

Published in: J. Univers. Comput. Sci. (2006)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
software maintenance
regression testing
model checking
software testing
neural network
complex systems
open source
software engineering
support vector
high level
feature selection
artificial intelligence