%0 Conference Paper %1 conf/ccs/FengWZZHY17 %A Feng, Qian %A Wang, Minghua %A Zhang, Mu %A Zhou, Rundong %A Henderson, Andrew %A Yin, Heng %B AsiaCCS %D 2017 %E Karri, Ramesh %E Sinanoglu, Ozgur %E Sadeghi, Ahmad-Reza %E Yi, Xun %I ACM %K dblp %P 346-359 %T Extracting Conditional Formulas for Cross-Platform Bug Search. %U http://dblp.uni-trier.de/db/conf/ccs/asiaccs2017.html#FengWZZHY17 %@ 978-1-4503-4944-4

@inproceedings{conf/ccs/FengWZZHY17, added-at = {2022-12-17T00:00:00.000+0100}, author = {Feng, Qian and Wang, Minghua and Zhang, Mu and Zhou, Rundong and Henderson, Andrew and Yin, Heng}, biburl = {https://www.bibsonomy.org/bibtex/27ff1fd3cf2da797f926e6e889a509f9d/dblp}, booktitle = {AsiaCCS}, crossref = {conf/ccs/2017asia}, editor = {Karri, Ramesh and Sinanoglu, Ozgur and Sadeghi, Ahmad-Reza and Yi, Xun}, ee = {https://doi.org/10.1145/3052973.3052995}, interhash = {2678531ecf776340567e6fcad89e1852}, intrahash = {7ff1fd3cf2da797f926e6e889a509f9d}, isbn = {978-1-4503-4944-4}, keywords = {dblp}, pages = {346-359}, publisher = {ACM}, timestamp = {2024-04-09T10:13:35.000+0200}, title = {Extracting Conditional Formulas for Cross-Platform Bug Search.}, url = {http://dblp.uni-trier.de/db/conf/ccs/asiaccs2017.html#FengWZZHY17}, year = 2017 }