Login / Signup
Automatic detection of concurrency bugs through event ordering constraints.
Luis Gabriel Murillo
Simon Wawroschek
Jerónimo Castrillón
Rainer Leupers
Gerd Ascheid
Published in:
DATE (2014)
Keyphrases
</>
automatic detection
ordering constraints
htn planning
graph cuts
graph cut segmentation
semantic segmentation
shape prior
smoothness constraint
image processing
image sequences
object detection
image intensity