@article{DBLP:journals/corr/abs-2406-10054,
  author       = {Jianzhong Su and
                  Jiachi Chen and
                  Zhiyuan Fang and
                  Xingwei Lin and
                  Yutian Tang and
                  Zibin Zheng},
  title        = {SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant
                  Detection},
  journal      = {CoRR},
  volume       = {abs/2406.10054},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2406.10054},
  doi          = {10.48550/ARXIV.2406.10054},
  eprinttype    = {arXiv},
  eprint       = {2406.10054},
  timestamp    = {Wed, 10 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2406-10054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XM6HJkZcHFefHtitc","bibbaseid":"su-chen-fang-lin-tang-zheng-smartoraclegeneratingsmartcontractoracleviafinegrainedinvariantdetection-2024","author_short":["Su, J.","Chen, J.","Fang, Z.","Lin, X.","Tang, Y.","Zheng, Z."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jianzhong"],"propositions":[],"lastnames":["Su"],"suffixes":[]},{"firstnames":["Jiachi"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Zhiyuan"],"propositions":[],"lastnames":["Fang"],"suffixes":[]},{"firstnames":["Xingwei"],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["Yutian"],"propositions":[],"lastnames":["Tang"],"suffixes":[]},{"firstnames":["Zibin"],"propositions":[],"lastnames":["Zheng"],"suffixes":[]}],"title":"SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection","journal":"CoRR","volume":"abs/2406.10054","year":"2024","url":"https://doi.org/10.48550/arXiv.2406.10054","doi":"10.48550/ARXIV.2406.10054","eprinttype":"arXiv","eprint":"2406.10054","timestamp":"Wed, 10 Jul 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2406-10054.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2406-10054,\n author = {Jianzhong Su and\n Jiachi Chen and\n Zhiyuan Fang and\n Xingwei Lin and\n Yutian Tang and\n Zibin Zheng},\n title = {SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant\n Detection},\n journal = {CoRR},\n volume = {abs/2406.10054},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2406.10054},\n doi = {10.48550/ARXIV.2406.10054},\n eprinttype = {arXiv},\n eprint = {2406.10054},\n timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2406-10054.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Su, J.","Chen, J.","Fang, Z.","Lin, X.","Tang, Y.","Zheng, Z."],"key":"DBLP:journals/corr/abs-2406-10054","id":"DBLP:journals/corr/abs-2406-10054","bibbaseid":"su-chen-fang-lin-tang-zheng-smartoraclegeneratingsmartcontractoracleviafinegrainedinvariantdetection-2024","role":"author","urls":{"Paper":"https://doi.org/10.48550/arXiv.2406.10054"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"dblp.org/pid/120/1174.bib","dataSources":["dyRRncYxyGvszTt7q","SPQJMkeE7y9TwQQ5X","K9kxNqAzaoKuj4JdQ","2BCNjijwLa7AtH8wT"],"keywords":[],"search_terms":["smartoracle","generating","smart","contract","oracle","via","fine","grained","invariant","detection","su","chen","fang","lin","tang","zheng"],"title":"SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection","year":2024}