Generalized Algorithmic Debugging and Testing.

Peter Fritzson Tibor Gyimóthy Mariam Kamkar Nahid Shahmehri

Published in: PLDI (1991)

Keyphrases

software testing
test cases
neural network
hardware designs
artificial intelligence
model based diagnosis
parallel programming
test generation
set valued