1. Lecture Notes in Computer Science,2005
2. Carvalho, G.: NAT2TEST: Generating Test Cases from Natural Language Requirements Based on CSP. Federal University of Pernambuco, 2011 (2016)
3. Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Proceedings of CBSoft 2010 - Tools Panel (2010)
4. Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 26, 441–490 (2014)
5. Almeida, R.: Automatic Test Case Generation for Concurrent Features from Natural Language Specifications. Federal Rural University of Pernambuco (2019)