Publisher
Springer International Publishing
Reference26 articles.
1. Asteasuain, F., Braberman, V.: Specification patterns can be formal and still easy. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2001), pp. 430–436. Knowledge Systems Institute is a Graduate School, Knowledge Systems Institute (2010)
2. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620–638 (2015)
3. Cavalli, A.R., Higashino, T., Núñez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3), 85–93 (2015). https://doi.org/10.1007/s12243-015-0457-8
4. Daniel, F., Eduard, E., Wasif, A., Daniel, S., Thomas, G., Avenir, K.: From natural language requirements to passive test cases using guarded assertions. In: International Conference on Software Quality, Reliability and Security (QRS 2018), pp. 470–481. IEEE Computer Society (2018)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering (ICSE 1999), pp. 411–420. Association for Computing Machinery (1999). https://doi.org/10.1145/302405.302672
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献