Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Speed up the detection of behavioral regressions on your code applying to your test cases STAMP unit test amplification.
-
Boost your test environment amplifying it with STAMP
-
Automate your crash reproduction applying STAMP Online Test Amplifier to your logs.
-
STAMP Services - Enhance your quality amplifying your test cases and your Docker-based test configurations
-
STAMP DevOps POC
-
AuthzForce Core PDP engine (Community Edition)
-
AuthzForce Core PDP API
-
AuthzForce Server (Community Edition)
-
AuthzForce Parent Project
-
AuthzForce Core PAP API
-
AuthzForce REST API model for Authorization Services, implemented by server/webapp project
-
AuthzForce PAP DAO implementation (DAO = Data Access Object pattern) based on flat file database. Data are domains' metadata, policies, PDP configurations, etc.
-
FIWARE-specific contributions
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
-
-
-
-
-
-