Tarsis: An effective automata‐based abstract domain for string analysis / Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro. - In: JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE. - ISSN 2047-7473. - (2024). [10.1002/smr.2647]
Tarsis: An effective automata‐based abstract domain for string analysis
Arceri, Vincenzo
;
2024-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
J Software Evolu Process - 2024 - Negrini - Tarsis An effective automata‐based abstract domain for string analysis.pdf
accesso aperto
Tipologia:
Versione (PDF) editoriale
Licenza:
Creative commons
Dimensione
4.61 MB
Formato
Adobe PDF
|
4.61 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.