Presentations

  • Reviewing KLEE’s Sonar-Search Strategy in Context of Greybox Fuzzing
    Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida and 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 and Daniel Kroening
    University of Oxford, United Kingdom

  • Towards Efficient Data Flow Test Input Generation Using KLEE
    Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu and 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 and Mauro Pezzè
    University of Milano-Bicocca, Italy and University of Lugano, Switzerland

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

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

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

  • HASE: Hardware-Assisted Symbolic Execution
    Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and 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 and Johannes Kinder
    Royal Holloway, University of London, United Kingdom

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

  • Choosing the Best Solver for Your Query
    Oscar Soria Dustmann, Felix Rath, Philipp Martin and 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 and Amir Rahmati
    Samsung Research America, USA

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

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

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

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

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

Posters

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

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

  • Considering Symbolic Execution in Selfie
    Clement Poncelet
    Salzburg University, Austria

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

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