Docovery: toward generic automatic document recovery. - Tomasz Kuchta; Cristian Cadar; Miguel Castro 001; Manuel Costa (ASE, 2014)

Shadow of a doubt: testing for divergences between software versions. - Hristina Palikareva; Tomasz Kuchta; Cristian Cadar (ICSE, 2016)

Enhanced symbolic execution for patch testing and document recovery. - Tomasz Kuchta (2016)

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files. - Tomasz Kuchta; Thibaud Lutellier; Edmund Wong; Lin Tan 001; Cristian Cadar (Empir. Softw. Eng., 2018)

Shadow Symbolic Execution for Testing Software Patches. - Tomasz Kuchta; Hristina Palikareva; Cristian Cadar (ACM Trans. Softw. Eng. Methodol., 2018)

Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems. - Tomasz Kuchta; Bartosz Zator (ASE, 2022)