A Guided Mutation Strategy for Smart Contract Fuzzing (ICSME 2023 - Research Track)

Who

Songyan Ji, Jian Dong, Jin Wu, Lishi Lu

Track

ICSME 2023 Research Track

Time Zone

The program is currently displayed in (GMT-05:00) Bogota, Lima, Quito, Rio Branco.

Use conference time zone: (GMT-05:00) Bogota, Lima, Quito, Rio BrancoSelect 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

Fri 6 Oct 2023 10:30 - 10:46 at Session 1 Room - RGD 004 - Software Testing - 2 Chair(s): Nicolas Archila, Amjed Tahir

Songyan Ji

Harbin Institute of Technology

China

Jian Dong

Harbin Institute of Technology

China

Jin Wu

Lishi Lu

Harbin Institute of Technology

China

Time Zone

The program is currently displayed in (GMT-05:00) Bogota, Lima, Quito, Rio Branco.

Use conference time zone: (GMT-05:00) Bogota, Lima, Quito, Rio BrancoSelect 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

Fri 6 Oct
Displayed time zone: Bogota, Lima, Quito, Rio Branco change

10:30 - 12:00	Software Testing - 2Tool Demo Track / Industry Track / Research Track / New Ideas and Emerging Results Track at Session 1 Room - RGD 004 Chair(s): Nicolas Archila , Amjed Tahir Massey University

10:30 16m Talk		A Guided Mutation Strategy for Smart Contract Fuzzing Research Track Songyan Ji Harbin Institute of Technology, Jian Dong Harbin Institute of Technology, Jin Wu , Lishi Lu Harbin Institute of Technology
10:46 11m Talk		How Developers Implement Property-Based Tests New Ideas and Emerging Results Track Arthur Corgozinho Federal University of Minas Gerais (UFMG), Henrique Rocha Loyola University Maryland, USA, Marco Tulio Valente Federal University of Minas Gerais, Brazil
10:57 16m Talk		Cost Reduction on Testing Evolving Cancer Registry System Industry Track Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Hassan Sartaj Simula Research Laboratory, Christoph Laaber Simula Research Laboratory, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway Pre-print
11:13 11m Talk		aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs Tool Demo Track Mohammad Rezaalipour Software Institute @ USI, Carlo A. Furia Università della Svizzera italiana (USI)
11:24 16m Talk		Specification-based Test Case Generation for C++ Engineering Software Industry Track Michael Moser Software Competence Center Hagenberg GmbH, Michael Pfeiffer , Christina Piereder , Peter Hamberger , Thomas Luger , Claus Klammer
11:40 11m Talk		Artisan: An Action-Based Test Carving Tool for Android Apps Tool Demo Track Alessio Gambi IMC University of Applied Sciences Krems, Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
11:51 9m Live Q&A		1:1 Q&A Research Track