![](/img/cover-not-exists.png)
[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - A symbolic model checking approach to the analysis of string and length constraints
Wang, Hung-En, Chen, Shih-Yu, Yu, Fang, Jiang, Jie-Hong R.Year:
2018
Language:
english
DOI:
10.1145/3238147.3238189
File:
PDF, 1.19 MB
english, 2018