Login / Signup
Greta Dolcetti
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Numeric Data
Malicious Code
Test Generation
Static Analysis
Top Venues
SOAP@PLDI
SAS
</>
Publications
</>
Vincenzo Arceri
,
Greta Dolcetti
,
Enea Zaffanella
Unconstrained Variable Oracles for Faster Numeric Static Analyses.
SAS
(2023)
Vincenzo Arceri
,
Greta Dolcetti
,
Enea Zaffanella
Speeding up Static Analysis with the Split Operator.
SOAP@PLDI
(2023)