CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.

Deborah A. Frincke Myla Archer Karl N. Levitt

Published in: KBSE (1991)

Keyphrases

automatically detecting
learning algorithm
machine learning
computer vision
image sequences
image processing
feature space
automatic detection