Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
Martin Jonáš, Jan Strejček, Marek Trtík +1
We present a novel gray-box fuzzing algorithm monitoring executions of instructions converting numerical values to Boolean ones. An important class of such instructions evaluate pr…
cs.PL2017
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
Jan Mrázek, Martin Jonáš, Jiří Barnat
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vec…