14 citations · 21 across the 4 of their papers we have counts for
4 papers
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flavio da Conceição +1
Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs…
Secondary Studies in the Academic Context: A Systematic Mapping and Survey
Katia Romero Felizardo, Érica Ferreira de Souza, Bianca Minetto Napoleão +2
Context: Several researchers have reported their experiences in applying secondary studies (Systematic Literature Reviews - SLRs and Systematic Mappings - SMs) in Software Engineer…
Establishing a Search String to Detect Secondary Studies in Software Engineering
Bianca Minetto Napoleao, Katia Romero Felizardo, Erica Ferreira de Souza +4
Context: A tertiary study can be performed to identify related reviews on a topic of interest. However, the elaboration of an appropriate and effective search string to detect seco…
Transformation of UML Behavioral Diagrams to Support Software Model Checking
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and…