Sign in
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