Bo Jiang
Orcid: 0000-0001-6370-3895Affiliations:
- Beihang University, School of Computer Science and Engineering, Beijing, China
- University of Hong Kong, Department of Computer Science, Hong Kong (PhD 2011)
According to our database1,
Bo Jiang
authored at least 76 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
Proc. ACM Softw. Eng., 2024
Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems.
J. Syst. Archit., 2024
2023
IEEE Trans. Computers, October, 2023
Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update.
J. Syst. Archit., September, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
CAPS: An Efficient Whole-Program Critical Paths Search Framework for Large-Scale Software.
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the International Conference on Embedded Software, 2023
2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Towards Group Fairness via Semi-Centralized Adversarial Training in Federated Learning.
Proceedings of the 23rd IEEE International Conference on Mobile Data Management, 2022
Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.
ACM Trans. Softw. Eng. Methodol., 2021
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, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
2020
IEEE Trans. Syst. Man Cybern. Syst., 2020
A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis.
IEEE Trans. Educ., 2020
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection.
CoRR, 2020
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities.
IEEE Access, 2020
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications.
IEEE Trans. Reliab., 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
2018
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection.
IEEE Trans. Reliab., 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 2nd International Conference on Cryptography, Security and Privacy, 2018
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017
Proceedings of the International Conference on Dependable Systems and Their Applications, 2017
2016
FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications.
IEEE Trans. Serv. Comput., 2016
To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?
IEEE Trans. Reliab., 2016
Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016
2015
IEEE Trans. Serv. Comput., 2015
IEEE Trans. Serv. Comput., 2015
Input-based adaptive randomized test case prioritization: A local beam search approach.
J. Syst. Softw., 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study.
IEEE Trans. Serv. Comput., 2014
2013
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.
Int. J. Web Serv. Res., 2013
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.
Inf. Softw. Technol., 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013
2012
How well does test case prioritization integrate with statistical fault localization?
Inf. Softw. Technol., 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
2011
Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization
PhD thesis, 2011
Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp., 2011
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization.
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.
Proceedings of the 10th International Conference on Quality Software, 2010
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization.
Proceedings of the 10th International Conference on Quality Software, 2010
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization.
Proceedings of the IEEE International Conference on Web Services, 2010
2009
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices.
Proceedings of the Second International Workshop on Automation of Software Test, 2007