A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms-Reference-Cited by-同舟云学术

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms

Published: Issue: Volume: Page:475-489
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Shousha Marwa,Briand Lionel,Labiche Yvan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-87875-9_34.pdf

Reference21 articles.

1. Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Soft. Eng. 23(5) (1997)

2. Bacon, J.: Concurrent Systems – Operating Systems, Database and Distributed Systems: An Integrated Approach, 2nd edn. Addison-Wesley, Reading (1997)

3. Petriu, D.C.: Performance Analysis with the SPT Profile. Model-Driven Eng. Dist. Embed. Sys., 205–224 (2005)

4. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal (2004), http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf

5. Yang, H.: Deadlock. Java Tutorials – Herong’s Tutorial Notes, version 4.10 (2006), http://www.herongyang.com/java/index.html

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

1. Improving Test Data Generation for MPI Program Path Coverage With FERPSO-IMPR and Surrogate-Assisted Models;IEEE Transactions on Software Engineering;2024-03

2. Using UML/MARTE to support performance tuning and stress testing in real-time systems;Software & Systems Modeling;2017-02-10

3. A systematic review of approaches for testing concurrent programs;Concurrency and Computation: Practice and Experience;2015-12-10

4. Multi-objective optimization in rule-based design space exploration;Proceedings of the 29th ACM/IEEE international conference on Automated software engineering;2014-09-15

5. Model Transformation Using Multiobjective Optimization;Advances in Computers;2014