Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts (* ICSE 2018 * - Technical Papers ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Yunho Kim, Yunja Choi, Moonzoo Kim

Track

* ICSE 2018 * Technical Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 30 May 2018 17:00 - 17:20 at H1 room - Test Generation Chair(s): Federica Sarro

Yunho Kim

KAIST

Korea, South

Yunja Choi

Moonzoo Kim

KAIST

Korea, South

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Test GenerationTechnical Papers at H1 room Chair(s): Federica Sarro University College London

	16:00 20m Talk		Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Technical Papers Leonardo Mariani University of Milano Bicocca, Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Pre-print
	16:20 20m Talk		Towards Optimal Concolic Testing Technical Papers Xinyu Wang Zhejiang University, Jun Sun Singapore University of Technology and Design, Zhenbang Chen College of Computer, National University of Defense Technology, Peixin Zhang , Jingyi Wang Singapore University of Technology and Design, Yun Lin Pre-print
	16:40 20m Talk		DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Technical Papers Yuchi Tian , Kexin Pei , Suman Jana , Baishakhi Ray Columbia University, New York
	17:00 20m Talk		Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers Yunho Kim KAIST, Yunja Choi , Moonzoo Kim KAIST
	17:20 10m Talk		Q&A in groups Technical Papers