Följ
Alexandre Mota
Alexandre Mota
Lecturer of Computer Science, Universidade Federal de Pernambuco
Verifierad e-postadress på cin.ufpe.br - Startsida
Titel
Citeras av
Citeras av
År
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
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
352015
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
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
Aiding exploratory testing with pruned gui models
J Reis, A Mota
Information Processing Letters 133, 49-55, 2018
272018
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20