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)

Conference Day
Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

13:00 - 13:40
Demo 2: OMEN Testing Tool for Deadlock DetectionDemos at Salon D
13:00
40m
Talk
Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection
Demos
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore