Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.

Related research

1. Scenario-based testing from UML/OCL behavioral models

   Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand in International Journal on Software Tools for Technology Transfer (2011)

   Save reference to library · Related research
2. Applying Refactoring Techniques to UML/OCL Models

   Alexandre Correa, Cláudia Werner in Constraints (2004)

   Save reference to library · Related research 7 readers
3. Models for automatic generation of safety-critical real-time systems

   Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott in The Second International Conference on Availability Reliability and Security ARES07 (2007)

   Save reference to library · Related research 4 readers
4. Towards Sharing Rules Between OWL/SWRL and UML/OCL

   Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Vladan Devedzic in Electronic Communications of the European Association of Software Science and Technology (2006)

   Save reference to library · Related research 1 reader
5. Testing Distributed Component Based Systems Using UML/OCL

   Achim D Brucker, Burkhart Wolff in Engineering (2001)

   Save reference to library · Related research 1 reader