Alexandre Cabral Mota

Author Info

Name	Affiliation	Papers
ALEXANDRE CABRAL MOTA	Centre of Informatics Federal University of Pernambuco, Cidade Universitária, P.O. Box 7851, Zip 50732-970 Recife, PE BRAZIL	34
Collaborators	Citations	PageRank
40	199	18.27
Referers	Referees	References
289	645	448

Search Limit

100645

Publications (34 rows)

Collaborators (40 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A family of multi-concept program synthesisers in Alloy.	0	0.34	2021
Ui Test Case Prioritization On An Industrial Setting: A Search For The Best Criteria	0	0.34	2021
Combining model finder and genetic programming into a general purpose automatic program synthesizer.	0	0.34	2020
HSP: A Hybrid Selection and Prioritisation of Regression Test Cases based on Information Retrieval and Code Coverage applied on an Industrial Case Study	0	0.34	2020
Aiding exploratory testing with pruned GUI models.	2	0.36	2018
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP	7	0.60	2015
Sound and mechanised compositional verification of input-output conformance	4	0.42	2014
Test generation from state based use case models	21	1.12	2014
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications.	10	0.59	2014
Rapid Prototyping of a Semantically Well Founded Circus Model Checker.	4	0.38	2014
Test case generation from natural language requirements based on SCR specifications	10	0.57	2013
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.	4	0.42	2013
Simulink timed models for program verification	3	0.38	2013
A process algebra based strategy for generating test vectors from SCR specifications	0	0.34	2012
Constructive model-based analysis for safety assessment.	3	0.39	2012
Identifying hardware failures systematically	2	0.39	2012
Architectural verification of control systems using CSP	5	0.48	2011
Introducing concurrency in sequential Java via laws	5	0.46	2011
Evolving a safe system design iteratively	8	0.53	2010
Conformance notions for the coordination of interaction components	4	0.45	2010
Systematic model-based safety assessment via probabilistic model checking	9	0.54	2010
Compositional Verification of Input-Output Conformance via CSP Refinement Checking	11	0.58	2009
Systematic Development of Trustworthy Component Systems	12	0.86	2009
Checking Z Data Refinements Using Traces Refinement	0	0.34	2009
Formalisation and Analysis of Objects as CSP Processes	0	0.34	2009
Guided Test Generation from CSP Models	11	0.74	2008
Viewing CSP Specifications with UML-RT Diagrams	6	0.55	2008
Compositional abstraction of CSP Z processes	0	0.34	2008
Framework composition conformance via refinement checking	4	0.49	2008
Transformation laws for UML-RT	3	0.42	2006
Class and Capsule Refinement in UML for Real Time	5	0.63	2004
Mechanical Abstraction of CSPZ Processes	2	0.41	2002
Model-checking CSP-Z: strategy, tool support and industrial application	31	1.64	2001
Model-Checking CSP-Z	13	1.16	1998