Følg
Tomasz Kuchta
Tomasz Kuchta
Computer Scientist | Mobile Security @ Samsung Electronics
Verificeret mail på alumni.imperial.ac.uk - Startside
Titel
Citeret af
Citeret af
År
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
922016
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
402018
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
302018
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
42022
Enhanced symbolic execution for patch testing and document recovery
T Kuchta
Imperial College London, 2017
12017
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–6