Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/kbse/ChenBHZ0XM16
%A Chen, Junjie
%A Bai, Yanwei
%A Hao, Dan
%A Zhang, Lingming
%A Zhang, Lu
%A Xie, Bing
%A Mei, Hong
%B ASE
%D 2016
%E Lo, David
%E Apel, Sven
%E Khurshid, Sarfraz
%I ACM
%K dblp
%P 178-189
%T Supporting oracle construction via static analysis.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#ChenBHZ0XM16
%@ 978-1-4503-3845-5
@inproceedings{conf/kbse/ChenBHZ0XM16,
added-at = {2023-05-09T00:00:00.000+0200},
author = {Chen, Junjie and Bai, Yanwei and Hao, Dan and Zhang, Lingming and Zhang, Lu and Xie, Bing and Mei, Hong},
biburl = {https://www.bibsonomy.org/bibtex/2f8852b73bc0625d8664914d7bad34740/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2016},
editor = {Lo, David and Apel, Sven and Khurshid, Sarfraz},
ee = {https://ieeexplore.ieee.org/document/7582756/},
interhash = {226099813c3bbf1d045858eb2baa4c48},
intrahash = {f8852b73bc0625d8664914d7bad34740},
isbn = {978-1-4503-3845-5},
keywords = {dblp},
pages = {178-189},
publisher = {ACM},
timestamp = {2024-04-09T23:52:27.000+0200},
title = {Supporting oracle construction via static analysis.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#ChenBHZ0XM16},
year = 2016
}