Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers!.

RT @c_cadar: Excellent keynote from @Tomasz_Kuchta at the @kleesymex workshop this year, do check it out!.

RT @Tomasz_Kuchta: Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectiv….

RT @c_cadar: Another wonderful KLEE workshop coming to an end this year. Big thanks again to our keynote speakers Corina Pasareanu, @Tevfi….

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

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

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

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.

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

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

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

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.

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

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

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

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

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

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

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

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