Author:
Gario Ahmed,Andrews Anneliese,Hagerman Seana
Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference67 articles.
1. Amberkar, S., Murray, M. T., Demerly, J. D., D’Ambrosio, J. G., & Czerny, B. J. (2001). A comprehensive hazard analysis technique for safety-critical automotive systems.
2. Angeletti, D., Giunchiglia, E., Narizzano, M., Puddu, A., & Sabina, S. (2009). Automatic test generation for coverage analysis of ERTMS software. In International Conference on Software Testing Verification and Validation, 2009. ICST ’09 (pp. 303–306). Washington, DC, USA.
3. Bobbio, A., Portinale, L., Minichino, M., & Ciancamerla, E. (2001). Improving the analysis of dependable systems by mapping fault trees into bayesian networks. Reliability Engineering and System Safety, 71(3), 249–260.
4. Boroday, S., Petrenko, A., Groz, R., & Quemener, Y. M. (2002). Test generation for CEFSM combining specification and fault coverage. In Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV, TestCom ’02 (pp. 355–372). Deventer: Kluwer, B.V.
5. Boudali, H., & Dugan, J. B. (2005). A discrete-time bayesian network reliability modeling and analysis framework. Reliability Engineering and System Safety, 87, 337–349.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献