AISTA 2022
Mon 18 - Fri 22 July 2022 Online
co-located with ISSTA 2022
ISSTA 2022 (series) / AISTA 2022 (series) / Online /

Room information: Tool demo

VenueOnline
Room nameTool demo
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 21 Jul

Displayed time zone: Seoul change

10:00 - 11:00
Tool DemonstrationsISSTA Tool Demonstrations at Tool demo
10:00
5m
Talk
ATUA: an Update-driven App Testing Tool
ISSTA Tool Demonstrations
Chanh-Duc Ngo University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
DOI
10:05
5m
Talk
Automatic Generation of Smoke Test Suites for Kubernetes
ISSTA Tool Demonstrations
Cecilio Cannavacciuolo , Leonardo Mariani University of Milano-Bicocca
DOI
10:10
5m
Talk
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
ISSTA Tool Demonstrations
Franz Brausse The University of Manchester, Fedor Shmarov The University of Manchester, Rafael Menezes University of Manchester, Mikhail R. Gadelha Igalia, Konstantin Korovin University of Manchester, Giles Reger University of Manchester, Lucas C. Cordeiro University of Manchester
DOI
10:16
5m
Talk
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
ISSTA Tool Demonstrations
Rafael Menezes University of Manchester, Rosiane de Freitas Federal University of Amazonas, Daniel Moura Federal University of Amazonas, Helena Cavalcante Federal University of Amazonas, Lucas C. Cordeiro University of Manchester
DOI
10:21
5m
Talk
Faster Mutation Analysis with MeMu
ISSTA Tool Demonstrations
Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas
DOI
10:27
5m
Talk
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
ISSTA Tool Demonstrations
Wunan Guo Fudan University, Zhen Dong Fudan University, China, Liwei Shen Fudan University, Wei Tian Fudan University, Ting Su East China Normal University, Xin Peng Fudan University
DOI
10:32
5m
Talk
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
ISSTA Tool Demonstrations
Eduard Costel Pinconschi Instituto Superior Técnico, University of Lisboa & INESC-ID, Quang-Cuong Bui Hamburg University of Technology, Rui Abreu Faculty of Engineering, University of Porto, Portugal, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, Riccardo Scandariato Hamburg University of Technology
DOI
10:38
5m
Talk
Pytest-Smell: A smell detection tool for Python unit tests
ISSTA Tool Demonstrations
Alexandru Bodea Student at Babes Bolay University - Faculty of Mathematics and Computer Science
DOI
10:43
5m
Talk
QMutPy: A Mutation Testing Tool for Quantum Algorithms & Applications in Qiskit
ISSTA Tool Demonstrations
Daniel Fortunato INESC-ID, University of Porto, José Campos Faculty of Engineering of University of Porto & LASIGE, Portugal, Rui Abreu Faculty of Engineering, University of Porto, Portugal
DOI
10:49
5m
Talk
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software
ISSTA Tool Demonstrations
Boxiang Wang Xidian University and Beijing Sunwise Information Technology Ltd, Rui Chen Beijing Institute of Control Engineering, Chao Li Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Tingting Yu Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Dongdong Gao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology, China
DOI
10:54
5m
Talk
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
ISSTA Tool Demonstrations
Ziqian Zhang Nanjing University, Yulei Liu Nanjing University, Shengcheng Yu Nanjing University, Xin Li Nanjing University, Yexiao Yun Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
DOI

Thu 21 Jul

Displayed time zone: Seoul change

Room10:0030
Tool demo

ISSTA Tool Demonstrations

Tool Demonstrations

Thu 21 Jul

Displayed time zone: Seoul change

Room10:00153045
Tool demo
ISSTA Tool Demonstrations
ATUA: an Update-driven App Testing Tool
10:00 - 10:05
ISSTA Tool Demonstrations
Automatic Generation of Smoke Test Suites for Kubernetes
10:05 - 10:10
ISSTA Tool Demonstrations
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms wit ...
10:10 - 10:16
ISSTA Tool Demonstrations
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Represe ...
10:16 - 10:21
ISSTA Tool Demonstrations
Faster Mutation Analysis with MeMu
10:21 - 10:27
ISSTA Tool Demonstrations
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Andro ...
10:27 - 10:32
ISSTA Tool Demonstrations
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on ...
10:32 - 10:38
ISSTA Tool Demonstrations
Pytest-Smell: A smell detection tool for Python unit tests
10:38 - 10:43
ISSTA Tool Demonstrations
QMutPy: A Mutation Testing Tool for Quantum Algorithms & Applications i ...
10:43 - 10:49
ISSTA Tool Demonstrations
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded ...
10:49 - 10:54
ISSTA Tool Demonstrations
UniRLTest: Universal Platform-Independent Testing with Reinforcement Le ...
10:54 - 11:00