The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A Toolset for Supporting UML Static and Dynamic Model Checking
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
UMLAnT: an Eclipse plugin for animating and testing UML designs
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
QuickCheck testing for fun and profit
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
Proving and visualizing OCL invariant independence by automatically generated test cases
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Encoding OCL data types for SAT-based verification of UML/OCL models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
MADES: a tool chain for automated verification of UML models of embedded systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
OCL-based runtime monitoring of applications with protocol state machines
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL
Information and Software Technology
Evaluating and debugging OCL expressions in UML models
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings of the Conference on Design, Automation and Test in Europe
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Debugging of inconsistent UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Employing the object constraint language in model-based engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Properties in UML models are frequently formulated as OCL invariants or OCL pre- and postconditions. The UML-based Specification Environment (USE) supports validation and to a certain degree verification of such properties. USE allows the developer to prove the consistency and independence of invariants by building automatically generated test cases. USE also assists the developer in checking consequences and making deductions from invariants by automatically constructing a set of test cases in form of model scenarios. Suspected deductions are either falsified by a counter test case or are shown to be valid in a fixed finite search space.