@article{DBLP:journals/tse/SuCFLTZ25,
  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      = {{IEEE} Trans. Software Eng.},
  volume       = {51},
  number       = {4},
  pages        = {947--959},
  year         = {2025},
  url          = {https://doi.org/10.1109/TSE.2025.3534567},
  doi          = {10.1109/TSE.2025.3534567},
  timestamp    = {Fri, 09 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SuCFLTZ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oGnNkmBqBiS67k9Ha","bibbaseid":"su-chen-fang-lin-tang-zheng-smartoraclegeneratingsmartcontractoracleviafinegrainedinvariantdetection-2025","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":"IEEE Trans. Software Eng.","volume":"51","number":"4","pages":"947–959","year":"2025","url":"https://doi.org/10.1109/TSE.2025.3534567","doi":"10.1109/TSE.2025.3534567","timestamp":"Fri, 09 May 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tse/SuCFLTZ25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tse/SuCFLTZ25,\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 = {{IEEE} Trans. Software Eng.},\n volume = {51},\n number = {4},\n pages = {947--959},\n year = {2025},\n url = {https://doi.org/10.1109/TSE.2025.3534567},\n doi = {10.1109/TSE.2025.3534567},\n timestamp = {Fri, 09 May 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tse/SuCFLTZ25.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/tse/SuCFLTZ25","id":"DBLP:journals/tse/SuCFLTZ25","bibbaseid":"su-chen-fang-lin-tang-zheng-smartoraclegeneratingsmartcontractoracleviafinegrainedinvariantdetection-2025","role":"author","urls":{"Paper":"https://doi.org/10.1109/TSE.2025.3534567"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/120/1174.bib","dataSources":["dyRRncYxyGvszTt7q","SPQJMkeE7y9TwQQ5X"],"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":2025}