The Oberon Program Slicing Tool.

Christoph Steindl

Published in: ECOOP Workshops (1999)

Keyphrases

program slicing
formal verification
artificial intelligence
information systems
feature selection
fault localization
description languages