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

	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro DocID: 1pJkg - View Document
	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris DocID: 1px9E - View Document
	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung DocID: 1ph8b - View Document
	Call by Contract for Cryptographic Protocols DocID: 1nZ6s - View Document
	Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin DocID: 1nUaD - View Document