Author:
Pelliccione Patrizio,Muccini Henry,Bucchiarone Antonio,Facchini Fabrizio
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. AGEDIS Project, http://www.agedis.de/index.shtml
2. Model-based Testing Home Page, http://www.geocities.com/model_based_testing/ Maintained by Harry Robinson
3. UMLAUT Project, http://www.irisa.fr/UMLAUT/
4. CHARMY Project. Charmy Web Site (2004), http://www.di.univaq.it/charmy
5. Antoniol, G., Briand, L.C., Di Penta, M., Labiche, Y.: A Case Study Using the Round-Trip Strategy for State-Based Class Testing. In: Proc. IEEE ISSRE 2002 (2002)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contract-Based Specification and Test Generation for Adaptive Systems;Theory and Engineering of Dependable Computer Systems and Networks;2021
2. State-based model slicing;ACM Computing Surveys;2013-08
3. UML behavioral model based test case generation;ACM SIGSOFT Software Engineering Notes;2013-07-12
4. Symbolic Message Sequence Charts;ACM Transactions on Software Engineering and Methodology;2012-03
5. Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing;Modelling Foundations and Applications;2012