SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Wed 22 Oct 2014 18:00 - 21:00 at Exhibit Hall - SPLASH Poster Reception Chair(s): Nick Sumner, K R Jayaram

In this work we present a test-based approach for detecting and categorizing nonconformances in contract-based programs, in specific for the Java Modeling Language (JML).