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)
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)
  • 1