Towards Counterexample-guided k-Induction for Fast Bug Detection (ESEC/FSE 2018 - New Ideas and Emerging Results) - ESEC/FSE 2018

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

Who

Mikhail R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Track

ESEC/FSE 2018 New Ideas and Emerging Results

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 7 Nov 2018 14:08 - 14:21 at Horizons 6-9F - NIER II Chair(s): Gail Kaiser

Mikhail R. Gadelha

University of Southampton

Felipe R. Monteiro

Federal University of Amazonas

Brazil

Lucas C. Cordeiro

University of Manchester, UK

United Kingdom

Denis A. Nicole

University of Southampton

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	13:30 - 15:00	NIER IINew Ideas and Emerging Results at Horizons 6-9F Chair(s): Gail Kaiser Columbia University, New York

	13:30 12m Talk		Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing New Ideas and Emerging Results Chu-Pan Wong Carnegie Mellon University, Jens Meinicke Magdeburg University, Christian Kästner Carnegie Mellon University
	13:42 12m Talk		Software Fairness New Ideas and Emerging Results Yuriy Brun University of Massachusetts Amherst, Alexandra Meliou University of Massachusetts Amherst Link to publication DOI Pre-print
	13:55 12m Talk		Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) New Ideas and Emerging Results Elena Sherman Boise State University, Robert Dyer Bowling Green State University
	14:08 12m Talk		Towards Counterexample-guided k-Induction for Fast Bug Detection New Ideas and Emerging Results Mikhail R. Gadelha University of Southampton, Felipe R. Monteiro Federal University of Amazonas, Lucas C. Cordeiro University of Manchester, UK, Denis A. Nicole University of Southampton
	14:21 12m Talk		Salient-Class Location: Help Developers Understand Code Change in Code Review New Ideas and Emerging Results Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen , Kai Hong School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng
	14:34 12m Talk		Towards Quantifying the Development Value of Code New Ideas and Emerging Results Jinglei Ren Persper Foundation, Hezheng Yin University of California, Berkeley, Qingda Hu Tsinghua University, Armando Fox UC Berkeley, Wojciech Koszek The FreeBSD Project
	14:47 12m Talk		Engineering Human Values in Software: A Research Roadmap New Ideas and Emerging Results Davoud Mougouei Monash University, Harsha Perera Monash University, Waqar Hussain Monash University, Rifat Ara Shams Monash University, Jon Whittle Monash University