Concepedia

Timotej Kapus

TK

Statistics

Publications

4

Citations

98

H-Index

4

Active since

1996

Affiliations

Imperial College London(Current)

Timotej Kapus is an author at Imperial College London specializing in computer science, system software, and software analysis.

ORCID

Top concepts

Publications per year

1996–2019

4

Publications

4

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

Timotej Kapus, Cristian Cadar · 2017 · 45 citations

, , +22

A segmented memory model for symbolic execution

Timotej Kapus, Cristian Cadar · 2019 · 23 citations

, , +17

Testing theory in practice: a simple experiment

R. Terpstra, Zmago Brezočnik, Timotej Kapus et al. · University of Twente Research Information · 1996 · 20 citations · Full text

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

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky et al. · 2019 · 10 citations

Rows per page

1–4 of 4