-
IMDEA Software Institute
- Madrid, Spain
- https://juanmacopia.github.io/
Highlights
- Pro
Block or Report
Block or report JuanmaCopia
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
PySEAT
PySEAT PublicPySEAT is a testing automation tool. It automatically generates test cases for Python programs that use complex heap-allocated data structures.
Python
-
juanmacopia.github.io
juanmacopia.github.io PublicForked from academicpages/academicpages.github.io
My Personal Website
JavaScript
-
SymSolve
SymSolve PublicSymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Java
-
spf-pli
spf-pli PublicPLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints
Java
If the problem persists, check the GitHub status page or contact support.