Timotej Kapus

[Tanja E.J. Vos @tanja_vos]

The @icstconference #icst22 best INDUSTRY paper award went to Ke Mao, @k_timotej, @LambrosPetrou, @himynameisakos, Matteo Marescotti, @_The_George_ , @Mark_Harman and @dino_distefano for their paper: FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp

[Cristian Cadar @c_cadar]

KLEE 2.2 is released! New features include support for C++ exceptions, a more flexible random-path searcher, a ZESTI-like wrapper, compatibility w/ recent LLVM versions, and much more. Big thanks to all the contributors and to @nowack_m as co-maintainer!
https://t.co/6uGd5nYRE2

[Timotej Kapus @k_timotej]

@SMT_Solvers @c_cadar @kleesymex I don't know any, but you could use KLEE

[Cristian Cadar @c_cadar]

New blog post with @k_timotej on measuring code coverage achieved via symbolic execution, focusing on the difference b/w the internal coverage reported by a tool like @kleesymex and externally-measured coverage (e.g., replaying generated inputs with gcov): https://t.co/yGyh8UtX0g

[Cristian Cadar @c_cadar]

Excited to announce the 2nd International KLEE Workshop on Symbolic Execution, 14-15 September 2020, London, UK @kleesymex
Presentation proposals are due at the beginning of May and we are also looking for sponsors to keep registration costs low. https://t.co/khbAKLsZrj

[Timotej Kapus @k_timotej]

Excited to see @c_cadar introduce the first KLEE workshop! @kleesymex

[Timotej Kapus @k_timotej]

The @GraphicsFuzz benchmark found 6 issues (9/15 tests passed) on my Google Pixel device, affecting my Qualcomm GPU driver #GraphicsFuzz

[Alastair Donaldson @afd_icl]

"A tale of two @Samsung[s]: @ARM vs. @Qualcomm in @Android graphics" - check out the first published ShaderTest @OpenGL ES results from my new company, @GraphicsFuzz! https://t.co/UNi40iKV9r @thekhronosgroup