• Home
  • Erica Ferreira de Souza
Erica Ferreira de Souza

Erica Ferreira de Souza
Federal Technological University of Paraná, Brazil · Computer

PhD

About

59
Publications
22,232
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
416
Citations
Additional affiliations
April 2014 - present
Federal University of Technology - Paraná/Brazil (UTFPR)
Position
  • Professor

Publications

Publications (59)
Conference Paper
The software development companies conduct activities that generate a considerable amount of knowledge. Knowledge Management (KM) allows working with the generated knowledge helping in organizational learning. However, professionals in software companies still face several challenges to articulate and leverage knowledge in the organization. We aim...
Preprint
Full-text available
Graduate courses can provide specialized knowledge for Ph.D. and Master's students and contribute to develop their hard and soft skills. At the same time, Systematic Literature Review (SLR) has been increasingly adopted in the computing area as a valuable technique to synthesize the state of the art of a given research topic. However, there is stil...
Article
Context Software Testing is a costly activity since the size of the test case set tends to increase as the construction of the software evolves. Test Case Prioritization (TCP) can reduce the effort and cost of software testing. TCP is an activity where a subset of the existing test cases is selected in order to maximize the possibility of finding d...
Article
Full-text available
Context While the digital economy requires a new generation of technology for scientists and practitioners, the software engineering (SE) field faces a gender crisis. SE research is a global enterprise that requires the participation of both genders for the advancement of science and evidence-based practice. However, women across the world tend to...
Article
Full-text available
Software development organizations are seeking to add quality to their products. Testing processes are strategic elements to manage projects and product quality. However, advances in technology and the emergence of increasingly critical applications make testing a complex task and large volumes of information are generated. Software testing is a kn...
Preprint
Full-text available
Background: The software engineering community has increasingly conducted systematic literature reviews (SLR) as a means to summarize evidence from different studies and bring to light the state of the art of a given research topic. While SLR provide many benefits, they also present several problems with punctual solutions for some of them. However...
Conference Paper
Background: The software engineering community has increasingly conducted systematic literature reviews (SLR) as a means to summarize evidence from different studies and bring to light the state of the art of a given research topic. While SLR provide many benefits, they also present several problems with punctual solutions for some of them. However...
Article
Context Software development processes are considered as knowledge intensive and therefore Knowledge Management (KM) can be applied to efficiently manage the knowledge generated. Agile practices can benefit software organizations in terms of KM. Some studies have already presented evidence about this relationship. However, the intersection of these...
Conference Paper
Context: A large number of information is generated and manipulated in Software Engineering (SE) projects. The technology surrounding this domain is constantly evolving. To keep up with such evolution , developers share their knowledge and seek help from other developers by means of interactive and collaborative environments. Understanding and extr...
Article
Context Systematic Literature Reviews (SLRs) are frequently used to synthesize evidence in Software Engineering (SE), however replicating and keeping SLRs up-to-date is a major challenge. The activity of studies selection in SLR is labor intensive due to the large number of studies that must be analyzed. Different approaches have been investigated...
Preprint
Full-text available
Context: Several researchers have reported their experiences in applying secondary studies (Systematic Literature Reviews - SLRs and Systematic Mappings - SMs) in Software Engineering (SE). However, there is still a lack of studies discussing the value of performing secondary studies in an academic context. Goal: The main goal of this study is to p...
Article
Context Several researchers have reported their experiences in applying secondary studies (Systematic Literature Reviews - SLRs and Systematic Mappings - SMs) in Software Engineering (SE). However, there is still a lack of studies discussing the value of performing secondary studies in an academic context. Goal The main goal of this study is to pr...
Book
Full-text available
This volume celebrates the career of Prof. Ricardo de Almeida Falbo on the occasion of his formal retirement. The volume includes reflections from collaborators and former students, casting light on his academic work and contributions. The chapters show how Falbo's original contributions have influenced a number of developments in the application o...
Article
Context: Conceptual Maps (CMs) have been used to organize knowledge and facilitate learning and teaching in multiple domains. CMs also are used in multiple settings in education, since they are able to clarify the relationships between the subcomponents of a particular topic. However, the construction of a CM requires time and effort in identifying...
Preprint
Full-text available
Search for secondary studies is essential to establish whether the review on the intended topic has already been done, avoiding waste time. In addition, secondary studies are the inputs of a tertiary study. However, one critical step in searching for secondary studies is to elaborate a search string. The main goal of this work is to analyze search...
Article
Full-text available
Model-Based Testing (MBT) is a well-known technique that employs formal models to represent reactive systems’ behavior and generates test cases. Such systems have been specified and verified using mostly Finite State Machines (FSMs). There is a plethora of test generation algorithms in the literature; most of them are based on graphs once an FSM ca...
Conference Paper
Knowledge Management (KM) is responsible for using the intellectual resources of an organization. KM principles are both determining and effective factors for the software product quality. Several KM process have been proposed in the literature. However, for a KM initiative to be successful, it is important to consider the current state of KM activ...
Conference Paper
Context: Model-Based Testing (MBT) has attracted a lot of attention from software testing researchers, since it has been ecient in employing formal models to represent the reactive systems behavior in order to guide test case generation. Ob jective: This paper investigates approaches to automatically generate test cases in MBT, such as methods, cri...
Conference Paper
Context: Model-Based Testing (MBT) is a technique that employs formal models to represent reactive systems' behavior and generates test cases. Such systems are mostly specified and verified using Finite State Machines (FSMs). There is a plethora of test generation algorithms in the literature. Most of them are graph-based once an FSM can be formall...
Conference Paper
Context: Software development processes are considered as knowledge intensive and therefore Knowledge Management (KM) can be applied to efficiently manage the knowledge generated. Agile practices can benefit the software organizations in terms of KM. Some studies have already presented evidence about this relationship. However, the intersection of...
Conference Paper
Full-text available
Context: Managing knowledge is one of the main challenges for software development organizations. Thus, the principles of Knowledge Management (KM) are presented as determinant and effective factors for the software product quality. There are several approaches to applying KM in an organization. However, for a KM approaches to succeed, it is import...
Conference Paper
Full-text available
Context: Model-Based Testing (MBT) is an approach that allows testers to represent the behavior of the system under test as models, specifying inputs and their expected outputs. From such models, existing tools might be employed to generate test cases automatically. While MBT represents a promising step towards the automation of test case generatio...
Conference Paper
Full-text available
Context: Secondary studies should be updated from time to time to include new evidence to preserve their value. It is recognized that one search technique to update secondary studies is forward snowballing and that the number of studies identified is dependent on the electronic databases selected. However, there is no consensus on what electronic d...
Conference Paper
Full-text available
Context: Software testing is a knowledge intensive process, and therefore can benefit from the use of experience gained from past projects. In this context, principles of Knowledge Management (KM) can be applied to promote knowledge capture and sharing as well as the emergence of new knowledge. In spite of this, there are only few studies that pres...
Conference Paper
Full-text available
Software testing activities are considered as knowledge intensive and therefore Knowledge Management (KM) principies and techniques can be applied to efficiently manage the knowledge generated. In agile development, agile testing practices can benefit the companies in terms of KM, specially in the knowledge sharing. However, there is still little e...
Article
Full-text available
Background The electrocardiogram (ECG) is the most used diagnostic tool in medicine; in this sense, it is essential that medical undergraduates learn how to interpret it correctly while they are still on training. Naturally, they go through classic learning (e.g., lectures and speeches). However, they are not often efficiently trained in analyzing...
Article
Full-text available
Context: concept Maps (CMs) enable the creation of a schematic representation of a domain knowledge. For this reason, CMs have been applied in different research areas, including Computer Science. Objective: the objective of this paper is to present the results of a systematic mapping study conducted to collect and evaluate existing research on CMs...
Conference Paper
Full-text available
Software organizations usually adopt quality standards for improving their testing processes. ISO provides different standards addressing the testing process, such as ISO/IEC 12207, ISO/IEC 29110 and ISO/IEC 29119. However, these standards are not properly aligned and, when used in combination, can give rise to conceptual inconsistencies and diverg...
Article
Full-text available
Test cases generation based on Finite State Machines (FSMs) has been addressed for quite some time. Model-based testing has drawn attention from researchers and practitioners as one of the approaches to support software verification and validation. Several test criteria have been proposed in the literature to generate test cases based on formal met...
Article
Full-text available
Software testing is a complex and critical process for achieving product quality. Its importance has been increasing and well recognized, and there is a growing concern in improving the accomplishment of this process. In this context, Knowledge Management (KM) emerged as an important supporting approach to improve the software testing process. Howe...
Article
Full-text available
Test case generation based on Finite State Machines (FSMs) has been extensively investigated due to its accuracy and simplicity. Several test criteria have been proposed in the literature to generate test cases based on FSMs. One of the oldest criteria is the Switch Cover. As a main feature, the Switch Cover criterion defines that all transition pa...
Conference Paper
Test case generation based on Finite State Machines (FSMs) has been extensively investigated due to its accuracy and simplicity. Several test criteria have been proposed in the literature to generate test cases based on FSMs. One of the oldest criteria is the Switch Cover. As a main feature, the Switch Cover criterion defines that all transition pa...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
A mapping study provides a broad overview of a research area in order to determine whether there is research evidence on a particular topic. Results of a systematic mapping may identify suitable areas for performing future research. In this paper, we discuss our experience in using the findings of a mapping study on Knowledge Management (KM) in Sof...
Article
Context Software testing is a knowledge intensive process, and, thus, Knowledge Management (KM) principles and techniques should be applied to manage software testing knowledge. Objective This study conducts a survey on existing research on KM initiatives in software testing, in order to identify the state of the art in the area as well as the fut...
Article
Full-text available
Testing activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of sof...
Conference Paper
Full-text available
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 so...
Article
Full-text available
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 thei...
Article
Full-text available
With the growth of data from several different sources of knowledge within an organization, it becomes necessary to provide computerized support for tasks of acquiring, processing, analyzing and disseminating knowledge. In the software process, testing is a critical factor for product quality, and thus there is an increasing concern in how to impro...
Conference Paper
Full-text available
The manipulation of ontologies in databases can represent gains in the recovery of strategic information in decision-making process within the software development organizations. The software testing processes are strategic elements to develop projects and to the quality of the final product. Thus, this study investigates strategies to promote data...
Conference Paper
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...
Conference Paper
Full-text available
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 ena...
Conference Paper
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 co...
Article
A geração de casos de teste baseada em Máquinas de Estados Finitos (MEF) tem recebido grande atenção ao longo dos anos. Os Testes de Software Baseados em Modelos têm despertado grande interesse de pesquisadores e profissionais na área de teste. Diversos critérios de teste vêm sendo propostos na literatura no intuito de validar sistemas construídos...

Network

Cited By

Projects

Projects (5)
Project
Model-Based Testing
Project
Systematic Literature Reviews in Software Engineering