A Specification-Based Test Case Generation Method for UML/OCL-Reference-Cited by-同舟云学术

A Specification-Based Test Case Generation Method for UML/OCL

Published:2011 Issue: Volume: Page:334-348
ISSN:0302-9743
Container-title:Models in Software Engineering
language:
Short-container-title:

Author:

Brucker Achim D.,Krieger Matthias P.,Longuet Delphine,Wolff Burkhart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21210-9_33

Reference24 articles.

1. van Aertryck, L., Jensen, T.: UML-CASTING: Test synthesis from UML models using constraint resolution. In: Jézéquel, J.M. (ed.) AFADL 2003 (2003)

2. Aichernig, B.K., Pari Salas, P.A.: Test case generation by ocl mutation and constraint solving. In: QSIC 2005, pp. 64–71. IEEE Computer Society, Los Alamitos (2005)

3. LNCS;S. Anand,2007

4. Benattou, M., Bruel, J.M., Hameurlain, N.: Generating test data from ocl specication. In: WITUML (2002)

5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ISSTA, pp. 123–133 (2002)

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

1. Software Test Case Generation Tools and Techniques: A Review;International Journal of Mathematical, Engineering and Management Sciences;2023-04-01

2. Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models;Distributed Computing and Internet Technology;2020-12-12

3. Assembling Scenario Patterns for Checking Model Behavior.;The Journal of Object Technology;2020

4. A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09

5. A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas;Conceptual Modeling;2019