Segueix
Tomasz Kuchta
Tomasz Kuchta
Computer Scientist | Mobile Security @ Samsung Electronics
Correu electrònic verificat a alumni.imperial.ac.uk - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
802016
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
362018
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
262018
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
182014
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
2022
Enhanced symbolic execution for patch testing and document recovery
T Kuchta
Imperial College London, 2017
2017
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–6