Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi. Twinning Automata and Regular Expressions for String Static Analysis. In Fritz Henglein, Sharon Shoham, Yakir Vizel, editors, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings. Volume 12597 of Lecture Notes in Computer Science, pages 267-290, Springer, 2021. [doi]
Abstract is missing.