A combinatorial approach for exposing off-nominal behaviors-Reference-Cited by-同舟云学术

A combinatorial approach for exposing off-nominal behaviors

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering
language:
Short-container-title:

Author:

Madala Kaushik¹,Do Hyunsook¹,Aceituna Daniel²

Affiliation:

1. University of North Texas

2. DISTek Integration, Inc.

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3180155.3180204

Reference46 articles.

1. Validation and Verification (V&V) of Safety-Critical Systems Operating under Off-Nominal Conditions

2. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

3. Reliability Analysis Center. 1993. Failure Mode Effects and Criticality Analysis (FMECA). (1993). http://www.dtic.mil/dtic/tr/fulltext/u2/a278508.pdf Reliability Analysis Center. 1993. Failure Mode Effects and Criticality Analysis (FMECA). (1993). http://www.dtic.mil/dtic/tr/fulltext/u2/a278508.pdf

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

1. A Survey of Function Failure Identification and Propagation Analysis Methods for System Design;Journal of Computing and Information Science in Engineering;2024-07-05

2. ADSA – Association-Driven Safety Analysis to Expose Unknown Safety Issues;IEEE Transactions on Dependable and Secure Computing;2024-01

3. Identifying safety issues from energy conservation requirements;Journal of Software: Evolution and Process;2022-10-04

4. A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles;Communications in Computer and Information Science;2022

5. SACC - A property driven approach to expose undesired behaviors among system’s components;2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE);2020-10