1 comment

[ 3.4 ms ] story [ 25.0 ms ] thread
All the symbolic test generating and model checkers are missing: cbmc, klee, spin, slam, prism, frama-c, ..., whilst some random solver backends are cited. Better than random fuzzing and more awesome.