Explore projects

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

FIWARE-specific contributions

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.