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.