Follow
Alexandre Mota
Alexandre Mota
Lecturer of Computer Science, Universidade Federal de Pernambuco
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
Model-checking CSP-Z: strategy, tool support and industrial application
A Mota, A Sampaio
Science of computer programming 40 (1), 59-96, 2001
852001
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Science of Computer Programming 95, 275-297, 2014
682014
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26, 441-490, 2014
632014
Guided test generation from CSP models
S Nogueira, A Sampaio, A Mota
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
512008
A semantics for UML-RT active classes via mapping into Circus
R Ramos, A Sampaio, A Mota
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 …, 2005
482005
Integrating UML and formal methods
RM Borges, AC Mota
Electronic Notes in Theoretical Computer Science 184, 97-112, 2007
462007
Model-checking CSP-Z
A Mota, A Sampaio
International Conference on Fundamental Approaches to Software Engineering …, 1998
351998
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
342007
NAT2TEST tool: From natural language requirements to test cases based on CSP
G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
332015
Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013
322013
A FRAX model for the estimation of osteoporotic fracture probability in Portugal
A Marques, A Mota, H Canhão, JC Romeu, P Machado, A Ruano, ...
Acta Reumatol Port 38 (2), 104-12, 2013
302013
Metodologia computacional para avaliação da qualidade de planos de recomposição de sistemas de energia elétrica
AA Mota
Unicamp, 2005
282005
An empirical evaluation of automated black box testing techniques for crashing guis
C Bertolini, G Peres, M d'Amorim, A Mota
2009 International Conference on Software Testing Verification and …, 2009
272009
Systematic development of trustworthy component systems
R Ramos, A Sampaio, A Mota
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
272009
Systematic model-based safety assessment via probabilistic model checking
A Gomes, A Mota, A Sampaio, F Ferri, J Buzzi
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
262010
Aiding exploratory testing with pruned gui models
J Reis, A Mota
Information Processing Letters 133, 49-55, 2018
252018
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings
H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira
SBLP 9, 117-130, 2009
252009
Model-based development of fault tolerant systems of systems
Z Andrews, R Payne, A Romanovsky, A Didier, A Mota
2013 IEEE International Systems Conference (SysCon), 356-363, 2013
232013
Compositional verification of input-output conformance via csp refinement checking
A Sampaio, S Nogueira, A Mota
Formal Methods and Software Engineering: 11th International Conference on …, 2009
232009
GUI testing techniques evaluation by designed experiments
C Bertolini, A Mota, E Aranha, C Ferraz
2010 Third International Conference on Software Testing, Verification and …, 2010
202010
The system can't perform the operation now. Try again later.
Articles 1–20