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]
@inproceedings{WangCYJ18, title = {A symbolic model checking approach to the analysis of string and length constraints}, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, year = {2018}, doi = {10.1145/3238147.3238189}, url = {https://doi.org/10.1145/3238147.3238189}, researchr = {https://researchr.org/publication/WangCYJ18}, cites = {0}, citedby = {0}, pages = {623-633}, booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering}, editor = {Marianne Huchard and Christian Kästner and Gordon Fraser}, publisher = {ACM}, }