Publisher
Springer International Publishing
Reference16 articles.
1. Quinn, B.: Writing Test Rules to Verify Stakeholder Requirements. StickyMinds, 17 March 2013. https://www.stickyminds.com/article/writing-test-rules-verify-stakeholder-requirements/. Accessed 20 Nov 2020
2. Leventhal, L.M., Teasley, B.M., Rohlman, D.S., Instone, K.: Positive test bias in software testing among professionals: a review. In: International Conference on Human-Computer Interaction, pp. 210–218. Springer, Heidelberg (1993)
3. Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., Villafiorita, A.: Improving safety assessment of complex systems: an industrial case study. In: International Symposium of Formal Methods Europe, pp. 208–222. Springer, Heidelberg (2003)
4. Fan, J., Jiao, J., Wu, W., Zhao, T.: A model-checking oriented modeling method for safety critical system. In: First International Conference on Reliability Systems Engineering (ICRSE), pp. 1–6. IEEE (2015)
5. Kim, Y., Kim, M., Kim, T.-H.: Statistical model checking for safety critical hybrid systems: an empirical evaluation. In: Haifa Verification Conference, pp. 162–177. Springer, Heidelberg (2012)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献