Bo Jiang

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 45

Top Topics

Android Application

Regression Testing

Test Case Generation

Top Venues

IEEE Trans. Serv. Comput.

IEEE Trans. Reliab.

Publications

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) (2024)
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 (2024)
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 (2024)
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)
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)
Keyang Hu, Lei Wang, Ce Mo, Bo Jiang
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios. EMSOFT (2023)
Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. TASE (2023)
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 (2023)
Baoyue Yan, Jinbin Zhu, Bo Jiang
Limon: A Scalable and Stable Key-Value Engine for Fast NVMe Devices. IEEE Trans. Computers 72 (10) (2023)
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 (2023)
Bo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan
WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. SEKE (2022)
Bo Jiang, Wenlin Wei, Li Yi, W. K. Chan
DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning. QRS (2021)
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)
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) (2021)
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) (2021)
Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang
CUDAsmith: A Fuzzer for CUDA Compilers. COMPSAC (2020)
Yuhe Huang, Bo Jiang, Wing Kwong Chan
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. CoRR (2020)
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 (2020)
Guanping Xiao, Zheng Zheng, Bo Jiang, Yulei Sui
An Empirical Study of Regression Bug Chains in Linux. IEEE Trans. Reliab. 69 (2) (2020)
Yuhe Huang, Bo Jiang, Wing Kwong Chan
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. Internetware (2020)
Zijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang
MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults. COMPSAC (2020)
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 (2020)
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) (2020)
Anqi Wang, Hao Wang, Bo Jiang, Wing Kwong Chan
Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. DSA (2020)
Dong Wang, Bo Jiang, W. K. Chan
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection. CoRR (2020)
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) (2020)
Xiupei Mei, Imran Ashraf, Bo Jiang, Wing Kwong Chan
A Fuzz Testing Service for Assuring Smart Contracts. QRS Companion (2019)
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) (2019)
Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang
MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization. QRS Companion (2018)
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) (2018)
Wing Kwong Chan, Bo Jiang
Fuse: An Architecture for Smart Contract Fuzz Testing Service. APSEC (2018)
Bo Jiang, Ye Liu, W. K. Chan
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. CoRR (2018)
Bo Jiang, Ye Liu, W. K. Chan
ContractFuzzer: fuzzing smart contracts for vulnerability detection. ASE (2018)
Bo Li, Bo Jiang
Cache Attack on AES for Android Smartphone. ICCSP (2018)
Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan
ReTestDroid: Towards Safer Regression Test Selection for Android Application. COMPSAC (1) (2018)
Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse
The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study. COMPSAC (1) (2018)
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)
Bo Jiang, Yuxuan Wu, Teng Li, W. K. Chan
SimplyDroid: efficient event sequence simplification for Android application. ASE (2017)
Junjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang
Deterministic Replay for Multi-Core VxWorks Applications. DSA (2017)
Han Wan, Xiaopeng Gao, Xiang Long, Bo Jiang
Introducing parallel computing concepts in computer system related courses. FIE (2017)
Yabin Li, Han Wan, Bo Jiang, Xiang Long
More Effective Synchronization Scheme in ML Using Stale Parameters. HPCC/SmartCity/DSS (2016)
Bo Jiang, W. K. Chan
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions. QRS (2016)
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)
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) (2016)
Bo Jiang
FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications. IEEE Trans. Serv. Comput. 9 (5) (2016)
Bo Jiang, Wing Kwong Chan, T. H. Tse
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization. QRS (2015)
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) (2015)
Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments? CoRR (2015)
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) (2015)
Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang
Replay Debugging of Real-Time Vxworks Applications. COMPSAC Workshops (2015)
Bo Jiang, Wing Kwong Chan
Input-based adaptive randomized test case prioritization: A local beam search approach. J. Syst. Softw. 105 (2015)
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) (2014)
Yang Yang, Biaobiao Shi, Bo Jiang, Xiang Long
Data-Replicas Scheduler for Heterogeneous MapReduce Cluster. J. Networks 8 (5) (2013)
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS (2013)
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) (2013)
Bo Jiang, W. K. Chan
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. COMPSAC (2013)
Yang Yang, Xiang Long, Bo Jiang
K-Means Method for Grouping in Hybrid MapReduce Cluster. J. Comput. 8 (10) (2013)
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) (2013)
Yang Yang, Xiang Long, Bo Jiang
An Efficient Grouped Virtual Mapreduce Cluster. AINA (2013)
Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang
Wielding Statistical Fault Localization Statistically. ISSRE Workshops (2012)
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)
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) (2012)
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) (2011)
Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang
Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. COMPSAC (2011)
Bo Jiang, W. K. Chan, T. H. Tse
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. QSIC (2011)
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang
Fault localization through evaluation sequences. J. Syst. Softw. 83 (2) (2010)
Bo Jiang, W. K. Chan
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. QSIC (2010)
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)
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)
Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang
Capturing propagation of infected program states. ESEC/SIGSOFT FSE (2009)
Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse
Adaptive Random Test Case Prioritization. ASE (2009)
Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse
Where to adapt dynamic service compositions. WWW (2009)
Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization. COMPSAC (1) (2009)
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse
Debugging through Evaluation Sequences: A Controlled Experimental Study. COMPSAC (2008)
Bo Jiang, Xiang Long, Xiaopeng Gao
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. AST (2007)