Using Program Slicing to Simplify Testing.

Mark Harman Sebastian Danicic

Published in: Softw. Test. Verification Reliab. (1995)

Keyphrases

program slicing
formal verification
software testing
fault localization
source code
reverse engineering
description languages
software metrics
regression testing
neural network
test cases
information systems
quality assurance