Models and Testing --- A Recipe for Improved Effectiveness?
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
On Study Results: Round Trip Engineering of Space Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Automated model-based testing using the UML testing profile and QVT
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
The Technical Foundation of the GeneSEZ MDSD Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Connecting UML and VDM++ with Open Tool Support
FM '09 Proceedings of the 2nd World Congress on Formal Methods
An approach to testing conceptual schemas
Data & Knowledge Engineering
Testing UML2.0 models using TTCN-3 and the UML2.0 testing profile
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model based testing for horizontal and vertical collaboration in embedded systems development
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Automating test cases generation: from xtUML system models to QML test models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
A model based approach for debugging embedded systems in real-time
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Classification and trend analysis of UML books (1997---2009)
Software and Systems Modeling (SoSyM)
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement
Software and Systems Modeling (SoSyM)
Automated generation of test oracles using a model-driven approach
Information and Software Technology
A generic platform for model-based regression testing
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Integrating Production Automation Expert Knowledge Across Engineering Domains
International Journal of Distributed Systems and Technologies
Moliz: a model execution framework for UML models
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
RSA-MBT: a test tool for generating test artifacts based on models
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |