Automatic instantiation of abstract tests on specific configurations for large critical control systems-Reference-Cited by-同舟云学术

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Published:2009-06 Issue:2 Volume:19 Page:91-110
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Flammini Francesco,Mazzocca Nicola,Orazzo Antonio

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference21 articles.

1. Telelogic AB: Telelogic Tau Logiscope 6.1 Test Checker-Basic Concepts. 2004.

2. Model-Based Testing. http://www.model-based-testing.org [2007].

3. Clarke JM. Automated test generation from a behavioral model. Proceedings of Pacific Northwest Software Quality Conference, Portland, Oregon, U.S.A., May 1998.

4. Hartman A, Kirshin A, Nagin K. A test execution environment running abstract tests for distributed software. Software Engineering and Applications, SEA 2002, Cambridge, U.S.A., 4-6 November 2002, Hamza MH (ed.). 2002; 448-453.

5. OMG Unified Modeling Language. http://www.omg.org/uml [2007].

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

1. Testing software’s changing features with environment-driven abstraction identification;Requirements Engineering;2022-09-20

2. Using log analytics and process mining to enable self-healing in the Internet of Things;Environment Systems and Decisions;2022-05-17

3. A Vision of Intelligent Train Control;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022

4. Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan;IEEE Transactions on Intelligent Transportation Systems;2021-10

5. Smart-troubleshooting connected devices: Concept, challenges and opportunities;Future Generation Computer Systems;2020-10