Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frédéric Dadeau
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Test Case Generation Using UML State Diagram and OCL Expression
International Journal of Computer Applications
Evaluating Equating Properties for Mixed-Format Tests
Specification and Validation of Authorisation Constraints Using UML and OCL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL
Validating UML Simulation Models With Model-Level Unit Tests
Regression Test Selection Based on UML Models
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coverage-Based Test Cases Selection for XACML Policies
