Back to Results
First PageMeta Content
Software testing / QuickCheck / Object Constraint Language / Model-based testing / Postcondition / Random testing / Design by contract / ECO / Unit testing / Unified Modeling Language / Object Process Methodology / Test automation


Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro
Add to Reading List

Document Date: 2012-09-25 06:20:12


Open Document

File Size: 338,79 KB

Share Result on Facebook