A Search-Based OCL Constraint Solver for Model-Based Test Data Generation

As of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).

See this publication on NVA