Accepted Tool Demos

• Ariel Rosenfeld, Odaya Kardashov and Orel Zang.
  ACAT: A Novel Machine-Learning-Based Tool For Automating Android Application Testing
• Andrei Tatarnikov, Alexander Kamkin, Mikhail Chupilko and Artem Kotsynyak.
  MicroTESK: Specification-Based Tool for Construction of Test Program Generators
• George Sherwood.
  Embedded functions for test design automation
• Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky.
  RATCOP: Relational Analysis Tool for Concurrent Programs
• Bernhard Garn, Fabian Wuerfl and Dimitris E. Simos.
  KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities