Concuerror. Erlang
bugs. Erlang
dialyzer_plt_tests. Erlang
storm. A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
bran. A static analysis framework for EVM bytecode
