Erica Ferreira

Learn More
Ontologies have been widely recognized as an important instrument for supporting Knowledge Management (KM). In order to look for a domain ontology that can be used in KM in software testing, in this paper, we investigate, by means of a Systematic Literature Review (SLR), ontologies in the software testing domain, including questions related to their(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)
Software testing is a critical process for achieving product quality. Its importance is more and more recognized, and there is a growing concern in improving the accomplishment of this process. In this context, Knowledge Management emerges as an important supporting tool. However, managing relevant knowledge to reuse is difficult and it requires some means(More)
This paper presents a framework entitled Organizational Testing Management Maturity Model (OTM3). The proposed framework is a set of structures to support the development and testing of Software Product Lines. This set follows the Experimental Software Engineering concepts. OTM3 is a framework for interactive, incremental, and continuous models. It shall(More)
Several papers have addressed the problem of knowing which software test criteria are better than others with respect to parameters such as cost, efficiency and strength. This paper presents an empirical evaluation in terms of cost and efficiency for one test method for finite state machines, switch cover, and two test criteria of the statechart coverage(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)