Timotej Kapus

According to our database, Timotej Kapus authored at least 8 papers between 2017 and 2022.

Collaborative distances:

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

2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.

Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints.

Timotej Kapus

PhD thesis, 2021

2020

Past-sensitive pointer analysis for symbolic execution.

David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Pending Constraints in Symbolic Execution for Better Exploration and Seeding.

Timotej Kapus, Frank Busse, Cristian Cadar

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus, Martin Nowack, Cristian Cadar

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A segmented memory model for symbolic execution.

Timotej Kapus, Cristian Cadar

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

Automatic testing of symbolic execution engines via program generation and differential testing.

Timotej Kapus, Cristian Cadar

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017