ICSME 2023
Sun 1 - Fri 6 October 2023 Bogotá, Colombia
Fri 6 Oct 2023 10:46 - 10:57 at Session 1 Room - RGD 004 - Software Testing - 2 Chair(s): Nicolas Archila, Amjed Tahir

Fri 6 Oct

Displayed time zone: Bogota, Lima, Quito, Rio Branco change

10:30 - 12:00
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
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