Tomasz Kuchta
Tomasz Kuchta
Computer Scientist | Mobile Security @ Samsung Electronics
Bestätigte E-Mail-Adresse bei alumni.imperial.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
442016
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
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 (6), 3187-3220, 2018
152018
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
122018
Enhanced symbolic execution for patch testing and document recovery
T Kuchta
Imperial College London, 2016
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5