Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.

Antonia Bertolino Martina Marré

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

computer programs
flow analysis
information flow
control system
programming language
expert systems
human users
wheeled mobile robots
software agents
turing test
shortest path
automatically generate
computer programming
forensic analysis
trading strategies