Assume-Guarantee Algorithms for Automatic Detection of Software Failures.

Mohammad Zulkernine Rudolph E. Seviora

Published in: IFM (2002)

Keyphrases

automatic detection
learning algorithm
software systems
optimization problems
image segmentation
data structure
worst case