Tomasz Kuchta gives a keynote with the title "Let's help symbolic execution SOAR!" which concludes the first day of the Fourth International KLEE Workshop on Symbolic Execution

Welcome back to the second day of the Fourth International KLEE Workshop!

Alexey Babushkin starts off the second day with a presentation on Complex Test Input Generation in KLEE

The second talk of the day is given by Juan Manuel Copia and deals with Precise Lazy Initialization for Programs with Complex Heap Inputs

Alessandro Orso is now presenting Automating Differential Testing with Over-approximate Symbolic Execution

Nicky Mouha concludes the first session of the second day by telling us about How the SHA-3 Buffer Overflow Was Found using KLEE

Ridwan Salihin Shariffdeen opens the second session of the day with Concolic Program Repair

Now, Sergey Mechtaev presents Program Repair Guided by Datalog-defined Static Analysis

The third and final keynote of the Fourth International KLEE Workshop on Symbolic Execution is titled "Symbolic PathFinder: Symbolic Execution for Java" and is presented by Corina Pasareanu right now.

The third session of the second day begins with Dairo de Ruck and Find Your Path: SoK on Path Selection Strategies in Symbolic Execution

Now up: Rohan Gangaraju presenting his work Accelerating Symbolic Execution by Targeted Control-flow Transformations

Eric Lu is presenting Deferring Branches to Speed Up Symbolic Execution at the Fourth International KLEE Workshop on Symbolic Execution right now.

Martin Nowack is presenting Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations as the last talk of the third session of the day.

The first talk of the last session is An Efficient Black-box Support of Advanced Coverage Criteria for KLEE presented by Delphine Longuet

The last technical talk of the workshop is about Concretely Mapped Symbolic Memory Locations for Memory Error Detection, presented by Haoxin Tu

Cristian Cadar is concluding the Fourth International KLEE Workshop on Symbolic Execution

Another wonderful KLEE workshop coming to an end this year. Big thanks again to our keynote speakers Corina Pasareanu, Tevfik Bultan and Tomasz Kuchta and all the presenters and participants for making it a success!

Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop: youtu.be/rQGB_fk253g

Excellent keynote from Tomasz Kuchta at the kleesymex workshop this year, do check it out!

Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! srg.doc.ic.ac.uk/klee24/keynote… srg.doc.ic.ac.uk/klee24/accepte…