Kaya: A Testing Framework for Blockchain-based Decentralized Applications
暂无分享,去创建一个
Jianbo Gao | Qingshan Li | Yue Li | Zhong Chen | Zhenhao Wu | Jiashuo Zhang | Zhi Guan | Zhong Chen | Jianbo Gao | Qingshan Li | Zhi Guan | Jiashuo Zhang | Yue Li | Zhenhao Wu
[1] Guodong Li,et al. SymJS: automatic symbolic testing of JavaScript web applications , 2014, SIGSOFT FSE.
[2] Michael Pradel,et al. Systematic black-box analysis of collaborative web applications , 2017, PLDI.
[3] Tadahiro Uehara,et al. WEAVE: WEb Applications Validation Environment , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.
[4] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[5] Jalal Mahmud,et al. Lowering the barriers to website testing with CoTester , 2010, IUI '10.
[6] Zhendong Su,et al. Server interface descriptions for automated testing of JavaScript web applications , 2013, ESEC/FSE 2013.
[7] Chao Liu,et al. EASYFLOW: Keep Ethereum Away from Overflow , 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
[8] Zhi Guan,et al. Towards Automated Testing of Blockchain-Based Decentralized Applications , 2019, 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC).
[9] Koushik Sen,et al. Jalangi: a selective record-replay and dynamic analysis framework for JavaScript , 2013, ESEC/FSE 2013.
[10] Sukrit Kalra,et al. ZEUS: Analyzing Safety of Smart Contracts , 2018, NDSS.
[11] Frank Tip,et al. A framework for automated testing of javascript web applications , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[12] Ye Liu,et al. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection , 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
[13] Vitalik Buterin. A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .