How Developers Implement Property-Based Tests (ICSME 2023 - New Ideas and Emerging Results Track)

Who

Arthur Corgozinho, Henrique Rocha, Marco Tulio Valente

Track

ICSME 2023 New Ideas and Emerging Results 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:46 - 10:57 at Session 1 Room - RGD 004 - Software Testing - 2 Chair(s): Nicolas Archila, Amjed Tahir

Arthur Corgozinho

Federal University of Minas Gerais (UFMG)

Brazil

Henrique Rocha

Loyola University Maryland, USA

Brazil

Marco Tulio Valente

Federal University of Minas Gerais, Brazil

Brazil

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