Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function (SSBSE 2024 - Research Papers)

Mon 15 Jul 2024 Porto de Galinhas, Brazil, Brazil

co-located with FSE 2024

Who

Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra Cohen, Hamid Bagheri

Track

SSBSE 2024 Research Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Save

When

Mon 15 Jul 2024 11:00 - 11:30 at Acerola (Baobá 4) - SSBSE Research Track

Jianghao Wang

University of Nebraska-Lincoln

Clay Stevens

University of Nebraska-Lincoln

United States

Brooke Kidmose

Myra Cohen

Iowa State University

United States

Hamid Bagheri

University of Nebraska-Lincoln

United States

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	SSBSE Research TrackResearch Papers at Acerola (Baobá 4)

11:00 30m Research paper		Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function Research Papers Jianghao Wang University of Nebraska-Lincoln, Clay Stevens University of Nebraska-Lincoln, Brooke Kidmose , Myra Cohen Iowa State University, Hamid Bagheri University of Nebraska-Lincoln
11:30 30m Research paper		Higher Fault Detection Through Novel Density Estimators in Unit Test Generation Research Papers Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology
12:00 30m Research paper		Many Independent Objective Estimation of Distribution Search for Android Testing Research Papers Michael Auer University of Passau, Andreas Strobl , Gordon Fraser University of Passau