Directed synthesis of failing concurrent executions.

Malavika Samak, Omer Tripp, Murali Krishna Ramanathan

Browse the full OOPSLA paper archive.