Contractfuzzer: Fuzzing smart contracts for vulnerability detection B Jiang, Y Liu, WK Chan Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 687 | 2018 |
Adaptive random test case prioritization B Jiang, Z Zhang, WK Chan, TH Tse Automated Software Engineering, 2009. ASE'09. 24th IEEE/ACM International …, 2009 | 309 | 2009 |
Capturing propagation of infected program states Z Zhang, WK Chan, TH Tse, B Jiang, X Wang Proceedings of the the 7th joint meeting of the European software …, 2009 | 160 | 2009 |
MobileTest: a tool supporting automatic black box test for software on smart mobile devices J Bo, L Xiang, G Xiaopeng Automation of Software Test, 2007. AST'07. Second International Workshop on, 8-8, 2007 | 135 | 2007 |
How well do test case prioritization techniques support statistical fault localization B Jiang, Z Zhang, TH Tse, TY Chen 2009 33rd Annual IEEE International Computer Software and Applications …, 2009 | 108 | 2009 |
Prioritizing test cases for regression testing of location-based services: Metrics, techniques, and case study K Zhai, B Jiang, WK Chan IEEE Transactions on Services Computing 7 (1), 54-67, 2012 | 80 | 2012 |
How well does test case prioritization integrate with statistical fault localization? B Jiang, Z Zhang, WK Chan, TH Tse, TY Chen Information and Software Technology, 2012 | 76 | 2012 |
Input-based adaptive randomized test case prioritization: A local beam search approach B Jiang, WK Chan Journal of Systems and Software 105, 91-106, 2015 | 64 | 2015 |
Fault localization through evaluation sequences Z Zhang, B Jiang, WK Chan, TH Tse, X Wang Journal of Systems and Software 83 (2), 174-187, 2010 | 61 | 2010 |
GasFuzzer: Fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities I Ashraf, X Ma, B Jiang, WK Chan IEEE Access 8, 99552-99564, 2020 | 46 | 2020 |
Taking advantage of service selection: A study on the testing of location-based web services through test case prioritization K Zhai, B Jiang, WK Chan, TH Tse Web Services (ICWS), 2010 IEEE International Conference on, 211-218, 2010 | 45 | 2010 |
A subsumption hierarchy of test case prioritization for composite services L Mei, Y Cai, C Jia, B Jiang, WK Chan, Z Zhang, TH Tse IEEE Transactions on Services Computing 8 (5), 658-673, 2014 | 41 | 2014 |
Preemptive regression testingof workflow-based web services L Mei, WK Chan, TH Tse, B Jiang, K Zhai IEEE Transactions on Services Computing 8 (5), 740-754, 2014 | 41 | 2014 |
EOSFuzzer: Fuzzing eosio smart contracts for vulnerability detection Y Huang, B Jiang, WK Chan Proceedings of the 12th Asia-Pacific Symposium on Internetware, 99-109, 2020 | 35 | 2020 |
WANA: Symbolic execution of wasm bytecode for cross-platform smart contract vulnerability detection D Wang, B Jiang, WK Chan arXiv preprint arXiv:2007.15510, 2020 | 32 | 2020 |
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization B Jiang, WK Chan Quality Software (QSIC), 2010 10th International Conference on, 377-384, 2010 | 32 | 2010 |
Revisiting the design of LSM-tree based OLTP storage engine with persistent memory B Yan, X Cheng, B Jiang, S Chen, C Shang, J Wang, G Huang, X Yang, ... Proceedings of the VLDB Endowment 14 (10), 1872-1885, 2021 | 30 | 2021 |
On practical adequate test suites for integrated test case prioritization and fault localization B Jiang, WK Chan, TH Tse 2011 11th International Conference on Quality Software, 21-30, 2011 | 27 | 2011 |
Debugging through evaluation sequences: a controlled experimental study Z Zhang, B Jiang, WK Chan, TH Tse 2008 32nd Annual IEEE International Computer Software and Applications …, 2008 | 24 | 2008 |
Artemis: An improved smart contract verification tool for vulnerability detection A Wang, H Wang, B Jiang, WK Chan 2020 7th International Conference on Dependable Systems and Their …, 2020 | 22 | 2020 |