carolemieux Goto Github PK

afl-rb

FairFuzz: AFL extension targeting rare branches

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

carolemieux.github.io

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.

daikon

Dynamic detection of likely invariants

fuzzfactory

Domain-Specific Fuzzing with Waypoints

fuzzfactory-diff-demo

Demo project demonstrating how to build with FuzzFactory's diff domain.

fuzzingpaper

Recent Fuzzing Paper

glade-experiments

A version of GLADE (https://github.com/obastani/glade) that is easier to use for benchmarking purposes.

googletest

Googletest - Google Testing and Mocking Framework

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

mimid

Replication package for Mining Input Grammars From Dynamic Control Flow

mvn-python-packaging

A code sample and article describing how maven can be used to build python packages.

perffuzz

PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

pynguin

The PYthoN General UnIt Test geNerator is a test-generation tool for Python

rose6icse

spl

tinyxml2

TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.

typilus-action

A GitHub Action for suggesting Python type annotations. With a CLI hack.

typilus-action-runner

Repo to run typilus action on Pull requests.

women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research