%0 Conference Paper %1 conf/issta/ShuaiC0S021 %A Shuai, Ziqi %A Chen, Zhenbang %A Zhang, Yufeng %A Sun, Jun %A Wang, Ji %B ISSTA %D 2021 %E Cadar, Cristian %E Zhang, Xiangyu %I ACM %K dblp %P 361-373 %T Type and interval aware array constraint solving for symbolic execution. %U http://dblp.uni-trier.de/db/conf/issta/issta2021.html#ShuaiC0S021 %@ 978-1-4503-8459-9

@inproceedings{conf/issta/ShuaiC0S021, added-at = {2022-01-08T00:00:00.000+0100}, author = {Shuai, Ziqi and Chen, Zhenbang and Zhang, Yufeng and Sun, Jun and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2c2466823462944e90e82ae9a1c7aac64/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2021}, editor = {Cadar, Cristian and Zhang, Xiangyu}, ee = {https://doi.org/10.1145/3460319.3464826}, interhash = {fd54639c4cd1d6aa9e0e87e4d338c2fc}, intrahash = {c2466823462944e90e82ae9a1c7aac64}, isbn = {978-1-4503-8459-9}, keywords = {dblp}, pages = {361-373}, publisher = {ACM}, timestamp = {2024-04-09T20:41:28.000+0200}, title = {Type and interval aware array constraint solving for symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2021.html#ShuaiC0S021}, year = 2021 }