Alex Groce

universalmutator. Regexp based tool for mutating generic source code across numerous languages

afl-compiler-fuzzer. Variation of american fuzzy lop for testing compilers

tstl. Template Scripting Testing Language tool: automated test generation for Python

cs362w16core. Class core for 362 W 16, OSU

naucs499sp20. Class on embedded systems testing

muttfuzz. A tool for meta-fuzzing using program mutants

cs362sp16core. Class repository for core material in CS362 Oregon State Spring 2016

cs362sp15core. 362 class repo for spring 2015

testfs. DeepState testing for TestFS, a user level toy file system that is similar to ext3

testleveldb. DeepState testing for levelDB

rb_tree_demo. DeepState version of code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896

cbmcmutate. mutation testing meets model checking

echidna-parade. Scripts to launch swarmed echidna instances (a parade is a group of echidna)

naucs499sp18. CS 499: Software Security, Spring 2018

slithermutate. some of the slither mutation testing

bug-transfer. Python

cs569sp16. Class for CS 569 SP 16

cc2022. CC paper on compiler fuzzing

cs562w16. Class repo for CS562 Winter 2016

compilermutants. Mutants for GCC and SpiderMonkey used in ISSRE 2018 paper

agroce.github.io. New webpage hosted at github

bitcoin_fuzz_tools. Python

cs569sp15. 569 Class repo

swarmed_tools. Swarmed versions of random testing tools

mutantsnsfsmall. NSF proposal on mutation testing

deepstate. A unit test-like interface for fuzzing and symbolic execution

paper-testlength. Data and text for paper on length of tests

onward24code. Source code and instructions for "(Programs), Proofs and Refutations (and Tests and Mutants)"

fuzzing22report. Report draft for https://fuzzingworkshop.github.io/

echidna-parade-issta21-demo. paper for echidna-parade

howtotestit. Testing book

bitcorpus.

echidna_demo_issta20. latex draft + data for a tool paper describing the Echidna fuzzer

icse18tool. ICSE 18 tool paper on universal mutator

deepstate-c-blosc2. DeepState harness to test CBlosc2 compression library

bgganalysis. analyze bgg comments