View in EDS HTML Full Text PDF Full Text

Tarsis: An effective automata‐based abstract domain for string analysis.

Saved in:
Bibliographic Details
Title: Tarsis: An effective automata‐based abstract domain for string analysis.
Authors: Negrini, Luca1, Arceri, Vincenzo2, vincenzo.arceri@unipr.it, Cortesi, Agostino1, Ferrara, Pietro1
Source: Journal of Software: Evolution & Process; Aug2024, Vol. 36 Issue 8, p1-36, 36p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:20477473
DOI:10.1002/smr.2647