Pinned Repositories
analisisEstatico
BaseDatos
be-parametrized-test
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.
bounded-exhaustive-api-testgen
Efficient Bounded Exhaustive Input Generation from Program APIs
compilador
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
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
mpolitano.github.io
Use this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
mpolitano's Repositories
mpolitano/analisisEstatico
mpolitano/BaseDatos
mpolitano/be-parametrized-test
mpolitano/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/bounded-exhaustive-api-testgen
Efficient Bounded Exhaustive Input Generation from Program APIs
mpolitano/compilador
mpolitano/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
mpolitano/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.
mpolitano/jpf-symbc
Symbolic PathFinder
mpolitano/mpolitano.github.io
Use this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
mpolitano/PhdTesisPolitano
mpolitano/randoop
Automatic test generation for Java
mpolitano/redesNueronales
mpolitano/rio2020-site
mpolitano/rioWebSite
mpolitano/testGitHub