Pinned Repositories
fuzzingbook
Project page for "The Fuzzing Book"
ddset
Replication package for Abstracting Failure Inducing Inputs
F1
markdown-ieee-pdf
A skeletal project to convert a paper written in markdown format to IEEE style paper submission in pdf.
mimid
Replication package for Mining Input Grammars From Dynamic Control Flow
mucheck
Mutation analysis library for haskell
pycfg
pygmalion
qnial
This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website restructuring.
xmutant.py
Mutation testing for python
vrthra's Repositories
vrthra/F1
vrthra/SBST22-tutorial
vrthra/mucheck
Mutation analysis library for haskell
vrthra/fuzzer-compare
vrthra/antlr2json
Convert ANTLR4 grammar to JSON format
vrthra/bFuzzer
vrthra/EarleyJava
The Context Free Grammar Parser Implementation -- Earley Parser.
vrthra/fse2022-clifuzzer
Replication package for Mining Grammars for Command-Line Invocations
vrthra/vm-decoder
vrthra/ARC-templates
Latex Templates for Australian Research Council Discovery and DECRA programs
vrthra/cfg-random-sample
Random sampling from a CFG in C
vrthra/chaos-replication
vrthra/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
vrthra/decoder-replication
vrthra/decoder-replication-1
Evaluation framework and script files for replicating Decoder experiments.
vrthra/esem2024-chaos
vrthra/Ewoks
vrthra/fsynth-artifact
vrthra/fuzzing22report
Report draft for https://fuzzingworkshop.github.io/
vrthra/gfuzztools
Tools for working with grammars in C
vrthra/glade-replication
This is the replication package for the experiments in "“Synthesizing Input Grammars”: A Critical Evaluation".
vrthra/icse23-decoder
vrthra/jlite
vrthra/ktistec
Single user ActivityPub (https://www.w3.org/TR/activitypub/) server.
vrthra/latex-year
:calendar: a year-at-a-glance LaTeX template using TikZ
vrthra/lava-m-on-fuzzbench
vrthra/mjava
From: http://pld.cs.luc.edu/courses/271/fall18/compiler/ as an example for our research
vrthra/NbDev
vrthra/numpile
A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
vrthra/shadowmutation