Alexandre Mota - Citegraph

Author Info

Name	Affiliation	Papers
ALEXANDRE MOTA	Univ Fed Pernambuco, Informat Ctr, Recife, PE, Brazil	27
Collaborators	Citations	PageRank
57	72	11.09
Referers	Referees	References
154	451	230

Search Limit

100451

Publications (27 rows)

Collaborators (57 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
SPt: A Text Mining Process to Extract Relevant Areas from SW Documents to Exploratory Tests	0	0.34	2018
Analysing RoboChart with Probabilities.	0	0.34	2018
Feasibility Of Using Source Code Changes On The Selection Of Text-Based Regression Test Cases	0	0.34	2017
Probabilistic Analysis Applied to Cleaning Robots	0	0.34	2017
Evaluating An Automatic Text-Based Test Case Selection Using A Non-Instrumented Code Coverage Analysis	0	0.34	2017
An algebra of temporal faults.	1	0.35	2017
Program synthesis by model finding.	1	0.35	2016
An Approach for Verifying Educational Robots.	0	0.34	2016
Automatically Finding Hidden Industrial Criteria used in Test Selection.	0	0.34	2016
Model checking CML: tool development and industrial applications	2	0.38	2015
Verifying Transformations of Java Programs Using Alloy.	1	0.37	2015
A Lattice-Based Representation of Temporal Failures	1	0.36	2015
Model-based development of fault tolerant systems of systems	7	0.48	2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study	4	0.41	2013
Quantifying The Effects Of Aspectual Decompositions On Design By Contract Modularization: A Maintenance Study	3	0.43	2013
Checking Contracts for AOP using XPIDRs.	0	0.34	2012
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.	1	0.36	2012
An annotation-based approach for JCSP concurrent programming: a quantitative study	1	0.36	2011
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.	0	0.34	2011
Towards a more straightforward and more expressive metamodel for SDW modeling	4	0.51	2011
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach	3	0.41	2011
The Contract Enforcement Aspect Pattern	3	0.43	2010
An Aspect-Based Approach For Concurrent Programming Using Csp Features	0	0.34	2010
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques	6	0.46	2009
A Mechanized Strategy for Safe Abstraction of CSP Specifications	5	0.47	2009
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs	12	0.73	2009
A semantics for UML-RT active classes via mapping into circus	17	0.84	2005