Bo Jiang

90 papers A* 7A 3B 8C 12Misc 3Journal 35Unranked 21
YearRankTypeTitle / Venue / Authors
2025 — conf
AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System.
SIGSOFT FSE Companion
Bo Jiang, Fancheng Shu, Yuyang Cui, Xiangjie Wang, Peng Tang, Lei Wang, Weiping Zhang, Yong Wang, Guobin Wu
2025 A* conf
TODO: Enhancing LLM Alignment with Ternary Preferences.
ICLR
Yuxiang Guo, Lu Yin, Bo Jiang, Jiaqi Zhang
2024 J jnl
An Empirical Study on JIT Defect Prediction Based on BERT-style Model.
CoRR
Yuxiang Guo, Xiaopeng Gao, Bo Jiang
2024 J jnl
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
CoRR
Qilin Zhou, Zhengyuan Wei, Haipeng Wang, Bo Jiang, Wing-Kwong Chan
2024 J jnl
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
Proc. ACM Softw. Eng.
Qilin Zhou, Zhengyuan Wei, Haipeng Wang, Bo Jiang, Wing-Kwong Chan
2024 J jnl
TODO: Enhancing LLM Alignment with Ternary Preferences.
CoRR
Yuxiang Guo, Lu Yin, Bo Jiang, Jiaqi Zhang
2024 J jnl
Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems.
J. Syst. Archit.
Keyang Hu, Wang Huang, Lei Wang, Ce Mo, Runxiang Wang, Yu Chen, Ju Ren, Bo Jiang
2023 C conf
A study on the impact of pre-trained model on Just-In-Time defect prediction.
QRS
Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, Bo Jiang
2023 J jnl
A study on the impact of pre-trained model on Just-In-Time defect prediction.
CoRR
Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, Bo Jiang
2023 C conf
Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models.
QRS
Haipeng Wang, Zhengyuan Wei, Qilin Zhou, Bo Jiang, Wing Kwong Chan
2023 C conf
CAPS: An Efficient Whole-Program Critical Paths Search Framework for Large-Scale Software.
SEKE
Peiyang Li, Zixin Liu, Yuening Su, Hao Wang, Bo Jiang
2023 J jnl
Limon: A Scalable and Stable Key-Value Engine for Fast NVMe Devices.
IEEE Trans. Computers
Baoyue Yan, Jinbin Zhu, Bo Jiang
2023 Misc conf
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning.
TASE
Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang
2023 J jnl
Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update.
J. Syst. Archit.
Ce Mo, Lei Wang, Siran Li, Keyang Hu, Bo Jiang
2023 Misc conf
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios.
EMSOFT
Keyang Hu, Lei Wang, Ce Mo, Bo Jiang
2022 A conf
Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems.
DATE
Yicong Shen, Lei Wang, Yuanzhi Liang, Siran Li, Bo Jiang
2022 B conf
Towards Group Fairness via Semi-Centralized Adversarial Training in Federated Learning.
MDM
Yurui Yang, Bo Jiang
2022 Misc conf
VM Migration and Live-Update for Reliable Embedded Hypervisor.
SETTA
Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang
2022 C conf
WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines.
SEKE
Bo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan
2021 C conf
DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning.
QRS
Bo Jiang, Wenlin Wei, Li Yi, W. K. Chan
2021 J jnl
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.
ACM Trans. Softw. Eng. Methodol.
Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
2021 — conf
Rustpi: A Rust-powered Reliable Micro-kernel Operating System.
ISSRE Workshops
Yuanzhi Liang, Lei Wang, Siran Li, Bo Jiang
2021 J jnl
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
Rongjuan Li, Jian Jiao, Bo Jiang, Zhonghua Sun, Jinjie Xie, Yueli Wang, Qian Wang, Lvya Wang, Ya Yang
2021 C conf
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.
QRS
Bo Jiang, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan
2020 J jnl
A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis.
IEEE Trans. Educ.
Lei Wang, Ziqi Zhen, Tianyu Wo, Bo Jiang, Hailong Sun, Xiang Long
2020 J jnl
Adaptive Testing Based on Moment Estimation.
IEEE Trans. Syst. Man Cybern. Syst.
Peng Xiao, Yongfeng Yin, Bin Liu, Bo Jiang, Yashwant K. Malaiya
2020 J jnl
An Empirical Study of Regression Bug Chains in Linux.
IEEE Trans. Reliab.
Guanping Xiao, Zheng Zheng, Bo Jiang, Yulei Sui
2020 — conf
Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection.
DSA
Anqi Wang, Hao Wang, Bo Jiang, Wing Kwong Chan
2020 B conf
CUDAsmith: A Fuzzer for CUDA Compilers.
COMPSAC
Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang
2020 — conf
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection.
Internetware
Yuhe Huang, Bo Jiang, Wing Kwong Chan
2020 J jnl
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection.
CoRR
Yuhe Huang, Bo Jiang, Wing Kwong Chan
2020 J jnl
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities.
IEEE Access
Imran Ashraf, Xiaoxue Ma, Bo Jiang, Wing Kwong Chan
2020 A* conf
Generative Attention Networks for Multi-Agent Behavioral Modeling.
AAAI
Max Guangyu Li, Bo Jiang, Hao Zhu, Zhengping Che, Yan Liu
2020 B conf
MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults.
COMPSAC
Zijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang
2020 J jnl
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.
CoRR
Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
2020 J jnl
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection.
CoRR
Dong Wang, Bo Jiang, W. K. Chan
2019 — conf
A Fuzz Testing Service for Assuring Smart Contracts.
QRS Companion
Xiupei Mei, Imran Ashraf, Bo Jiang, Wing Kwong Chan
2019 J jnl
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications.
IEEE Trans. Reliab.
Bo Jiang, Yaoyue Zhang, Wing Kwong Chan, Zhenyu Zhang
2019 J jnl
D
CoRR
Zhengping Che, Max Guangyu Li, Tracy Li, Bo Jiang, Xuefeng Shi, Xinsheng Zhang, Ying Lu, Guobin Wu, Yan Liu, Jieping Ye
2019 — conf
DBUS: Human Driving Behavior Understanding System.
ICCV Workshops
Max Guangyu Li, Bo Jiang, Zhengping Che, Xuefeng Shi, Mengyao Liu, Yiping Meng, Jieping Ye, Yan Liu
2018 — conf
Cache Attack on AES for Android Smartphone.
ICCSP
Bo Li, Bo Jiang
2018 J jnl
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection.
CoRR
Bo Jiang, Ye Liu, W. K. Chan
2018 A* conf
ContractFuzzer: fuzzing smart contracts for vulnerability detection.
ASE
Bo Jiang, Ye Liu, W. K. Chan
2018 C conf
Fuse: An Architecture for Smart Contract Fuzz Testing Service.
APSEC
Wing Kwong Chan, Bo Jiang
2018 A* conf
Hierarchical Deep Generative Models for Multi-Rate Multivariate Time Series.
ICML
Zhengping Che, Sanjay Purushotham, Max Guangyu Li, Bo Jiang, Yan Liu
2018 J jnl
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection.
IEEE Trans. Reliab.
Jialin Yang, Bo Jiang, W. K. Chan
2018 — conf
MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization.
QRS Companion
Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang
2018 — conf
Nondeterministic Event Sequence Reduction for Android Applications.
DSA
Bo Jiang, Xiaoyan Wang, Huanqiang Xu, Hao Wang, Chaoyang Zhang
2018 — conf
ReTestDroid: Towards Safer Regression Test Selection for Android Application.
COMPSAC (1)
Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan
2018 — conf
The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study.
COMPSAC (1)
Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse
2017 — conf
Deterministic Replay for Multi-Core VxWorks Applications.
DSA
Junjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang
2017 C conf
Introducing parallel computing concepts in computer system related courses.
FIE
Han Wan, Xiaopeng Gao, Xiang Long, Bo Jiang
2017 A* conf
SimplyDroid: efficient event sequence simplification for Android application.
ASE
Bo Jiang, Yuxuan Wu, Teng Li, W. K. Chan
2017 C conf
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.
QRS
Bo Jiang, Yaoyue Zhang, W. K. Chan, Zhenyu Zhang
2016 J jnl
FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications.
IEEE Trans. Serv. Comput.
Bo Jiang
2016 C conf
Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.
QRS
Chenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan
2016 — conf
More Effective Synchronization Scheme in ML Using Stale Parameters.
HPCC/SmartCity/DSS
Yabin Li, Han Wan, Bo Jiang, Xiang Long
2016 C conf
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions.
QRS
Bo Jiang, W. K. Chan
2016 J jnl
To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?
IEEE Trans. Reliab.
Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang
2015 J jnl
A Subsumption Hierarchy of Test Case Prioritization for Composite Services.
IEEE Trans. Serv. Comput.
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse
2015 J jnl
Input-based adaptive randomized test case prioritization: A local beam search approach.
J. Syst. Softw.
Bo Jiang, Wing Kwong Chan
2015 C conf
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization.
QRS
Bo Jiang, Wing Kwong Chan, T. H. Tse
2015 J jnl
Preemptive Regression Testingof Workflow-Based Web Services.
IEEE Trans. Serv. Comput.
Lijun Mei, Wing Kwong Chan, T. H. Tse, Bo Jiang, Ke Zhai
2015 — conf
Replay Debugging of Real-Time Vxworks Applications.
COMPSAC Workshops
Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang
2015 J jnl
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?
CoRR
Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang
2014 J jnl
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study.
IEEE Trans. Serv. Comput.
Ke Zhai, Bo Jiang, W. K. Chan
2013 B conf
An Efficient Grouped Virtual Mapreduce Cluster.
AINA
Yang Yang, Xiang Long, Bo Jiang
2013 B conf
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization.
COMPSAC
Bo Jiang, W. K. Chan
2013 J jnl
Data-Replicas Scheduler for Heterogeneous MapReduce Cluster.
J. Networks
Yang Yang, Biaobiao Shi, Bo Jiang, Xiang Long
2013 J jnl
K-Means Method for Grouping in Hybrid MapReduce Cluster.
J. Comput.
Yang Yang, Xiang Long, Bo Jiang
2013 J jnl
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.
Inf. Softw. Technol.
Bo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang
2013 A conf
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions.
ICWS
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
2013 J jnl
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.
Int. J. Web Serv. Res.
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
2012 J jnl
How well does test case prioritization integrate with statistical fault localization?
Inf. Softw. Technol.
Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen
2012 B conf
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments.
COMPSAC
Lijun Mei, Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse
2012 — conf
Wielding Statistical Fault Localization Statistically.
ISSRE Workshops
Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang
2011 J jnl
Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp.
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan
2011 — —
Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization
Bo Jiang
2011 — conf
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization.
QSIC
Bo Jiang, W. K. Chan, T. H. Tse
2011 B conf
Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.
COMPSAC
Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang
2010 J jnl
Fault localization through evaluation sequences.
J. Syst. Softw.
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang
2010 — conf
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization.
QSIC
Bo Jiang, W. K. Chan
2010 — conf
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.
QSIC
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li
2010 A conf
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization.
ICWS
Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse
2009 A* conf
Adaptive Random Test Case Prioritization.
ASE
Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse
2009 — conf
Capturing propagation of infected program states.
ESEC/SIGSOFT FSE
Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang
2009 — conf
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.
COMPSAC (1)
Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen
2009 A* conf
Where to adapt dynamic service compositions.
WWW
Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse
2008 B conf
Debugging through Evaluation Sequences: A Controlled Experimental Study.
COMPSAC
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse
2007 — conf
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices.
AST@ICSE
Bo Jiang, Xiang Long, Xiaopeng Gao