Tue 18 Jul 2023 14:34 - 14:40 at Habib Classroom (Gates G01) - Tool Demo Presentations Chair(s): Jonathan Bell, Luís Pina
Wed 19 Jul 2023 15:30 - 17:00 at Microsoft Atrium (Allen Center) - Tool Demonstrations Chair(s): Jonathan Bell, Luís Pina

Modern Java software development extensively depends on existing libraries written by other developer teams from the same or a different organization. When a developer executes the test, the execution trace may go across the boundaries of multiple dependencies and create cross-project failures (CPFs). A readable, executable, and concise CPF report may enable the most effective communication, but creating such a report is often challenging in Java ecosystems. We developed PExReport-Maven to automatically create the ideal CPF reports in the Maven build system. PExReport-Maven leverages the Maven build system to prune source code, dependencies, and the build environment to create a concise stand-alone executable CPF reproduction package from the original CPF project. The reproduction package includes the source code, dependencies, and build environment necessary to reproduce the CPF, making it an ideal CPF report. We performed an evaluation on 74 software project issues with 198 cross-project failures, and the evaluation results show that PExReport can create pruned reproduction packages for 184 out of the 198 test failures in our dataset, with an average reduction of 72.97% in Java classes. A future study will be conducted based on user feedback from using this tool to report real-world CPFs. PExReport-Maven is publicly available at https://github.com/wereHuang/PExReport-Maven. The tool demo is available on the PExReport website: https://sites.google.com/view/pexreport/home.

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Tool Demo PresentationsTool Demonstrations at Habib Classroom (Gates G01)
Chair(s): Jonathan Bell Northeastern University, Luís Pina University of Illinois at Chicago
13:30
6m
Talk
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
Tool Demonstrations
Yuhao Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
Link to publication DOI Media Attached
13:36
6m
Talk
EvoSpex: A Search-based Tool for Postcondition Inference
Tool Demonstrations
Facundo Molina IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Media Attached
13:42
6m
Talk
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Tool Demonstrations
Austin Mordahl University of Texas at Dallas, Dakota Soles The University of Texas at Dallas, Miao Miao The University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
13:49
6m
Talk
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Tool Demonstrations
Qinglong Wang Alibaba Group, Runzhe Wang Alibaba Group, Yuxi Hu Alibaba Group, Xiaohai Shi Alibaba Group, Zheng Liu Alibaba Group; Zhejiang University, Tao Ma Alibaba Group, Houbing Song University of Maryland, Baltimore County, Heyuan Shi Central South University
13:55
6m
Talk
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Tool Demonstrations
Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Thanasis Typaldos National Technical University of Athens
DOI Pre-print
14:02
6m
Talk
KDAlloc: The KLEE Deterministic Allocator
Tool Demonstrations
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
14:08
6m
Talk
RustSmith: Random Differential Compiler Testing for Rust
Tool Demonstrations
Mayank Sharma Imperial College London, Pingshi Yu Imperial College London, Alastair F. Donaldson Imperial College London
14:15
6m
Talk
SymRustC: A Hybrid Fuzzer for Rust
Tool Demonstrations
Frédéric Tuong Simon Fraser University, Mohammad Omidvar Tehrani Simon Fraser University, Marco Gaboardi Boston University, Steve Ko Simon Fraser University
14:21
6m
Talk
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Tool Demonstrations
Ziyad Alsaeed Qassim University, Michal Young University of Oregon
14:27
6m
Talk
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Tool Demonstrations
Frederico Ramos Instituto Superior Técnico, Diogo Costa Reis Instituto Superior Técnico, Miguel Trigo Instituto Superior Técnico, António Morgado INESC-ID, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal
14:34
6m
Talk
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Tool Demonstrations
Sunzhou Huang University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
Media Attached
14:40
6m
Talk
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Tool Demonstrations
Sven Peldszus Ruhr University Bochum, Noubar Akopian Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
DOI Media Attached
14:47
6m
Talk
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Tool Demonstrations
Roland Kuhn Actyx AG, Alan Darmasaputra Actyx AG
14:53
6m
Talk
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Tool Demonstrations
Francisco Ferreira Royal Holloway, University of London, Sung-Shik Jongmans Open University of the Netherlands; CWI

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
Tool DemonstrationsTool Demonstrations at Microsoft Atrium (Allen Center)
Chair(s): Jonathan Bell Northeastern University, Luís Pina University of Illinois at Chicago
15:30
90m
Talk
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Tool Demonstrations
Qinglong Wang Alibaba Group, Runzhe Wang Alibaba Group, Yuxi Hu Alibaba Group, Xiaohai Shi Alibaba Group, Zheng Liu Alibaba Group; Zhejiang University, Tao Ma Alibaba Group, Houbing Song University of Maryland, Baltimore County, Heyuan Shi Central South University
15:30
90m
Talk
RustSmith: Random Differential Compiler Testing for Rust
Tool Demonstrations
Mayank Sharma Imperial College London, Pingshi Yu Imperial College London, Alastair F. Donaldson Imperial College London
15:30
90m
Talk
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Tool Demonstrations
Sunzhou Huang University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
Media Attached
15:30
90m
Talk
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Tool Demonstrations
Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Thanasis Typaldos National Technical University of Athens
DOI Pre-print
15:30
90m
Talk
KDAlloc: The KLEE Deterministic Allocator
Tool Demonstrations
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
15:30
90m
Talk
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Tool Demonstrations
Ziyad Alsaeed Qassim University, Michal Young University of Oregon
15:30
90m
Talk
SymRustC: A Hybrid Fuzzer for Rust
Tool Demonstrations
Frédéric Tuong Simon Fraser University, Mohammad Omidvar Tehrani Simon Fraser University, Marco Gaboardi Boston University, Steve Ko Simon Fraser University
15:30
90m
Talk
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Tool Demonstrations
Austin Mordahl University of Texas at Dallas, Dakota Soles The University of Texas at Dallas, Miao Miao The University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
15:30
90m
Talk
EvoSpex: A Search-based Tool for Postcondition Inference
Tool Demonstrations
Facundo Molina IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Media Attached
15:30
90m
Talk
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Tool Demonstrations
Roland Kuhn Actyx AG, Alan Darmasaputra Actyx AG
15:30
90m
Talk
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
Tool Demonstrations
Yuhao Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
Link to publication DOI Media Attached
15:30
90m
Talk
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Tool Demonstrations
Francisco Ferreira Royal Holloway, University of London, Sung-Shik Jongmans Open University of the Netherlands; CWI
15:30
90m
Talk
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Tool Demonstrations
Frederico Ramos Instituto Superior Técnico, Diogo Costa Reis Instituto Superior Técnico, Miguel Trigo Instituto Superior Técnico, António Morgado INESC-ID, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal
15:30
90m
Talk
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Tool Demonstrations
Sven Peldszus Ruhr University Bochum, Noubar Akopian Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
DOI Media Attached