Article,
State Merging with Quantifiers in Symbolic Execution.
D. Trabish, N. Rinetzky, S. Shoham, and V. Sharma.CoRR, (2023)
Meta data
- BibTeX key
- journals/corr/abs-2308-12068
- entry type
- article
- year
- 2023
- journal
- CoRR
- volume
- abs/2308.12068
- ee
- https://doi.org/10.48550/arXiv.2308.12068
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2308.html#abs-2308-12068
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}