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
802001
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26 (3), 441-490, 2014
542014
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
442014
A semantics for UML-RT active classes via mapping into Circus
R Ramos, A Sampaio, A Mota
International Conference on Formal Methods for Open Object-Based Distributed …, 2005
432005
Guided test generation from CSP models
S Nogueira, A Sampaio, A Mota
International Colloquium on Theoretical Aspects of Computing, 258-273, 2008
412008
Integrating UML and formal methods
RM Borges, AC Mota
Electronic Notes in Theoretical Computer Science 184, 97-112, 2007
362007
Model-checking CSP-Z
A Mota, A Sampaio
International Conference on Fundamental Approaches to Software Engineering …, 1998
331998
Systematic development of trustworthy component systems
R Ramos, A Sampaio, A Mota
International Symposium on Formal Methods, 140-156, 2009
272009
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
252013
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 reumatologica portuguesa 38 (2), 104-112, 2013
252013
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
252007
NAT2TEST tool: From natural language requirements to test cases based on CSP
G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio
SEFM 2015 Collocated Workshops, 283-290, 2015
232015
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
232009
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
222009
Compositional verification of input-output conformance via csp refinement checking
A Sampaio, S Nogueira, A Mota
International Conference on Formal Engineering Methods, 20-48, 2009
212009
Systematic model-based safety assessment via probabilistic model checking
A Gomes, A Mota, A Sampaio, F Ferri, J Buzzi
International Symposium On Leveraging Applications of Formal Methods …, 2010
202010
Class and capsule refinement in UML for real time
A Sampaio, A Mota, R Ramos
Electronic Notes in Theoretical Computer Science 95, 23-51, 2004
202004
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
182013
A framework for GUI testing based on use case design
C Bertolini, A Mota
2010 Third International Conference on Software Testing, Verification, and …, 2010
172010
Rigorous development of component-based systems using component metadata and patterns
MVM Oliveira, P Antonino, R Ramos, A Sampaio, A Mota, AW Roscoe
Formal Aspects of Computing 28 (6), 937-1004, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20