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 |