2 citations · 9 across the 12 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
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…