Directed synthesis of failing concurrent executions.

Malavika Samak Omer Tripp Murali Krishna Ramanathan

Published in: OOPSLA (2016)

Keyphrases

mutual exclusion
three dimensional
multiscale
evolutionary algorithm
databases
machine learning
information systems
data structure
long running
hybrid automata
write operations