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

Software testing plays a crucial role in the software lifecycle. As a basic approach of software testing, unit testing is one of the necessary skills for software practitioners. Since testers are required to understand the inner code of the software under test(SUT) while writing a test case, testers usually need to learn how to detect the bug within SUT effectively. When novice programmers started to learn writing unit tests, they will generally watch a video lesson or reading unit tests written by others. These learning approaches are either time-consuming or too hard for a novice. To solve these problems, we developed a system named TeSRS, to assist novice programmers in learning unit testing. TeSRS is a test recommendation system which can effectively assist test novice in learning unit test-ing. Utilizing the program slice technique, TeSRS has got an enormous amount of test snippets from superior crowdsourcing test scripts.Depending on these test snippets, TeSRS provides novices with an easier way for unit test learning. To sum up, TeSRS can help test novices(1) obtain high-level design ideas of the unit test case and (2) improve capabilities(e.g. branch coverage rate and mutation coverage rate)of their test scripts. TeSRS has built a scalable corpus composed of over 8000 test snippets from more than 25 test problems. Its stable performance shows effectiveness in unit test learning.Demo video can be found at: https://youtu.be/xvrLdvU8zFA

Wed 22 Jul

Displayed time zone: Tijuana, Baja California change

16:30 - 17:33
TOOL DEMOTool Demonstration at Zoom
Chair(s): Owolabi Legunsen Cornell 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 Bartocci Technische Universität Wien, Niveditha Manjunath Vienna University of Technology, Leonardo Mariani University of Milano Bicocca, Cristinel Mateis AIT Austrian Institute of Technology GmbH, Dejan Nickovic Austrian Institute of Technology, Fabrizio Pastore University of Luxembourg
16:37
7m
Talk
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Tool Demonstration
Chao Guo Nanjing University, Tieke He Nanjing University, Wei Yuan Nanjing University, Yue Guo Nanjing University, Rui Hao Nanjing University, China
16:44
7m
Talk
EShield: Protect Smart Contracts against Reverse Engineering
Tool Demonstration
Wentian Yan Peking University, Jianbo Gao Peking University, Zhenhao Wu Peking University and Boya Blockchain Inc, Yue Li Peking University, Zhi Guan Peking University, Qingshan Li Peking University, Zhong Chen
16:51
7m
Talk
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Tool Demonstration
Gustavo Grieco Trail of Bits, Will Song Trail of Bits, Artur Cygan Trail of Bits, Josselin Feist Trail of Bits, Alex Groce Northern Arizona University
16:58
7m
Talk
FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks
Tool Demonstration
Yang Zhang Hebei University of Science and Technology, Shuai Shao Hebei University of Science and Technology, Juan Zhai Rutgers University, Shiqing Ma Rutgers University, USA
17:05
7m
Talk
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Tool Demonstration
Ali Ghanbari Iowa State University
Pre-print
17:12
7m
Talk
ProFL: A Fault Localization Framework for Prolog
Tool Demonstration
George Thompson North Carolina A&T State University, Allison Sullivan The University of Texas at Arlington
17:19
7m
Talk
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Tool Demonstration
Zichen Guo Nanjing University, Jiawei Liu Nanjing University, Tieke He Nanjing University, Zhuoyang Li Nanjing University, Peitian Zhangzhu Nanjing University
17:26
7m
Talk
Test Recommendation System Based on Slicing Coverage Filtering
Tool Demonstration
Ruixiang Qian State Key Laboratory for Novel Software Technology, Nanjing University, Yuan Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Duo Men State Key Laboratory for Novel Software Technology, Nanjing University, Yang Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing University
DOI