SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

OMEN: A Tool for Synthesizing Tests for Deadlock Detection by Malavika Samak (Indian Institute of Science); Murali Krishna Ramanathan (Indian Institute of Science)

Thu 23 Oct

splash2014-demos
13:00 - 13:40: Demos - Demo 2: OMEN Testing Tool for Deadlock Detection at Salon D
splash2014-demos141406200000013:00 - 13:40
Talk