Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 17:12 - 17:19 at Zoom - TOOL DEMO Chair(s): Owolabi Legunsen

Prolog is a declarative, first-order logic that has been used in a variety of domains to implement heavily rules-based systems. However, it is challenging to write a Prolog program correctly. Fortunately, the SWI-Prolog environment supports a unit testing framework, plunit, which enables developers to systematically check for correctness. However, knowing a program is faulty is just the first step. The developer then needs to fix the program which means the developer needs to determine what part of the program is faulty. ProFL is a fault localization tool that adapts imperative-based fault localization techniques to Prolog’s declarative environment. ProFL takes as input a faulty Prolog program and a plunit test suite. Then, ProFL performs fault localization and returns a list of suspicious program clauses to the user. Our toolset encompasses two different techniques: ProFLs, a spectrum-based technique, and ProFLm, a mutation-based technique. This paper describes our Python implementation of ProFL, which is a command-line tool, released as an open-source project on GitHub (https://github.com/geoorge1d127/ProFL). Our experimental results show ProFL is accurate at localizing faults in our benchmark programs.

Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change

16:30 - 17:33
TOOL DEMOTool Demonstration at Zoom
Chair(s): Owolabi LegunsenCornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:30
7m
Talk
CPSDebug: A Tool for Failure Explanation
Tool Demonstration
Ezio BartocciTechnische Universität Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg
16:37
7m
Talk
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Tool Demonstration
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
16:44
7m
Talk
EShield: Protect Smart Contracts against Reverse Engineering
Tool Demonstration
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
16:51
7m
Talk
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Tool Demonstration
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
16:58
7m
Talk
FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks
Tool Demonstration
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
17:05
7m
Talk
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Tool Demonstration
Ali GhanbariThe University of Texas at Dallas
Pre-print
17:12
7m
Talk
ProFL: A Fault Localization Framework for Prolog
Tool Demonstration
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
17:19
7m
Talk
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Tool Demonstration
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
17:26
7m
Talk
Test Recommendation System Based on Slicing Coverage Filtering
Tool Demonstration
Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University
DOI