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 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

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

3. 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

4. Model elements identification using neural networks: a comprehensive study;Requirements Engineering;2020-05-29

5. An Artificial Intelligence-Based Model-Driven Approach for Exposing Off-Nominal Behaviors;2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2019-05