andreamattavelli
Software Engineer @ MF Group AG Switzerland
Imperial College LondonMendrisio, Switzerland
Pinned Repositories
afl
american fuzzy lop (copy of the source code for easy access)
andreamattavelli.github.io
chopper-experiments
error-prone
Catch common Java mistakes as compile-time errors
rt_debug
sbes
Search-Based synthesis of Equivalent method Sequences
chopper
KLEE / CSE Project
klee
KLEE Symbolic Execution Engine
klee.github.io
Website for the KLEE project: https://klee-se.org/
sushi
The SUSHI test case generator
andreamattavelli's Repositories
andreamattavelli/rt_debug
andreamattavelli/chopper-experiments
andreamattavelli/sbes
Search-Based synthesis of Equivalent method Sequences
andreamattavelli/afl
american fuzzy lop (copy of the source code for easy access)
andreamattavelli/andreamattavelli.github.io
andreamattavelli/error-prone
Catch common Java mistakes as compile-time errors
andreamattavelli/gm-learning
andreamattavelli/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
andreamattavelli/klee
KLEE Symbolic Virtual Machine
andreamattavelli/klee-uclibc
klee-uclibc
andreamattavelli/klee.github.io
andreamattavelli/llvm-29
Deterministic linking in LLVM 2.9
andreamattavelli/redundancy-benchmark
Benchmark of well-known redundant algorithms
andreamattavelli/sbes-experiments
Search-Based synthesis of Equivalent method Sequences - Experiments
andreamattavelli/simmetrics
Similarity or Distance Metrics, e.g. Levenshtein, for Java
andreamattavelli/sushi
The SUSHI test case generator
andreamattavelli/sushi-lib
The runtime library part of SUSHI
andreamattavelli/UROP