Test adequacy criteria for UML design models-Reference-Cited by-同舟云学术

Test adequacy criteria for UML design models

Published:2003 Issue:2 Volume:13 Page:95-127
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Andrews Anneliese,France Robert,Ghosh Sudipto,Craig Gerald

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference24 articles.

1. The Object Management Group. OMG Unified Modelling Language Specification, Version 1.3. OMG, 1999.

2. State-based model checking of event-driven system requirements

3. Software Seri;Holzmann,1991

4. Model checking and other ways of automating formal methods. Position Paper for Panel on Model Checking for Concurrent Programs, Software Quality Week, San Francisco, May/June 1995.

5. The Object Management Group. Object Constraint Language Specification. OMG, document ad/99-06-08, ch. 7, June, 1999.

Cited by 58 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proposed Test Case Generation Model using Fuzzy Logic (TCGMFL);WSEAS TRANSACTIONS ON COMPUTER RESEARCH;2023-11-22

2. TC4MT: A Specification-Driven Testing Framework for Model Transformations;International Journal of Software Engineering and Knowledge Engineering;2023-05-29

3. UML diagram classification model based on convolution neural network;Optik;2022-12

4. Concurrent behavioral coverage criteria for sequence diagrams;Innovations in Systems and Software Engineering;2021-11-25

5. Model-based testing using UML activity diagrams: A systematic mapping study;Computer Science Review;2019-08