Repairing Regex-Dependent String Functions
Type
Publication
In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
Nariyoshi Chida
Researcher
My research interests include formal languages and automata theory, parsing, program synthesis, and security.