Alexandre Mota

Alexandre Mota

Universidade Federal de Pernambuco - Quito / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 950090
Federal University of Pernambuco
person_outline Alexandre Mota's MOST POPULAR ARTICLES
1-) Guided test generation from CSP models Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
2-) Integrating UML and formal methods Electronic Notes in Theoretical Computer Science 184, 97-112, 2007
3-) A semantics for UML-RT active classes via mapping into Circus Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 …, 2005
4-) NAT2TEST tool: From natural language requirements to test cases based on CSP Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
5-) Test case generation from natural language requirements based on SCR specifications Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013