default search action
Bo Jiang 0001
Person information
- affiliation: Beihang University, School of Computer Science and Engineering, Beijing, China
- affiliation (PhD 2011): University of Hong Kong, Department of Computer Science, Hong Kong
Other persons with the same name
- Bo Jiang — disambiguation page
- Bo Jiang 0002 — Anhui University, School of Computer Science and Technology, Hefei, China
- Bo Jiang 0003 — Shanghai Jiao Tong University, School of Electronic Information and Electrical Engineering, China (and 1 more)
- Bo Jiang 0004 — Dalian Maritime University, School of Information Science and Technology, China
- Bo Jiang 0005 — Harvard University, Cambridge, Department of Statistics, MA, USA (and 1 more)
- Bo Jiang 0006 — Beijing Normal University, School of Geography, State Key Laboratory of Remote Sensing Science, China
- Bo Jiang 0007 — Shanghai University of Finance and Economics, School of Information Management and Engineering, China (and 1 more)
- Bo Jiang 0008 — Intel Corporation, Hillsboro, USA (and 1 more)
- Bo Jiang 0009 — Zhejiang Gongshang University, College of Computer and Information Engineering, Hangzhou, China
- Bo Jiang 0010 — Nanjing Normal University, School of Mathematical Sciences, China
- Bo Jiang 0011 — Huazhong University of Science and Technology, Wuhan, China
- Bo Jiang 0012 — National Institute of Aerospace, Hampton, VA, USA (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]Keyang Hu, Wang Huang, Lei Wang, Ce Mo, Runxiang Wang, Yu Chen, Ju Ren, Bo Jiang:
Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems. J. Syst. Archit. 153: 103199 (2024) - [j24]Qilin Zhou, Zhengyuan Wei, Haipeng Wang, Bo Jiang, Wing-Kwong Chan:
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models. Proc. ACM Softw. Eng. 1(FSE): 2725-2746 (2024) - [i7]Qilin Zhou, Zhengyuan Wei, Haipeng Wang, Bo Jiang, Wing-Kwong Chan:
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models. CoRR abs/2405.07668 (2024) - 2023
- [j23]Ce Mo, Lei Wang, Siran Li, Keyang Hu, Bo Jiang:
Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update. J. Syst. Archit. 142: 102948 (2023) - [j22]Baoyue Yan, Jinbin Zhu, Bo Jiang:
Limon: A Scalable and Stable Key-Value Engine for Fast NVMe Devices. IEEE Trans. Computers 72(10): 3017-3028 (2023) - [c49]Keyang Hu, Lei Wang, Ce Mo, Bo Jiang:
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios. EMSOFT 2023: 13-14 - [c48]Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, Bo Jiang:
A study on the impact of pre-trained model on Just-In-Time defect prediction. QRS 2023: 105-116 - [c47]Haipeng Wang, Zhengyuan Wei, Qilin Zhou, Bo Jiang, Wing Kwong Chan:
Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models. QRS 2023: 370-381 - [c46]Peiyang Li, Zixin Liu, Yuening Su, Hao Wang, Bo Jiang:
CAPS: An Efficient Whole-Program Critical Paths Search Framework for Large-Scale Software. SEKE 2023: 169-174 - [c45]Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang:
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. TASE 2023: 38-58 - [i6]Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, Bo Jiang:
A study on the impact of pre-trained model on Just-In-Time defect prediction. CoRR abs/2309.02317 (2023) - 2022
- [c44]Yicong Shen, Lei Wang, Yuanzhi Liang, Siran Li, Bo Jiang:
Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems. DATE 2022: 1287-1292 - [c43]Yurui Yang, Bo Jiang:
Towards Group Fairness via Semi-Centralized Adversarial Training in Federated Learning. MDM 2022: 482-487 - [c42]Bo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan:
WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. SEKE 2022: 537-542 - [c41]Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang:
VM Migration and Live-Update for Reliable Embedded Hypervisor. SETTA 2022: 53-69 - 2021
- [j21]Rongjuan Li, Jian Jiao, Bo Jiang, Zhonghua Sun, Jinjie Xie, Yueli Wang, Qian Wang, Lvya Wang, Ya Yang:
Use of Longitudinal Strain Bull's-Eye Plot by Speckle Tracking Echocardiography for Evaluation of Homozygous Familial Hypercholesterolemia with Myocardial Ischemia. J. Medical Imaging Health Informatics 11(8): 2274-2279 (2021) - [j20]Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan:
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. ACM Trans. Softw. Eng. Methodol. 30(1): 7:1-7:49 (2021) - [c40]Yuanzhi Liang, Lei Wang, Siran Li, Bo Jiang:
Rustpi: A Rust-powered Reliable Micro-kernel Operating System. ISSRE Workshops 2021: 272-273 - [c39]Bo Jiang, Wenlin Wei, Li Yi, W. K. Chan:
DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning. QRS 2021: 197-206 - [c38]Bo Jiang, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan:
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection. QRS 2021: 926-937 - 2020
- [j19]Imran Ashraf, Xiaoxue Ma, Bo Jiang, Wing Kwong Chan:
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities. IEEE Access 8: 99552-99564 (2020) - [j18]Lei Wang, Ziqi Zhen, Tianyu Wo, Bo Jiang, Hailong Sun, Xiang Long:
A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis. IEEE Trans. Educ. 63(3): 232-239 (2020) - [j17]Guanping Xiao, Zheng Zheng, Bo Jiang, Yulei Sui:
An Empirical Study of Regression Bug Chains in Linux. IEEE Trans. Reliab. 69(2): 558-570 (2020) - [j16]Peng Xiao, Yongfeng Yin, Bin Liu, Bo Jiang, Yashwant K. Malaiya:
Adaptive Testing Based on Moment Estimation. IEEE Trans. Syst. Man Cybern. Syst. 50(3): 911-922 (2020) - [c37]Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang:
CUDAsmith: A Fuzzer for CUDA Compilers. COMPSAC 2020: 861-871 - [c36]Zijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang:
MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults. COMPSAC 2020: 943-952 - [c35]Anqi Wang, Hao Wang, Bo Jiang, Wing Kwong Chan:
Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. DSA 2020: 173-181 - [c34]Yuhe Huang, Bo Jiang, Wing Kwong Chan:
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. Internetware 2020: 99-109 - [i5]Yuhe Huang, Bo Jiang, Wing Kwong Chan:
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. CoRR abs/2007.14903 (2020) - [i4]Dong Wang, Bo Jiang, W. K. Chan:
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection. CoRR abs/2007.15510 (2020) - [i3]Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan:
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. CoRR abs/2008.04479 (2020)
2010 – 2019
- 2019
- [j15]Bo Jiang, Yaoyue Zhang, Wing Kwong Chan, Zhenyu Zhang:
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications. IEEE Trans. Reliab. 68(3): 913-926 (2019) - [c33]Xiupei Mei, Imran Ashraf, Bo Jiang, Wing Kwong Chan:
A Fuzz Testing Service for Assuring Smart Contracts. QRS Companion 2019: 544-545 - 2018
- [j14]Jialin Yang, Bo Jiang, W. K. Chan:
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. IEEE Trans. Reliab. 67(3): 786-801 (2018) - [c32]Wing Kwong Chan, Bo Jiang:
Fuse: An Architecture for Smart Contract Fuzz Testing Service. APSEC 2018: 707-708 - [c31]Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan:
ReTestDroid: Towards Safer Regression Test Selection for Android Application. COMPSAC (1) 2018: 235-244 - [c30]Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse:
The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study. COMPSAC (1) 2018: 620-629 - [c29]Bo Jiang, Xiaoyan Wang, Huanqiang Xu, Hao Wang, Chaoyang Zhang:
Nondeterministic Event Sequence Reduction for Android Applications. DSA 2018: 96-101 - [c28]Bo Li, Bo Jiang:
Cache Attack on AES for Android Smartphone. ICCSP 2018: 138-143 - [c27]Bo Jiang, Ye Liu, W. K. Chan:
ContractFuzzer: fuzzing smart contracts for vulnerability detection. ASE 2018: 259-269 - [c26]Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang:
MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization. QRS Companion 2018: 56-63 - [i2]Bo Jiang, Ye Liu, W. K. Chan:
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. CoRR abs/1807.03932 (2018) - 2017
- [c25]Junjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang:
Deterministic Replay for Multi-Core VxWorks Applications. DSA 2017: 118-125 - [c24]Han Wan, Xiaopeng Gao, Xiang Long, Bo Jiang:
Introducing parallel computing concepts in computer system related courses. FIE 2017: 1-7 - [c23]Bo Jiang, Yuxuan Wu, Teng Li, W. K. Chan:
SimplyDroid: efficient event sequence simplification for Android application. ASE 2017: 297-307 - [c22]Bo Jiang, Yaoyue Zhang, W. K. Chan, Zhenyu Zhang:
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications. QRS 2017: 21-31 - 2016
- [j13]Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang:
To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments? IEEE Trans. Reliab. 65(3): 1223-1239 (2016) - [j12]Bo Jiang:
FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications. IEEE Trans. Serv. Comput. 9(5): 745-756 (2016) - [c21]Yabin Li, Han Wan, Bo Jiang, Xiang Long:
More Effective Synchronization Scheme in ML Using Stale Parameters. HPCC/SmartCity/DSS 2016: 757-764 - [c20]Chenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan:
Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps. QRS 2016: 298-306 - [c19]Bo Jiang, W. K. Chan:
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions. QRS 2016: 439-447 - 2015
- [j11]Bo Jiang, Wing Kwong Chan:
Input-based adaptive randomized test case prioritization: A local beam search approach. J. Syst. Softw. 105: 91-106 (2015) - [j10]Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse:
A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE Trans. Serv. Comput. 8(5): 658-673 (2015) - [j9]Lijun Mei, Wing Kwong Chan, T. H. Tse, Bo Jiang, Ke Zhai:
Preemptive Regression Testingof Workflow-Based Web Services. IEEE Trans. Serv. Comput. 8(5): 740-754 (2015) - [c18]Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang:
Replay Debugging of Real-Time Vxworks Applications. COMPSAC Workshops 2015: 568-573 - [c17]Bo Jiang, Wing Kwong Chan, T. H. Tse:
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization. QRS 2015: 131-140 - [i1]Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang:
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments? CoRR abs/1509.06854 (2015) - 2014
- [j8]Ke Zhai, Bo Jiang, W. K. Chan:
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study. IEEE Trans. Serv. Comput. 7(1): 54-67 (2014) - 2013
- [j7]Bo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang:
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization. Inf. Softw. Technol. 55(5): 897-917 (2013) - [j6]Yang Yang, Xiang Long, Bo Jiang:
K-Means Method for Grouping in Hybrid MapReduce Cluster. J. Comput. 8(10): 2648-2655 (2013) - [j5]Yang Yang, Biaobiao Shi, Bo Jiang, Xiang Long:
Data-Replicas Scheduler for Heterogeneous MapReduce Cluster. J. Networks 8(5): 1096-1103 (2013) - [j4]Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan:
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. Int. J. Web Serv. Res. 10(1): 73-102 (2013) - [c16]Yang Yang, Xiang Long, Bo Jiang:
An Efficient Grouped Virtual Mapreduce Cluster. AINA 2013: 613-620 - [c15]Bo Jiang, W. K. Chan:
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. COMPSAC 2013: 190-199 - [c14]Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan:
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS 2013: 147-154 - 2012
- [j3]Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen:
How well does test case prioritization integrate with statistical fault localization? Inf. Softw. Technol. 54(7): 739-758 (2012) - [c13]Lijun Mei, Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse:
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments. COMPSAC 2012: 72-81 - [c12]Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang:
Wielding Statistical Fault Localization Statistically. ISSRE Workshops 2012: 189-194 - 2011
- [b1]Bo Jiang:
Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization. University of Hong Kong, 2011 - [j2]Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan:
Assuring the model evolution of protocol software specifications by regression testing process improvement. Softw. Pract. Exp. 41(10): 1073-1103 (2011) - [c11]Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang:
Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. COMPSAC 2011: 58-67 - [c10]Bo Jiang, W. K. Chan, T. H. Tse:
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. QSIC 2011: 21-30 - 2010
- [j1]Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang:
Fault localization through evaluation sequences. J. Syst. Softw. 83(2): 174-187 (2010) - [c9]Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse:
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization. ICWS 2010: 211-218 - [c8]Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li:
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. QSIC 2010: 62-71 - [c7]Bo Jiang, W. K. Chan:
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. QSIC 2010: 377-384
2000 – 2009
- 2009
- [c6]Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen:
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization. COMPSAC (1) 2009: 99-106 - [c5]Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse:
Adaptive Random Test Case Prioritization. ASE 2009: 233-244 - [c4]Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang:
Capturing propagation of infected program states. ESEC/SIGSOFT FSE 2009: 43-52 - [c3]Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse:
Where to adapt dynamic service compositions. WWW 2009: 1123-1124 - 2008
- [c2]Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse:
Debugging through Evaluation Sequences: A Controlled Experimental Study. COMPSAC 2008: 128-135 - 2007
- [c1]Bo Jiang, Xiang Long, Xiaopeng Gao:
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. AST 2007: 37-43
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-18 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint