MUT4SLX: Extensions for Mutation Testing of Stateflow Models (SANER 2024 - Workshops and Tutorials Track ) - SANER 2024

Tue 12 - Fri 15 March 2024 Rovaniemi , Finland

Who

Sien Nuyens, Halil Ibrahim Ceylan, Onur Kilincceker, Mutlu Beyazıt, Serge Demeyer

Track

SANER 2024 Workshops and Tutorials Track

Time Zone

The program is currently displayed in (GMT+02:00) Athens.

Use conference time zone: (GMT+02:00) AthensSelect 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

Tue 12 Mar 2024 14:10 - 14:20 at KURU - VST2024 - Session II

Sien Nuyens

Universiteit Antwerpen

Halil Ibrahim Ceylan

Universiteit Antwerpen

Onur Kilincceker

University of Antwerp and Flanders Make vzw

Belgium

Mutlu Beyazıt

University of Antwerp and Flanders Make vzw

Serge Demeyer

University of Antwerp; Flanders Make

Belgium

Time Zone

The program is currently displayed in (GMT+02:00) Athens.

Use conference time zone: (GMT+02:00) AthensSelect 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

Tue 12 Mar
Displayed time zone: Athens change

	13:30 - 14:40	VST2024 - Session IIWorkshops and Tutorials Track at KURU

	13:30 20m Talk		Leveraging Rough Sets for Enhanced Test Case Prioritization in a Continuous Integration Context Workshops and Tutorials Track Radu Găceanu Babes-Bolyai University, Cluj-Napoca, Romania, Arnold Szederjesi Babes-Bolyai University, Cluj-Napoca, Romania, Andreea Vescan Babes-Bolyai University
	13:50 20m Talk		SCVD-SA: A Smart Contract Vulnerability Detection Method based on Hybrid Deep Learning Model and Self-Attention Mechanism Workshops and Tutorials Track Dongjie Wang Jiangsu University, Jinfu Chen Jiangsu University, Saihua Cai Jiangsu University, Qiaowei Feng Jiangsu University, Yuhao Chen Jiangsu University, Xinyi Hu Jiangsu University
	14:10 10m Talk		MUT4SLX: Extensions for Mutation Testing of Stateflow Models Workshops and Tutorials Track Sien Nuyens Universiteit Antwerpen, Halil Ibrahim Ceylan Universiteit Antwerpen, Onur Kilincceker University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp; Flanders Make
	14:20 10m Talk		MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations Workshops and Tutorials Track Alejandra Duque-Torres University of Tartu, Dietmar Pfahl University of Tartu, Claus Klammer Software Competence Center Hagenberg, Stefan Fischer Software Competence Center Hagenberg
	14:30 10m Talk		Logging - The Missing Component For GCC Plugin Testing Workshops and Tutorials Track Nimantha Kariyakarawana imec-DistriNet KU Leuven, Tom Holvoet imec-DistriNet KU Leuven