Folgen
Alexandre Mota
Alexandre Mota
Lecturer of Computer Science, Universidade Federal de Pernambuco
Bestätigte E-Mail-Adresse bei cin.ufpe.br - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Model-checking CSP-Z: strategy, tool support and industrial application
A Mota, A Sampaio
Science of computer programming 40 (1), 59-96, 2001
862001
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
722014
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26, 441-490, 2014
672014
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
452007
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
382015
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
352007
Model-checking CSP-Z
A Mota, A Sampaio
International Conference on Fundamental Approaches to Software Engineering …, 1998
351998
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
342013
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
312013
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
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
Proteção de sistemas de energia elétrica
F Sato
UNICAMP: Faculdade de Engenharia Elétrica e de Computadores. Campinas, 2005
272005
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
Formal Methods and Software Engineering: 11th International Conference on …, 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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20