On Detecting Concurrency Defects Automatically at the Design Level.

Frank Padberg Luis M. Carril Oliver Denninger Martin Blersch

Published in: APSEC (1) (2013)

Keyphrases

design decisions
user interface
design process
optimal design
computer vision
information systems
case study
image sequences
data model
concurrency control
engineering design