Tomasz Kuchta

According to our database, Tomasz Kuchta authored at least 6 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems.

Tomasz Kuchta, Bartosz Zator

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2018

Shadow Symbolic Execution for Testing Software Patches.

Tomasz Kuchta, Hristina Palikareva, Cristian Cadar

ACM Trans. Softw. Eng. Methodol., 2018

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, Cristian Cadar

Empir. Softw. Eng., 2018

2016

Enhanced symbolic execution for patch testing and document recovery.

Tomasz Kuchta

PhD thesis, 2016

Shadow of a doubt: testing for divergences between software versions.

Hristina Palikareva, Tomasz Kuchta, Cristian Cadar

Proceedings of the 38th International Conference on Software Engineering, 2016

2014

Docovery: toward generic automatic document recovery.

Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014