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/qnial
This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website restructuring.
vrthra/nix-prefix
A prefixed nix install
vrthra/c-mutate
James Andrews C mutation tool (prolog)
vrthra/ps-fun
Concatenative programming for Post Script : provides functional functions
vrthra/py.py
Python Meta Circular Interpreter
vrthra/algorithms.py
vrthra/bytetaints.py
Byte code instrumentation based taint analysis
vrthra/bytetrace.py
vrthra/cil-template
From https://bitbucket.org/zanderso/cil-template
vrthra/commit-classify
vrthra/conference-popl2016-faults
conference papar on faults
vrthra/coverage-framework
vrthra/ddmin
vrthra/evolver.py
vrthra/forking-mutants
vrthra/icse_gopinath2016on
ICSE 2016 On the Limits of Mutation Reduction Strategies
vrthra/icst16-equivalents
vrthra/minimize-ts
vrthra/nano.pyc
A python virtual machine
vrthra/nanopy
A simple Python metacircular interpreter
vrthra/parse.py
vrthra/process-reduced
vrthra/pymonkeys
Symbolic evaluator for python programs using Z3
vrthra/ruby-hive
Automatically exported from code.google.com/p/ruby-hive
vrthra/taint-demo
vrthra/taints.py
Proxy object based taint propagation for Python
vrthra/trans
vrthra/twitter-graph
Challenge for Insight Data Engineering
vrthra/vis.nix
The vis editor for NixOS
vrthra/vrthra.github.io.x