2 citations · 9 across the 12 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
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…
cs.SE2011★ 2 cited
Abstracting Path Conditions
Jan Strejček, Marek Trtík
We present a symbolic-execution-based algorithm that for a given program and a given program location produces a nontrivial necessary condition on input values to drive the program…