Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing.

Published in: Autom. Softw. Eng. (1995)

Keyphrases

automatic extraction
program slicing
fault localization
description languages
source code
formal verification
artificial intelligence
neural network
software testing