39 citations · 57 across the 13 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2016★ 1 cited
Tighter Loop Bound Analysis (Technical report)
Pavel Čadek, Jan Strejček, Marek Trtík
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as funct…
cs.PL2012
On Synergy of Metal, Slicing, and Symbolic Execution
Jiří Slabý, Jan Strejček, Marek Trtík
We introduce a novel technique for finding real errors in programs. The technique is based on a synergy of three well-known methods: metacompilation, slicing, and symbolic executio…
cs.PL2012★ 1 cited
Compact Symbolic Execution
Jiří Slabý, Jan Strejček, Marek Trtík
We present a generalisation of King's symbolic execution technique called compact symbolic execution. It proceeds in two steps. First, we analyse cyclic paths in the control flow g…