Replay-Based Debugging of Occam Programs.

Aniello Cimitile Ugo de Carlini Umberto Villano

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

Keyphrases

java programs
hardware designs
novice programmers
program slicing
computer programs
fault localization
source code
database
data sets
neural network
information technology
control structures