Executing Underspecified OCL Operation Contracts with a SAT Solver

Matthias P. Krieger, Alexander Knapp

In: Jordi Cabot, Martin Gogolla, Pieter van Gorp (Hgg.). Proc. 8th Int. Wsh. Object Constraint Language (OCL'08). Electr. Comm. EASST 15, 2008.