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

First Page		Document Content
Date: 2012-09-25 06:20:12 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 Source URL: st.inf.tu-dresden.de Download Document from Source Website File Size: 338,79 KB Share Document on Facebook

	Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2 DocID: 1vr0B - View Document
	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1, DocID: 1vkNs - View Document
	Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3 DocID: 1vkgS - View Document
	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling Tutorial Version 1.4 December 15, 2000 DocID: 1v0CN - View Document
	Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract DocID: 1v03q - View Document