Tomasz Kuchta
Tomasz Kuchta
Computer Scientist | Mobile Security @ Samsung Electronics
Verified email at - Homepage
Cited by
Cited by
Shadow of a doubt: testing for divergences between software versions
H Palikareva, T Kuchta, C Cadar
Proceedings of the 38th International Conference on Software Engineering …, 2016
Shadow symbolic execution for testing software patches
T Kuchta, H Palikareva, C Cadar
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (3), 1-32, 2018
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
T Kuchta, T Lutellier, E Wong, L Tan, C Cadar
Empirical Software Engineering 23, 3187-3220, 2018
Docovery: toward generic automatic document recovery
T Kuchta, C Cadar, M Castro, M Costa
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems
T Kuchta, B Zator
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
Enhanced symbolic execution for patch testing and document recovery
T Kuchta
Imperial College London, 2016
The system can't perform the operation now. Try again later.
Articles 1–6