Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Helena Cavalcante
Observed name:
Cavalcante, Helena
Institution:
Universidade Federal do Amazonas
Observed institution:
Universidade Federal do Amazonas
ORCID:
0000-0001-9632-3637
Observed ORCID:
0000-0001-9632-3637
OpenAlex ID:
A5014493011
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation
2022
·
Rafael Menezes
, Daniel Moura
, et al.
·
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
·
4
PDF
Analysis of Energy Consumption on Android Devices for Developers: A Systematic Mapping Study
2023
·
Edwin Monteiro
, Helena Cavalcante
, et al.
·
SBC Reviews on Computer Science
·
3
PDF
ESBMC-Jimple ISSTA'22 Benchmarks
2022
·
Menezes, Rafael
, Moura, Daniel
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
3
Citation count:
7
H-index:
2
I10-index:
Year
Topic
Type
