Login / Signup

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

Luca NegriniVincenzo ArceriAgostino CortesiPietro Ferrara
Published in: J. Softw. Evol. Process. (2024)
Keyphrases
  • information systems
  • data analysis
  • statistical analysis
  • quantitative analysis
  • machine learning
  • genetic algorithm
  • web services
  • high level
  • search algorithm