Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Wed 18 Jul 2018 16:20 - 16:30 at Zurich II - Tool Demos Chair(s): Saba Alimadadi

As a result of the increasing number of concurrent programs, the researchers put forward a number of tools with different implementation strategies to detect data race. However, confirming data races from the collection of true and false positives reported by race detectors is extremely the time-consuming process during the evaluation period.

In this paper, we presented ComRaDe, a management platform for concurrent testing of data race with three main functions: manage and filter data races, run evaluation programs to select race detectors, generate detection report automatically. We integrated and compared three different race detectors on ComRaDe in terms of race detection capability. The results demonstrated the potential of ComRaDe on effectively identifying the advantages and limitations of different race detectors, and in further helping researchers to select and improve the capability of detectors for its convenience.

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:00
Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba Alimadadi Northeastern University
16:00
10m
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
16:10
10m
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
16:20
10m
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu
16:30
10m
OASIs: Oracle Assessment and Improvement Tool
ISSTA Tool Demonstrations
Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
16:40
10m
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
MalViz: An Interactive Visualization Tool for Tracing Malware
ISSTA Tool Demonstrations
Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University