Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang. A symbolic model checking approach to the analysis of string and length constraints. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 623-633, ACM, 2018. [doi]
Abstract is missing.