Enhancing Conformance Checking for Contract-Based Programs (SPLASH 2014 - Posters) - SPLASH 2014

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

Who

Alysson Milanez, Tiago Massoni, Rohit Gheyi

Track

SPLASH 2014 Posters

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 22 Oct 2014 18:00 - 21:00 at Exhibit Hall - SPLASH Poster Reception Chair(s): K R Jayaram, Nick Sumner

Abstract

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).

Alysson Milanez

UFCG, Brazil

Tiago Massoni

UFCG

Brazil

Rohit Gheyi

UFCG, Brazil

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 22 Oct
Displayed time zone: Tijuana, Baja California change

	18:00 - 21:00	SPLASH Poster ReceptionPosters at Exhibit Hall Chair(s): K R Jayaram IBM Research, USA, Nick Sumner Simon Fraser University

	18:00 3h Talk		Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging Posters Jonathan Corley University of Alabama, Brian Eddy
	18:00 3h Talk		Enhancing Conformance Checking for Contract-Based Programs Posters Alysson Milanez UFCG, Brazil, Tiago Massoni UFCG, Rohit Gheyi UFCG, Brazil
	18:00 3h Talk		Self-Adaptive Parallel Programming Through Tunable Concurrency Posters Tai Nguyen Washington State University, Xinghui Zhao University of Washington
	18:00 3h Talk		HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs Posters Peter Elmers Rice University, Hongyu Li Rice University, Shams Imam Rice University, Vivek Sarkar Rice University
	18:00 3h Talk		Detecting Design Similarity Patterns Using Program Execution Traces Posters Kuldeep Kumar National University of Singapore, Stan Jarzabek National University of Singapore
	18:00 3h Talk		Taming the Dynamic Behavior of JavaScript Posters Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech