Accepted Contributions

Presentations

• Reviewing KLEE’s Sonar-Search Strategy in Context of Greybox Fuzzing
  Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato.
  Technical University of Munich, Germany

• Evaluating Manual Intervention to Address the Challenges of Bug Finding with Symbolic Execution
  John Galea, Sean Heelan, Daniel Neville, Daniel Kroening
  University of Oxford, United Kingdom

• Towards Efficient Data Flow Test Input Generation Using KLEE
  Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
  East China Normal University, Nanyang Technological University and National Trusted Embedded Software Engineering Technology Research Center, China

• Symbolic Execution with Heap Inputs
  Pietro Braione, Giovanni Denaro, Mauro Pezzè
  University of Milano-Bicocca, Italy and University of Lugano, Switzerland

• Advanced Test Coverage Criteria: Specify and Measure, Cover and Unmask
  Sebastien Bardin, Nikolai Kosmatov
  CEA LIST, France

• The Tracer-X System
  Joxan Jaffar, Rasool Maghareh
  National University of Singapore, Singapore

• Efficient Reuse of Path Condition Solutions by Heuristically Matching Solution Spaces
  Andrea Aquino, Giovanni Denaro, Mauro Pezzè
  University of Milano-Bicocca, Italy and University of Lugano, Switzerland

• HASE: Hardware-Assisted Symbolic Execution
  Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
  University of Edinburgh, UK, University of Washington, USA, and University of Michigan, USA

• ExpoSE: Practical Symbolic Execution of Standalone JavaScript
  Blake Loring, Duncan Mitchell, Johannes Kinder
  Royal Holloway, University of London, United Kingdom

• A Pointer Tracking Memory Model for Symbolic Execution
  Felix Rath, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
  RWTH Aachen University, Germany

• Choosing the Best Solver for Your Query
  Oscar Soria Dustmann, Felix Rath, Philipp Martin, Klaus Wehrle
  RWTH Aachen University, Germany

• Probabilistic Symbolic Execution
  Antonio Filieri
  Imperial College London, United Kingdom

• Caterpillar: Iterative Concolic Execution for Stateful Programs
  Laurent Simon, Shuying Liang, Amir Rahmati
  Samsung Research America, USA

• KLEE’s Solver Chain Revisited – Opportunities for Improvement?
  Heinrich Kießling, Martin Nowack
  TU Dresden, Germany

• Efficient Testing For Regression Errors using KLEE
  Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy
  Indian Institute of Technology Kanpur, India

• Symbolic Execution Equivalence and Its Applicability to Network Verification
  Costin Raiciu, Dragos Dumitrescu, Radu Stoenescu
  University Politehnica of Bucharest, Romania

• Chopped Symbolic Execution
  David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
  Tel Aviv University, Israel and Imperial College London, United Kingdom

• Feeding the Fuzzers with KLEE
  Marek Zmysłowski
  Samsung Poland R&D Institute, Poland

Posters

• Resilience Evaluation via Symbolic Fault Injection on Intermediate Code
  Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
  University of Bremen, Germany

• HASE: Hardware-Assisted Symbolic Execution
  Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
  University of Edinburgh, UK, University of Washington, USA, and University of Michigan, USA

• Symbolic Execution in Selfie: A First Step
  Clement Poncelet, Christoph Kirsch
  Salzburg University, Austria

• Debugging P4 Programs with Vera
  Costin Raiciu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Radu Stoenescu
  University Politehnica of Bucharest, Romania

• Symbolic Execution Projects from the Software Reliability Group
  Software Reliability Group
  Imperial College London, United Kingdom