Author:
Engels Gregor,Küster Jochen M.,Heckel Reiko,Lohmann Marc
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Aynur Abdurazik and Jeff Offutt. Using UML collaboration diagrams for static checking and test generation. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York. UK. October 2000, Proceedings, volume 1939 of LNCS, pages 383–395. Springer, 2000.
2. F. Basanieri and A. Bertolino. A practical approach to UML-based derivation of integration tests. In Proc. of Software Quality Week Europe QWE2000, number 4, pages 20–24, November 2000.
3. Verification and validation;Berztiss,2002
4. Testing Object-Oriented Systems: Models, Patterns, and Tools;Binder,1999
5. L. Briand and Y. Labiche. A UML-based Approach to System Testing. In M. Gogolla and C. Kobryn, editors, UML 2001 - The UNified Modeling Language. Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, LNCS, pages 194–208. Springer-Verlag, 2001.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MBSE Testbed for Unmanned Vehicles;Handbook of Model-Based Systems Engineering;2023
2. MBSE Testbed for Unmanned Vehicles;Handbook of Model-Based Systems Engineering;2022
3. Semi-Formal Modeling of Multi-technological Systems I: UML;Technical Safety, Reliability and Resilience;2021
4. Verification of Model Transformations;Electronic Notes in Theoretical Computer Science;2013-03
5. Model-Based Verification and Validation of Spacecraft Avionics;Infotech@Aerospace 2012;2012-06-19