%0 Conference Paper %1 conf/lctrts/SilvaSHW19 %A Silva, Himeshi De %A Santosa, Andrew E. %A Ho, Nhut-Minh %A Wong, Weng-Fai %B LCTES %D 2019 %E Chen, Jian-Jia %E Shrivastava, Aviral %I ACM %K dblp %P 148-162 %T ApproxSymate: path sensitive program approximation using symbolic execution. %U http://dblp.uni-trier.de/db/conf/lctrts/lctes2019.html#SilvaSHW19 %@ 978-1-4503-6724-0

@inproceedings{conf/lctrts/SilvaSHW19, added-at = {2025-01-19T00:00:00.000+0100}, author = {Silva, Himeshi De and Santosa, Andrew E. and Ho, Nhut-Minh and Wong, Weng-Fai}, biburl = {https://www.bibsonomy.org/bibtex/25e56ed579c674e1a1dc38982e8ae4a7b/dblp}, booktitle = {LCTES}, crossref = {conf/lctrts/2019}, editor = {Chen, Jian-Jia and Shrivastava, Aviral}, ee = {https://www.wikidata.org/entity/Q131114899}, interhash = {5f30f8184a10272de504ab5dd8000ab2}, intrahash = {5e56ed579c674e1a1dc38982e8ae4a7b}, isbn = {978-1-4503-6724-0}, keywords = {dblp}, pages = {148-162}, publisher = {ACM}, timestamp = {2025-01-27T11:03:59.000+0100}, title = {ApproxSymate: path sensitive program approximation using symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2019.html#SilvaSHW19}, year = 2019 }