Alexandre Mota 个人学术档案

引用次数

	总计	2019 年至今
引用	1404	408
h 指数	20	11
i10 指数	47	11

140

105

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 11 8 17 37 31 32 41 54 58 55 83 55 108 83 125 91 63 95 66 69 68 75 35

开放获取的出版物数量

查看全部

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Gustavo CarvalhoUniversidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Cristiano BertoliniResearcher, Federal University of Santa Maria在 cin.ufpe.br 的电子邮件经过验证
Henrique RebêloProfessor of Computer Science, Universidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)在 cin.ufpe.br 的电子邮件经过验证
André LR DidierUniversidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Jim WoodcockProfessor of Software Engineering, University of York在 york.ac.uk 的电子邮件经过验证
Gary T. LeavensProfessor, University of Central Florida在 cs.ucf.edu 的电子邮件经过验证
Ana CavalcantiUniversity of York在 cs.york.ac.uk 的电子邮件经过验证
Mark R. Blackburn, PhDProfessor, Stevens Institute of Technology在 stevens.edu 的电子邮件经过验证
Cesar A. L. OliveiraInter-American Development Bank在 iadb.org 的电子邮件经过验证
Joabe JesusProfessor of Computer Engineering, University of Pernambuco (UPE)在 ecomp.poli.br 的电子邮件经过验证
Uirá KuleszaAssociate Professor of Software Engineering & Computer Science, UFRN (Natal, Brazil)在 dimap.ufrn.br 的电子邮件经过验证
Paulo BorbaFederal University of Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Roberta CoelhoProfessor of Computer Science, Federal University of Rio Grande do Norte在 dimap.ufrn.br 的电子邮件经过验证
Patricia D. L. MachadoProfessor of Computer Science, Federal University of Campina Grande在 computacao.ufcg.edu.br 的电子邮件经过验证
Márcio RibeiroProfessor - Computer Science - Federal University of Alagoas在 ic.ufal.br 的电子邮件经过验证
Richard PayneSenior Software Engineer, Asset55在 assetfiftyfive.com 的电子邮件经过验证
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UK在 ncl.ac.uk 的电子邮件经过验证
Zoe AndrewsNewcastle University在 ncl.ac.uk 的电子邮件经过验证
Fernando CastorUniversity of Twente and Universidade Federal de Pernambuco在 utwente.nl 的电子邮件经过验证

关注

Alexandre Mota

Lecturer of Computer Science, Universidade Federal de Pernambuco

在 cin.ufpe.br 的电子邮件经过验证 - 首页

Software Engineering


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Model-checking CSP-Z: strategy, tool support and industrial application A Mota, A Sampaio Science of computer programming 40 (1), 59-96, 2001	85	2001
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	70	2014
Test generation from state based use case models S Nogueira, A Sampaio, A Mota Formal Aspects of Computing 26, 441-490, 2014	63	2014
Guided test generation from CSP models S Nogueira, A Sampaio, A Mota Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008	51	2008
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	48	2005
Integrating UML and formal methods RM Borges, AC Mota Electronic Notes in Theoretical Computer Science 184, 97-112, 2007	46	2007
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	35	2015
Model-checking CSP-Z A Mota, A Sampaio International Conference on Fundamental Approaches to Software Engineering …, 1998	35	1998
Towards property oriented testing PDL Machado, DA Silva, AC Mota Electronic Notes in Theoretical Computer Science 184, 3-19, 2007	34	2007
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	33	2013
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	30	2013
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	28	2010
Metodologia computacional para avaliação da qualidade de planos de recomposição de sistemas de energia elétrica AA Mota Unicamp, 2005	28	2005
Aiding exploratory testing with pruned gui models J Reis, A Mota Information Processing Letters 133, 49-55, 2018	27	2018
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	27	2009
Systematic development of trustworthy component systems R Ramos, A Sampaio, A Mota FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009	27	2009
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	25	2009
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	23	2013
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	23	2009
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	20	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用