%0 Journal Article %1 journals/corr/abs-2308-12068 %A Trabish, David %A Rinetzky, Noam %A Shoham, Sharon %A Sharma, Vaibhav %D 2023 %J CoRR %K dblp %T State Merging with Quantifiers in Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/corr/corr2308.html#abs-2308-12068 %V abs/2308.12068

@article{journals/corr/abs-2308-12068, added-at = {2024-07-22T00:00:00.000+0200}, author = {Trabish, David and Rinetzky, Noam and Shoham, Sharon and Sharma, Vaibhav}, biburl = {https://www.bibsonomy.org/bibtex/26eb18c06858e474a163b31da25a5a692/dblp}, ee = {https://doi.org/10.48550/arXiv.2308.12068}, interhash = {20f12b24a81f4afef83b260a32ed5b9a}, intrahash = {6eb18c06858e474a163b31da25a5a692}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-07-29T07:06:14.000+0200}, title = {State Merging with Quantifiers in Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2308.html#abs-2308-12068}, volume = {abs/2308.12068}, year = 2023 }