Tomasz Kuchta

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 4

Top Topics

Logical Structure

Symbolic Execution

Software Systems

Electronic Documents

Top Venues

ACM Trans. Softw. Eng. Methodol.

Empir. Softw. Eng.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Tomasz Kuchta, Bartosz Zator
Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems. ASE (2022)
Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
Shadow Symbolic Execution for Testing Software Patches. ACM Trans. Softw. Eng. Methodol. 27 (3) (2018)
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files. Empir. Softw. Eng. 23 (6) (2018)
Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
Shadow of a doubt: testing for divergences between software versions. ICSE (2016)
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
Docovery: toward generic automatic document recovery. ASE (2014)