An Evaluation of Automata Algorithms for String Analysis

  title={An Evaluation of Automata Algorithms for String Analysis},
  author={Pieter Hooimeijer and Margus Veanes},
There has been significant recent interest in automated reasoning techniques, in particular constraint solvers, for string variables. These techniques support a wide range of clients, ranging from static analysis to automated testing. The majority of string constraint solvers rely on finite automata to support regular expression constraints. For these approaches, performance depends critically on fast automata operations such as intersection, complementation, and determinization. Existing work… CONTINUE READING
Highly Cited
This paper has 71 citations. REVIEW CITATIONS
46 Citations
31 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 46 extracted citations

71 Citations

Citations per Year
Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…