On the use of a similarity function for test case selection in the context of model‐based testing
EG Cartaxo, PDL Machado… - … Testing, Verification and …, 2011 - Wiley Online Library
Test case selection in model‐based testing is discussed focusing on the use of a similarity
function. Automatically generated test suites usually have redundant test cases. The reason is …
function. Automatically generated test suites usually have redundant test cases. The reason is …
[PDF][PDF] Screening for a BRCA2 rearrangement in high-risk breast/ovarian cancer families: evidence for a founder effect and analysis of the associated phenotypes
PM Machado, RD Brandao… - Journal of clinical …, 2007 - cris.maastrichtuniversity.nl
BRCA2 rearrangements are rare genetic events. A large BRCA2 genomic insertion was
recurrently observed in our participants, and we sought to characterize it at the molecular and …
recurrently observed in our participants, and we sought to characterize it at the molecular and …
Guabijú (Myrcianthes pungens): A comprehensive evaluation of anthocyanins and free, esterified, glycosylated, and insoluble phenolic compounds in its peel, pulp …
PG Machado, DS Londero, CAA Farias, MA Pudenzi… - Food Chemistry, 2024 - Elsevier
Guabijú (Myrcianthes pungens) is a Brazilian native fruit from the Myrtaceae family, with few
studies on the presence of phenolic compounds. Free, esterified, glycosylated, and …
studies on the presence of phenolic compounds. Free, esterified, glycosylated, and …
[HTML][HTML] Safety and effectiveness of two treatment regimes with tranexamic acid to minimize inflammatory response in elective cardiopulmonary bypass patients: a …
…, S Palmero, A Jiménez, L Lorente, P Machado… - Journal of cardiothoracic …, 2011 - Springer
Background In cardiopulmonary bypass (CPB) patients, fibrinolysis may enhance postoperative
inflammatory response. We aimed to determine whether an additional postoperative …
inflammatory response. We aimed to determine whether an additional postoperative …
Could the supply of boron and zinc improve resistance of potato to early blight?
The adequate supply of boron (B) and zinc (Zn) can improve the structural integrity and
permeability of cell membranes, which is a defence mechanism against fungi infection. A …
permeability of cell membranes, which is a defence mechanism against fungi infection. A …
Gridunit: software testing on the grid
Software testing is a fundamental part of system development. As software grows, its test
suite becomes larger and its execution time may become a problem to software developers. …
suite becomes larger and its execution time may become a problem to software developers. …
Test case generation by means of UML sequence diagrams and labeled transition systems
…, FGO Neto, PDL Machado - 2007 IEEE International …, 2007 - ieeexplore.ieee.org
We present a systematic procedure of functional test case generation for feature testing of
mobile phone applications. A feature is an increment of functionality, usually with a coherent …
mobile phone applications. A feature is an increment of functionality, usually with a coherent …
[HTML][HTML] Testing tools for Android context-aware applications: a systematic mapping
DR Almeida, PDL Machado, WL Andrade - Journal of the Brazilian …, 2019 - Springer
Context Mobile devices, such as smartphones, have increased their capacity of information
processing and sensors have been aggregated to their hardware. Such sensors allow …
processing and sensors have been aggregated to their hardware. Such sensors allow …
A crosstalk between β1 and β3 integrins controls glycine receptor and gephyrin trafficking at synapses
C Charrier, P Machado, RY Tweedie-Cullen… - Nature …, 2010 - nature.com
The regulation of glycine receptor (GlyR) number at synapses is necessary for the efficacy
of inhibition and the control of neuronal excitability in the spinal cord. GlyR accumulation at …
of inhibition and the control of neuronal excitability in the spinal cord. GlyR accumulation at …
Test case prioritization techniques for model-based testing: a replicated study
Recently, several test case prioritization (TCP) techniques have been proposed to order test
cases for achieving a goal during test execution, particularly, revealing faults sooner. In the …
cases for achieving a goal during test execution, particularly, revealing faults sooner. In the …