andreamattavelli

Andrea Mattavelli's repositories

Language:MakefileGPL-3.02 30

Language:C1 50

Search-Based synthesis of Equivalent method Sequences

Language:Java1 30

american fuzzy lop (copy of the source code for easy access)

Language:C020

Language:HTML000

Language:Java020

A symbolic Java virtual machine for program analysis, verification and test generation

Language:JavaGPL-3.0000

KLEE Symbolic Virtual Machine

Language:C++NOASSERTION020

Language:CLGPL-2.1000

Language:HTMLNOASSERTION020

Deterministic linking in LLVM 2.9

Language:C++NOASSERTION020

Benchmark of well-known redundant algorithms

Language:Java020

Search-Based synthesis of Equivalent method Sequences - Experiments

Language:Java000

Similarity or Distance Metrics, e.g. Levenshtein, for Java

Language:JavaApache-2.0020

The SUSHI test case generator

Language:Java020

The runtime library part of SUSHI

Language:Java020

Language:C020