Tomasz Kuchta -

Registered user since Tue 30 Aug 2022

Name:Tomasz Kuchta

Country:Poland

Affiliation:Samsung Electronics

Personal website: https://about.me/tomasz.kuchta

X (Twitter): https://x.com/Tomasz_Kuchta

GitHub: https://github.com/tkuchta

Contributions

2024

KLEE

Author of Let's help symbolic execution SOAR! within the KLEE 2024-track

2022

ASE

Author of Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems within the Artifact Evaluation-track
Author of Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems within the Research Papers-track