SANER 2024 (series) / Workshops and Tutorials Track /
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations
Tue 12 Mar 2024 14:20 - 14:30 at KURU - VST2024 - Session II
Tue 12 MarDisplayed time zone: Athens change
Tue 12 Mar
Displayed time zone: Athens change
13:30 - 14:40 | |||
13:30 20mTalk | 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 20mTalk | 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 10mTalk | 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 10mTalk | 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 10mTalk | Logging - The Missing Component For GCC Plugin Testing Workshops and Tutorials Track |