Erica Ferreira

Learn More
Automated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test(More)
Giant intra and parasellar aneurysm with a spontaneous thrombosis of internal carotid artery is rare. We report the case of a 34 years old woman presenting a unique giant sellar and parasellar aneurysm associated with hypopituitarism and amenorrhea-galactorrhea syndrome. Computed tomographic scans and magnetic resonance images were suggestive of a sellar(More)
The blood-brain barrier (BBB) contributes to the central nervous system (CNS) immunological isolation. BBB has never been studied in patients who developed chronic graft-versus-host disease (GVHD) after allogeneic bone marrow transplants (BMT), from HLA identical related donors. BBB disruption was investigated through the cerebrospinal fluid (CSF) proteins,(More)
Background: A Systematic Literature Review (SLR) is a methodology used to aggregate relevant evidence related to one or more research questions. Whenever new evidence is published after the completion of a SLR, this SLR should be updated in order to preserve its value. However, updating SLRs involves significant effort. Objective: The goal of this paper is(More)
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may(More)
BACKGROUND Acute pancreatitis has a broad clinical spectrum, from mild illness to multiple organ failure and death. Prognostic scores have been developed or adapted to predict disease severity. This study aimed to compare the prognostic scores according to sensitivity and specificity, receiver operating characteristic curves and area under the curve.(More)