2 citations · 9 across the 12 of their papers we have counts for
Showing 2012 · cs.SEShow all
2 papers · 2 filters
cs.SE2012★ 1 cited
STANSE: Bug-finding Framework for C Programs
Jan Obdržálek, Jiří Slabý, Marek Trtík
STANSE is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are 1) ability to process lar…
cs.SE2012
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…