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
742014
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26, 441-490, 2014
702014
Guided test generation from CSP models
S Nogueira, A Sampaio, A Mota
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
502008
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
472007
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
432015
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
372007
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
362013
Model-checking CSP-Z
A Mota, A Sampaio
International Conference on Fundamental Approaches to Software Engineering …, 1998
351998
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
282010
Aiding exploratory testing with pruned gui models
J Reis, A Mota
Information Processing Letters 133, 49-55, 2018
272018
Systematic development of trustworthy component systems
R Ramos, A Sampaio, A Mota
International Symposium on Formal Methods, 140-156, 2009
272009
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
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
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
232009
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
222013
A CSP timed input-output relation and a strategy for mechanised conformance verification
G Carvalho, A Sampaio, A Mota
Formal Methods and Software Engineering: 15th International Conference on …, 2013
222013
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, 937-1004, 2016
202016
Simulink timed models for program verification
A Cavalcanti, A Mota, J Woodcock
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013
202013
The system can't perform the operation now. Try again later.
Articles 1–20