Browsing Ponencias (Lenguajes y Sistemas Informáticos) by Subject "UML Testing Profile"
Now showing items 1-1 of 1
-
Presentation
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)The verification of the properties of a business process (BP) has become a significant research topic in recent years. ...