Collaborated with:C.Cadar Oren Ish-Shalom S.Itzhaky N.Rinetzky
Talks about:test (3) symbol (2) execut (2) differenti (1) refactor (1) summari (1) segment (1) program (1) generat (1) automat (1)
Person: Timotej Kapus
DBLP: Kapus:Timotej
Contributed to:
2017
2019
2019Wrote 3 papers:
- ASE-2017-KapusC #automation #difference #execution #generative #symbolic computation #testing
- Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
- ESEC-FSE-2019-KapusC #execution #memory management #symbolic computation
- A segmented memory model for symbolic execution (TK, CC), pp. 774–784.
- PLDI-2019-KapusIIRC #c #refactoring #string #summary #testing
- Computing summaries of string loops in C for better testing and refactoring (TK, OIS, SI, NR, CC), pp. 874–888.