%0 Conference Paper %1 conf/issta/PerryMZC17 %A Perry, David Mitchel %A Mattavelli, Andrea %A Zhang, Xiangyu %A Cadar, Cristian %B ISSTA %D 2017 %E Bultan, Tevfik %E Sen, Koushik %I ACM %K dblp %P 68-78 %T Accelerating array constraints in symbolic execution. %U http://dblp.uni-trier.de/db/conf/issta/issta2017.html#PerryMZC17 %@ 978-1-4503-5076-1

@inproceedings{conf/issta/PerryMZC17, added-at = {2022-12-07T00:00:00.000+0100}, author = {Perry, David Mitchel and Mattavelli, Andrea and Zhang, Xiangyu and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/23fc3033d60d4c5b2174ecd3c4699970a/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2017}, editor = {Bultan, Tevfik and Sen, Koushik}, ee = {https://doi.org/10.1145/3092703.3092728}, interhash = {f850627df3bbbc451fa05c24c1c541f6}, intrahash = {3fc3033d60d4c5b2174ecd3c4699970a}, isbn = {978-1-4503-5076-1}, keywords = {dblp}, pages = {68-78}, publisher = {ACM}, timestamp = {2024-04-10T18:48:20.000+0200}, title = {Accelerating array constraints in symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2017.html#PerryMZC17}, year = 2017 }