Formal Methods in Testing Software Architectures-Reference-Cited by-同舟云学术

Formal Methods in Testing Software Architectures

Published:2003 Issue: Volume: Page:122-147
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bertolino Antonia,Inverardi Paola,Muccini Henry

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39800-4_7

Reference48 articles.

1. The AGEDIS Project: Automated Generation and Execution of Test Suites for Distributed Component-based Software, On-line at http://www.agedis.de

2. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology 6(3), 213–249 (1997)

3. Lecture Notes in Computer Science;F. Basanieri,2002

4. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. In: SEI Series in Software Engineering. Addison-Wesley, Reading (1998)

5. Bertolino, A.: Knowledge Area Description of Software Testing. In: SWEBOK, Joint IEEE-ACM Software Engineering Coordinating Committee, On-line at: http://www.swebok.org

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

1. Validation by Abstraction and Refinement;Rigorous State-Based Methods;2023

2. Testing self-adaptive software with probabilistic guarantees on performance metrics;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07

3. Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through $$\rho _{\mathrm {arq}}$$ρarq Calculus;Communications in Computer and Information Science;2018

4. Rollout Strategy to Implement Interoperable Traceability in the Seafood Industry;Journal of Food Science;2017-08

5. PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures;Communications in Computer and Information Science;2016