Conformance Testing of Hybrid Systems with Qualitative Reasoning Models-Reference-Cited by-同舟云学术

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Published:2009-10 Issue:2 Volume:253 Page:53-69
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Aichernig Bernhard K.,Brandl Harald,Wotawa Franz

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Distributed cooperation with action systems;Back;ACM Trans. Program. Lang. Syst.,1988

2. Bouwer, A., J. Liem and B. Bredeweg, “User Manual for Single-User Version of QR Workbench,” Naturnet-Redime, STREP project co-funded by the European Commission within the Sixth Framework Programme (2002–2006) (2005), project no. 004074. Project deliverable D4.2.1.

3. Brandl, H., G. Fraser and F. Wotawa, Coverage-based testing using qualitative reasoning models, in: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008) (2008), pp. 393–398

4. Brandl, H., G. Fraser and F. Wotawa, QR-model based testing, in: AST'08: Proceedings of the 3rd international workshop on automation of software test (2008), pp. 20–17

5. Brandl, H., G. Fraser and F. Wotawa, A report on QR-based testing, in: 22nd International Workshop on Qualitative Reasoning, 2008, pp. 1–9

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

1. Implementation relations and testing for cyclic systems: Adding probabilities;Robotics and Autonomous Systems;2023-07

2. Verifiable Self-Aware Agent-Based Autonomous Systems;Proceedings of the IEEE;2020-07

3. Model Conformance for Cyber-Physical Systems;ACM Transactions on Cyber-Physical Systems;2019-10-03

4. A Testing Perspective on Algebraic, Denotational, and Operational Semantics;Unifying Theories of Programming;2019

5. Automatic test case generation from Simulink/Stateflow models using model checking;Software Testing, Verification and Reliability;2013-01-22