Alex Groce (agroce)

agroce

Geek Repo

Company:Northern Arizona University (SICCS)

Location:Flagstaff, AZ

Home Page:https://agroce.github.io/

Github PK Tool:Github PK Tool


Organizations
NAU-CS
naustarg
osustarg
SSERL

Alex Groce's repositories

universalmutator

Regexp based tool for mutating generic source code across numerous languages

Language:PythonLicense:NOASSERTIONStargazers:124Issues:13Issues:10

afl-compiler-fuzzer

Variation of american fuzzy lop for testing compilers

Language:CLicense:Apache-2.0Stargazers:110Issues:2Issues:3

tstl

Template Scripting Testing Language tool: automated test generation for Python

Language:PythonLicense:NOASSERTIONStargazers:99Issues:9Issues:6

testfs

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

Language:CStargazers:6Issues:2Issues:0

muttfuzz

a tool for meta-fuzzing using program mutants

rb_tree_demo

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

Language:CLicense:NOASSERTIONStargazers:4Issues:3Issues:0
Language:PythonStargazers:3Issues:2Issues:0

cc2022

CC paper on compiler fuzzing

Language:TeXStargazers:3Issues:2Issues:0

agroce.github.io

New webpage hosted at github

Language:TeXStargazers:2Issues:2Issues:0

fmitf-2024

fmitf-2024

Language:TeXStargazers:1Issues:0Issues:0

fuzzing22report

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

Language:C++Stargazers:0Issues:1Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:0Issues:1Issues:0

comby

A code rewrite tool for structural search and replace that supports ~every language.

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

deepstate-boyer-moore-horspool

DeepState harness for https://github.com/FooBarWidget/boyer-moore-horspool

Language:C++Stargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:3Issues:0
Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:3Issues:1
Language:TeXStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:3Issues:0
Language:TeXStargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0

pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

qa-assets

Bitcoin Core related blobs used for quality assurance

License:MITStargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:4Issues:0
Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:2Issues:0

umpaper

paper describing universal source based approach to mutation testing

Language:TeXStargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:3Issues:0