1. Sneed, H.: Testing against natural language requirements. In: 7th IEEE International Conference on Software Quality, QSIC 2007, Portland, p. 380, October 2007
2. Badni, M., Badni, L., Flageol, W.: On the relationship between use cases and test suite size. ACM SIGSOFT Softw. Eng. Notes 38(4), 1 (2013)
3. Roßner, T., Brandes, C., Götz, H., Winter, M.: Basiswissen – Modellbasierter Test. Dpunkt verlag, Heidelberg (2010)
4. Davis, A.: Software Requirements – Analysis and Specification. Prentice-Hall, Englewood Cliffs (1990)
5. Miriyala, K., Harandi, M.: Automatic derivation of formal software specifications from informal descriptions. IEEE Trans. S.E. 17(10), 1126 (1991)