Accepted Formal Demonstrations


  • CrashScope: A Practical Tool for Automated Testing of Android Applications by Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome and Denys Poshyvanyk
  • SMUG: a Selective MUtant Generator tool by Simone Romano and Giuseppe Scanniello
  • DroidBot: A Lightweight UI-Guided Test Input Generator for Android by Yuanchun Li, Ziyue Yang, Yao Guo and Xiangqun Chen

Program Understanding

  • Fast and Flexible Large-Scale Clone Detection with CloneWorks by Jeffrey Svajlenko and Chanchal K. Roy
  • Mining Input Grammars with AUTOGRAM by Matthias Höschele and Andreas Zeller
  • Studying multi-threaded behavior with TSViz by Matheus Nunes, Harjeet Lalh, Ashaya Sharma, Augustine Wong, Svetozar Miucin, Alexandra Fedorova and Ivan Beschastnikh
  • Cheetah: Just-in-Time Taint Analysis for Android Apps by Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith and Emerson Murphy-Hill

Energy and Requirement Analysis

  • PETrA: a Software-Based Tool for Estimating the Energy Profile of Android Applications by Dario Di Nucci, Fabio Palomba, Antonio Prota, Annibale Panichella, Andy Zaidman and Andrea De Lucia
  • OctoUML: An Environment for Exploratory and Collaborative Software Design by Rodi Jolak, Boban Vesin and Michel R.V. Chaudron
  • GEMMA: Multi-objective Optimization of Energy Consumption of GUIs in Android Apps by Mario Linares-Vásquez, Carlos Bernal-Cárdenas, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta and Denys Poshyvanyk

Analysis and Refactoring

  • Analysis of JavaScript Web Applications Using SAFE 2.0 by Jihyeok Park, Yeonhee Ryou, Joonyoung Park and Sukyoung Ryu
  • CSSDev: Refactoring duplication in Cascading Style Sheets by Davood Mazinanian and Nikolaos Tsantalis
  • Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines by Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein and Yves Le Traon
  • JSDeodorant: Class-awareness for JavaScript programs by Laleh M-Eshkevari, Davood Mazinanian, Shahriar Rostami and Nikolaos Tsantalis

Trending Technologies

  • Data-Directed Contextual Relevance in the IoT by Colin Maxfield and Christine Julien.
  • Statistical Migration of API Usages by Hung Phan, Anh Nguyen, Trong Nguyen and Tien Nguyen.
  • RACK: Code Search in the IDE using Crowdsourced Knowledge by Mohammad Masudur Rahman, Chanchal K. Roy and David Lo.
  • SURF: Summarizer of User Reviews Feedback by Andrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Corrado A. Visaggio and Gerardo Canfora.