Tool Demonstrations
The Tool Demonstrations track will take place in the HeinzNixdorf MuseumsForum HNF (see map).
Thursday, September 7, 2017
Dynamic Analysis (Tool Demonstrations)
10:30 – 12:00, S5 |
QEMU-Based Framework for Non-intrusive Virtual Machine Instrumentation and Introspection
(Novgorod State University, Russia)
Publisher's Version
Info
|
RunDroid: Recovering Execution Call Graphs for Android Applications
(East China Normal University, China; Case Western Reserve University, USA)
Publisher's Version
Preprint
Video
Info
|
RGSE: A Regular Property Guided Symbolic Executor for Java
(National University of Defense Technology, China; Jiangnan Institute of Computing, China)
Publisher's Version
Preprint
Video
Info
|
A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
(Wageningen University, Netherlands; University of Luxembourg, Luxembourg; Ege University, Turkey)
Publisher's Version
Preprint
Video
Info
|
VART: A Tool for the Automatic Detection of Regression Faults
(University of Milano-Bicocca, Italy)
Publisher's Version
Preprint
Video
Info
|
Models (Tool Demonstrations)
14:00 – 15:30, S5 |
DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour
(Universidad Nacional de Río Cuarto, Argentina; Universidad Nacional de Córdoba, Argentina; University of Buenos Aires, Argentina; Buenos Aires Institute of Technology, Argentina)
Publisher's Version
Preprint
Video
Info
|
From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology
(Leibniz Universität Hannover, Germany)
Publisher's Version
Preprint
Video
Info
|
CLTSA: Labelled Transition System Analyser with Counting Fluent Support
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; University of Buenos Aires, Argentina)
Publisher's Version
Preprint
Video
Info
|
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
(Budapest University of Technology and Economics, Hungary; MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary; McGill University, Canada)
Publisher's Version
Preprint
|
Model-Based Privacy and Security Analysis with CARiSMA
(University of Koblenz-Landau, Germany; Fraunhofer ISST, Germany)
Publisher's Version
Preprint
Video
Info
|
Misc (Tool Demonstrations)
16:00 – 17:30, S5 |
Cherry-Picking of Code Commits in Long-Running, Multi-release Software
(University of the Thai Chamber of Commerce, Thailand)
Publisher's Version
Preprint
Info
|
ARCC: Assistant for Repetitive Code Comprehension
(Rochester Institute of Technology, USA)
Publisher's Version
Info
|
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
(University of Luxembourg, Luxembourg)
Publisher's Version
Preprint
Video
Info
|
XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
(Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore)
Publisher's Version
Video
|