MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. - Bo Jiang 001; Xiang Long; Xiaopeng Gao (AST, 2007)

Debugging through Evaluation Sequences: A Controlled Experimental Study. - Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001; T. H. Tse (COMPSAC, 2008)

How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization. - Bo Jiang 001; Zhenyu Zhang 004; T. H. Tse; Tsong Yueh Chen (COMPSAC (1), 2009)

Adaptive Random Test Case Prioritization. - Bo Jiang 001; Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse (ASE, 2009)

Capturing propagation of infected program states. - Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse; Bo Jiang 001; Xinming Wang (ESEC/SIGSOFT FSE, 2009)

Where to adapt dynamic service compositions. - Bo Jiang 001; W. K. Chan 001; Zhenyu Zhang 004; T. H. Tse (WWW, 2009)

Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization. - Ke Zhai 002; Bo Jiang 001; W. K. Chan 001; T. H. Tse (ICWS, 2010)

On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. - Bo Jiang 001; W. K. Chan 001 (QSIC, 2010)

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li (QSIC, 2010)

Fault localization through evaluation sequences. - Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001; T. H. Tse; Xinming Wang (J. Syst. Softw., 2010)

Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Bo Jiang 001 (COMPSAC, 2011)

On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. - Bo Jiang 001; W. K. Chan 001; T. H. Tse (QSIC, 2011)

Assuring the model evolution of protocol software specifications by regression testing process improvement. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li; W. K. Chan 001 (Softw. Pract. Exp., 2011)

Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization - Bo Jiang 001 (2011)

Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments. - Lijun Mei; Ke Zhai 002; Bo Jiang 001; W. K. Chan 001; T. H. Tse (COMPSAC, 2012)

Wielding Statistical Fault Localization Statistically. - Yunqian Zhang; Lin Chen 015; Bo Jiang 001; Zhenyu Zhang 004 (ISSRE Workshops, 2012)

How well does test case prioritization integrate with statistical fault localization? - Bo Jiang 001; Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Tsong Yueh Chen (Inf. Softw. Technol., 2012)

An Efficient Grouped Virtual Mapreduce Cluster. - Yang Yang; Xiang Long; Bo Jiang 001 (AINA, 2013)

Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. - Bo Jiang 001; W. K. Chan 001 (COMPSAC, 2013)

Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (ICWS, 2013)

On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization. - Bo Jiang 001; Ke Zhai 002; W. K. Chan 001; T. H. Tse; Zhenyu Zhang 004 (Inf. Softw. Technol., 2013)

K-Means Method for Grouping in Hybrid MapReduce Cluster. - Yang Yang; Xiang Long; Bo Jiang 001 (J. Comput., 2013)

Data-Replicas Scheduler for Heterogeneous MapReduce Cluster. - Yang Yang; Biaobiao Shi; Bo Jiang 001; Xiang Long (J. Networks, 2013)

Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (Int. J. Web Serv. Res., 2013)

Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study. - Ke Zhai 002; Bo Jiang 001; W. K. Chan 001 (IEEE Trans. Serv. Comput., 2014)

Replay Debugging of Real-Time Vxworks Applications. - Chunlei Ma; Xiang Long; Bo Jiang 001; Zhenyu Zhang 004 (COMPSAC Workshops, 2015)

PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization. - Bo Jiang 001; Wing Kwong Chan; T. H. Tse (QRS, 2015)

Input-based adaptive randomized test case prioritization: A local beam search approach. - Bo Jiang 001; Wing Kwong Chan (J. Syst. Softw., 2015)

A Subsumption Hierarchy of Test Case Prioritization for Composite Services. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; Wing Kwong Chan; Zhenyu Zhang 004; T. H. Tse (IEEE Trans. Serv. Comput., 2015)

Preemptive Regression Testingof Workflow-Based Web Services. - Lijun Mei; Wing Kwong Chan; T. H. Tse; Bo Jiang 001; Ke Zhai 002 (IEEE Trans. Serv. Comput., 2015)

More Effective Synchronization Scheme in ML Using Stale Parameters. - Yabin Li; Han Wan; Bo Jiang 001; Xiang Long (HPCC/SmartCity/DSS, 2016)

Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions. - Bo Jiang 001; W. K. Chan 001 (QRS, 2016)

Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps. - Chenglong Sun; Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001 (QRS, 2016)

To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments? - Bo Jiang 001; Peng Chen; Wing Kwong Chan; Xinchao Zhang (IEEE Trans. Reliab., 2016)

FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications. - Bo Jiang 001 (IEEE Trans. Serv. Comput., 2016)

Deterministic Replay for Multi-Core VxWorks Applications. - Junjie Liu; Xiaopeng Gao; Bo Jiang 001; Shunkun Yang; Zhenyu Zhang 004 (DSA, 2017)

Introducing parallel computing concepts in computer system related courses. - Han Wan; Xiaopeng Gao; Xiang Long; Bo Jiang 001 (FIE, 2017)

SimplyDroid: efficient event sequence simplification for Android application. - Bo Jiang 001; Yuxuan Wu; Teng Li; W. K. Chan 001 (ASE, 2017)

Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications. - Bo Jiang 001; Yaoyue Zhang; W. K. Chan 001; Zhenyu Zhang 004 (QRS, 2017)

Fuse: An Architecture for Smart Contract Fuzz Testing Service. - Wing Kwong Chan; Bo Jiang 001 (APSEC, 2018)

ReTestDroid: Towards Safer Regression Test Selection for Android Application. - Bo Jiang 001; Yu Wu; Yongfei Zhang; Zhenyu Zhang 004; W. K. Chan 001 (COMPSAC (1), 2018)

The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study. - Donghong Zhang; Zhenyu Zhang 004; Bo Jiang 001; T. H. Tse (COMPSAC (1), 2018)

Nondeterministic Event Sequence Reduction for Android Applications. - Bo Jiang 001; Xiaoyan Wang; Huanqiang Xu; Hao Wang; Chaoyang Zhang (DSA, 2018)

Cache Attack on AES for Android Smartphone. - Bo Li; Bo Jiang 001 (ICCSP, 2018)

Hierarchical Deep Generative Models for Multi-Rate Multivariate Time Series. - Zhengping Che; Sanjay Purushotham; Max Guangyu Li; Bo Jiang 001; Yan Liu 002 (ICML, 2018)

ContractFuzzer: fuzzing smart contracts for vulnerability detection. - Bo Jiang 001; Ye Liu; W. K. Chan 001 (ASE, 2018)

MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization. - Zijie Li; Lanfei Yan; Yuzhen Liu; Zhenyu Zhang 004; Bo Jiang 001 (QRS Companion, 2018)

HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. - Jialin Yang; Bo Jiang 001; W. K. Chan 001 (IEEE Trans. Reliab., 2018)

DBUS: Human Driving Behavior Understanding System. - Max Guangyu Li; Bo Jiang 001; Zhengping Che; Xuefeng Shi; Mengyao Liu; Yiping Meng; Jieping Ye; Yan Liu 002 (ICCV Workshops, 2019)

A Fuzz Testing Service for Assuring Smart Contracts. - Xiupei Mei; Imran Ashraf; Bo Jiang 001; Wing Kwong Chan (QRS Companion, 2019)

D2-City: A Large-Scale Dashcam Video Dataset of Diverse Traffic Scenarios. - Zhengping Che; Max Guangyu Li; Tracy Li; Bo Jiang 001; Xuefeng Shi; Xinsheng Zhang; Ying Lu; Guobin Wu 001; Yan Liu 002; Jieping Ye (CoRR, 2019)

A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications. - Bo Jiang 001; Yaoyue Zhang; Wing Kwong Chan; Zhenyu Zhang 004 (IEEE Trans. Reliab., 2019)

Generative Attention Networks for Multi-Agent Behavioral Modeling. - Max Guangyu Li; Bo Jiang 001; Hao Zhu; Zhengping Che; Yan Liu 002 (AAAI, 2020)

CUDAsmith: A Fuzzer for CUDA Compilers. - Bo Jiang 001; Xiaoyan Wang; Wing Kwong Chan; T. H. Tse; Na Li; Yongfeng Yin; Zhenyu Zhang 004 (COMPSAC, 2020)

MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults. - Zijie Li; Long Zhang; Zhenyu Zhang 004; Bo Jiang 001 (COMPSAC, 2020)

Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. - Anqi Wang; Hao Wang; Bo Jiang 001; Wing Kwong Chan (DSA, 2020)

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. - Yuhe Huang; Bo Jiang 001; Wing Kwong Chan (Internetware, 2020)

GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities. - Imran Ashraf; Xiaoxue Ma; Bo Jiang 001; Wing Kwong Chan (IEEE Access, 2020)

WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection. - Dong Wang; Bo Jiang 001; W. K. Chan 001 (CoRR, 2020)

A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis. - Lei Wang 126; Ziqi Zhen; Tianyu Wo; Bo Jiang 001; Hailong Sun 001; Xiang Long (IEEE Trans. Educ., 2020)

An Empirical Study of Regression Bug Chains in Linux. - Guanping Xiao; Zheng Zheng 001; Bo Jiang 001; Yulei Sui (IEEE Trans. Reliab., 2020)

Adaptive Testing Based on Moment Estimation. - Peng Xiao 003; Yongfeng Yin; Bin Liu 032; Bo Jiang 001; Yashwant K. Malaiya (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Rustpi: A Rust-powered Reliable Micro-kernel Operating System. - Yuanzhi Liang; Lei Wang 126; Siran Li; Bo Jiang 001 (ISSRE Workshops, 2021)

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection. - Bo Jiang 001; Yifei Chen; Dong Wang; Imran Ashraf; W. K. Chan 001 (QRS, 2021)

DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning. - Bo Jiang 001; Wenlin Wei; Li Yi; W. K. Chan 001 (QRS, 2021)

Use of Longitudinal Strain Bull's-Eye Plot by Speckle Tracking Echocardiography for Evaluation of Homozygous Familial Hypercholesterolemia with Myocardial Ischemia. - Rongjuan Li; Jian Jiao; Bo Jiang 001; Zhonghua Sun 002; Jinjie Xie; Yueli Wang; Qian Wang; Lvya Wang; Ya Yang (J. Medical Imaging Health Informatics, 2021)

RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. - Xiaoxue Ma; Shangru Wu; Ernest Bota Pobee; Xiupei Mei; Hao Zhang 085; Bo Jiang 001; Wing Kwong Chan (ACM Trans. Softw. Eng. Methodol., 2021)

Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems. - Yicong Shen; Lei Wang 126; Yuanzhi Liang; Siran Li; Bo Jiang 001 (DATE, 2022)

Towards Group Fairness via Semi-Centralized Adversarial Training in Federated Learning. - Yurui Yang; Bo Jiang 001 (MDM, 2022)

WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. - Bo Jiang 001; Zichao Li 008; Yuhe Huang; Zhenyu Zhang 004; W. K. Chan 001 (SEKE, 2022)

VM Migration and Live-Update for Reliable Embedded Hypervisor. - Siran Li; Lei Wang 126; Keyang Hu; Ce Mo; Bo Jiang 001 (SETTA, 2022)

Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios. - Keyang Hu; Lei Wang 126; Ce Mo; Bo Jiang 001 (EMSOFT, 2023)

A study on the impact of pre-trained model on Just-In-Time defect prediction. - Yuxiang Guo 004; Xiaopeng Gao; Zhenyu Zhang 004; Wing Kwong Chan; Bo Jiang 001 (QRS, 2023)

Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models. - Haipeng Wang 005; Zhengyuan Wei; Qilin Zhou; Bo Jiang 001; Wing Kwong Chan (QRS, 2023)

CAPS: An Efficient Whole-Program Critical Paths Search Framework for Large-Scale Software. - Peiyang Li; Zixin Liu; Yuening Su; Hao Wang; Bo Jiang 001 (SEKE, 2023)

OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. - Mengjun Du; Peiyang Li; Lian Song; W. K. Chan 001; Bo Jiang 001 (TASE, 2023)

Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update. - Ce Mo; Lei Wang 126; Siran Li; Keyang Hu; Bo Jiang 001 (J. Syst. Archit., 2023)

Limon: A Scalable and Stable Key-Value Engine for Fast NVMe Devices. - Baoyue Yan; Jinbin Zhu; Bo Jiang 001 (IEEE Trans. Computers, 2023)

An Empirical Study on JIT Defect Prediction Based on BERT-style Model. - Yuxiang Guo 004; Xiaopeng Gao; Bo Jiang 001 (CoRR, 2024)

Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems. - Keyang Hu; Wang Huang; Lei Wang 126; Ce Mo; Runxiang Wang; Yu Chen 004; Ju Ren 001; Bo Jiang 001 (J. Syst. Archit., 2024)

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models. - Qilin Zhou; Zhengyuan Wei; Haipeng Wang 005; Bo Jiang 001; Wing-Kwong Chan (Proc. ACM Softw. Eng., 2024)

TODO: Enhancing LLM Alignment with Ternary Preferences. - Yuxiang Guo 004; Lu Yin 006; Bo Jiang 001; Jiaqi Zhang (ICLR, 2025)

AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System. - Bo Jiang 001; Fancheng Shu; Yuyang Cui; Xiangjie Wang; Peng Tang; Lei Wang 126; Weiping Zhang; Yong Wang; Guobin Wu 001 (SIGSOFT FSE Companion, 2025)