Tarsis: An effective automata‐based abstract domain for string analysis.
Saved in:
| 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.
Login for full access.
|
|
Be the first to leave a comment!
