Mariano Politano's repositories
bounded-exhaustive-api
BEAPI is an efficient bounded exhaustive test generation tool that employs routines from the API of the software under test for generation.
mpolitano.github.io
Use this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
bounded-exhaustive-api-testgen
Efficient Bounded Exhaustive Input Generation from Program APIs
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
randoop
Automatic test generation for Java
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
jpf-symbc
Symbolic PathFinder