39 citations · 57 across the 13 of their papers we have counts for
4 papers · 1 filter
Compact Symbolic Execution (technical report)
Marek Trtík
We present a generalisation of King's symbolic execution technique called compact symbolic execution. It is based on a concept of templates: a template is a declarative parametric…
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…
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…
LTL to Büchi Automata Translation: Fast and More Deterministic
Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák +1
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak alternating co-Büchi automata and generalized Büchi autom…