Solving hybrid constraints to validate a security software module for detecting injection… Grant EP-2420932-B1 European Patent Office 28 Feb 2018
Solving hybrid constraints to generate test cases for validating a software module Grant EP-2420931-B1 European Patent Office 22 Nov 2017