Tool Demos


List of accepted tool demos:

MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability
Daniel Correia, Rui Abreu, Pedro Santos, and João Nadkarni
(University of Lisbon, Portugal; OutSystems, Portugal)
Article Search
BIKER: A Tool for Bi-Information Source Based API Method Recommendation
Liang Cai, Haoye Wang, Qiao Huang, Xin Xia, Zhenchang Xing, and David Lo
(Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore)
Article Search
Mart: A Mutant Generation Tool for LLVM
Thierry Titcheu Chekam, Mike Papadakis, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Preprint Video Info
VARYS: An Agnostic Model-Driven Monitoring-as-a-Service Framework for the Cloud
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
Article Search Video Info
JCOMIX: A Search-Based Tool to Detect XML Injection Vulnerabilities in Web Applications
Dimitri Michel Stallenberg and Annibale Panichella
(Delft University of Technology, Netherlands)
Article Search Video
Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis
Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, and Jingling Xue
(University of Technology Sydney, Australia; Alibaba Group, China; Northwestern Polytechnical University, China; UNSW, Australia)
Article Search
PyGGI 2.0: Language Independent Genetic Improvement Framework
Gabin An, Aymeric Blot, Justyna Petke, and Shin Yoo
(KAIST, South Korea; University College London, UK)
Article Search Video
CloneCognition: Machine Learning Based Code Clone Validation Tool
Golam Mostaeen, Jeffrey Svajlenko, Banani Roy, Chanchal K. Roy, and Kevin Schneider
(University of Saskatchewan, Canada; Microsoft, USA)
Article Search
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, and Xiang Shi
(Tsinghua University, China; WeBank, China)
Article Search
A Dynamic Taint Analyzer for Distributed Systems
Xiaoqin Fu and Haipeng Cai
(Washington State University, USA)
Preprint Video Info
Governify for APIs: SLA-Driven Ecosystem for API Governance
Antonio Gamez-Diaz, Pablo Fernandez, and Antonio Ruiz-Cortés
(University of Seville, Spain)
Article Search Video Info
Developing Secure Bitcoin Contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, and Roberto Zunino
(University of Cagliari, Italy; Imperial College London, UK; University of Trento, Italy)
Preprint Video Info
DISCOVER: Detecting Algorithmic Complexity Vulnerabilities
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, and Suresh Kothari
(Iowa State University, USA; EnSoft, USA)
Article Search Video
AnswerBot: An Answer Summary Generation Tool Based on Stack Overflow
Liang Cai, Haoye Wang, Bowen Xu, Qiao Huang, Xin Xia, David Lo, and Zhenchang Xing
(Zhejiang University, China; Singapore Management University, Singapore; Monash University, Australia; Australian National University, Australia)
Article Search
Eagle: A Team Practices Audit Framework for Agile Software Development
Alejandro Guerrero, Rafael Fresno, An Ju, Armando Fox, Pablo Fernandez, Carlos Muller, and Antonio Ruiz-Cortes
(University of Seville, Spain; University of California at Berkeley, USA)
Preprint Video Info