ECOOP and ISSTA 2018 (series) / ISSTA 2018 (series) / ISSTA Tool Demonstrations / Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
The paper presents advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ANaConDA comes with several built-in analysers, covering detection of data races, deadlocks, or contract violations, and allows for an easy creation of new analysers. To increase the variety of tested interleavings, ANaConDA offers various noise injection techniques. The framework performs the analysis on a binary level, thus not requiring the source code of the program to be available. Apart from many academic experiments, ANaConDA has also been successfully used to discover various errors in industrial code.
Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:00 | |||
16:00 10m | Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs 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 | ||