Bo Jiang

Ph.D.
portrait

Correspondence Address

Room G1046, New Main Building,
School of Computer Science and Engineering,
Beihang University (BUAA),
No. 37, Xueyuan Road, Haidian District, Beijing, China

Contact

Phone : (+86)10-82338059
E-mail: gongbell[at]gmail.com

Short Intro

I am a Professor at the School of Computer Science and Engineering, Beihang University. I got my Ph.D. from Department of Computer Science of The University of Hong Kong. My research interests involve software testing, system security and operating system.

Selected Publication: Journal Papers

  1. Ce Mo, Lei Wang, Siran Li, Keyang Hu, Bo Jiang*. Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update, Journal of Systems Architecture, Volume 142, 2023, 102948, ISSN 1383-7621, https://doi.org/10.1016/j.sysarc.2023.102948. (JSA 2023)
  2. Boyue Yan, Jinbin Zhu and Bo Jiang*, "Limon: A Scalable and Stable Key-Value Engine for Fast NVMe Devices" in IEEE Transactions on Computers, vol. , no. 01, pp. 1-12, 5555. doi: 10.1109/TC.2023.3283674. (IEEE TC 2023).
  3. Jiguang Wang, Qi Wang, Yang Meng, Haiyuan Yao, Lunxiang Zhang*, Bo Jiang*, Zaixing Liu, Jiafei Zhao*, Yongchen Song, Flow characteristic and blockage mechanism with hydrate formation in multiphase transmission pipelines: In-situ observation and machine learning predictions, Fuel, Volume 330, 2022, 125669, ISSN 0016-2361, https://doi.org/10.1016/j.fuel.2022.125669. (FUEL 2022).
  4. Xiaoxue Ma, Shangru Wu, Ernest Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, and Wing-Kwong Chan. 2021. RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. ACM Trans. Softw. Eng. Methodol. 30, 1, Article 7 (January 2021), 49 pages. https://doi.org/10.1145/3412377.(TOSEM 2021)
  5. Lei Wang, Ziqi Zhen, Tianyu Wo, Bo Jiang*, Hailong Sun, Xiang Long. "A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis", in IEEE Transactions on Education, 2020. Early access: https://ieeexplore.ieee.org/document/9027831. (IEEE TE 2020).
  6. Bo Jiang, Yaoyue Zhang, W.K. Chan, and Zhenyu Zhang. "A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications", in IEEE Transactions on Reliability, 2019 (TR 2019).
  7. Guanping Xiao, Zheng Zheng, Bo Jiang, and Yulei Sui. " an empirical study of regression bug chains in linux", in IEEE Transactions on Reliability, 2019 (TR 2019).
  8. Jialin Yang, Bo Jiang, W.K. Chan. "HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection", in IEEE Transactions on Reliability, 2018 (TR 2018).
  9. Bo Jiang. "FLANDROID: Energy-Efficient Recommendations of Reliable Context Providers for Android Applications", in IEEE Transactions on Services Computing, 9(5): 745-756,2016 (TSC 2016).
  10. Bo Jiang, Peng Chen, W.K. Chan, and Xinchao Zhang. "To What Extent Is Stress Testing of Android TV Applications Fully Automated in Industrial Environments?", in IEEE Transactions on Reliability, 65(3):1223-1239, 2016 (TR 2016).
  11. Peng Xiao, Yongfeng Yin, Bin Liu, Bo Jiang, and Yashwant K. Malaiya. "Adaptive Testing Based on Moment Estimation", in IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017. doi: 10.1109/TSMC.2017.2761767.
  12. Bo Jiang, and W.K. Chan, "Input-Based Adaptive Randomized Test Case Prioritization: A Local Beam Search Approach", in Journal of Systems and Software (JSS), 105(2015):91-106, 2015 (JSS 2015).
  13. Lijun Mei, W.K. Chan, T.H. Tse, Bo Jiang*, and Ke Zhai, "Preemptive Regression Testing of Workflow-based Web Services", in IEEE Transactions on Services Computing (TSC), 8(5):740-754, 2015 (TSC 2015).
  14. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W.K. Chan, Zhenyu Zhang, and T.H. Tse, "A Subsumption Hierarchy of Test Case Prioritization for Composite Services", in IEEE Transactions on Services Computing (TSC), 8(5):658-673, 2014 (TSC 2015).
  15. Ke Zhai, Bo Jiang*, and W.K. Chan, "Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques and Case Study", in IEEE Transactions on Services Computing (TSC), 7(1): 54-67, 2014 (TSC 2014).
  16. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang*, and W.K. Chan, "Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs", in Journal of Web Services Research, 10(1): 73-102 (2013) (JWSR 2013).
  17. Bo Jiang, Ke Zhai, W.K. Chan, T.H. Tse, and Zhenyu Zhang, "On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization", in Information and Software Technology, 55(5):897-917, 2013. doi: 10.1016/j.infsof.2012.10.001. (IST 2013).
  18. Bo Jiang,Zhenyu Zhang, W.K. Chan, T.H. Tse, and T.Y. Chen, "How well does test case prioritization integrate with statistical fault localization?", Information and Software Technology, 54(7): 739-758, 2012. (IST 2012).
  19. Bo Jiang, T.H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li and W. K. Chan, "Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement", in Software: Practice and Experience, 41:1073-1103, 2011. (SPE 2011).
  20. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, and Xinming Wang, "Fault Localization through Evaluation Sequences", Journal of Systems and Software 83(2): 174-187, 2010. (JSS 2010). doi:10.1016/j.jss.2009.09.041.

Selected Publication: Conference Papers

  1. Mengju Du, Peiyang Li, Lian Song, W.K. Chan, Bo Jiang*. OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. In: David, C., Sun, M. (eds) Theoretical Aspects of Software Engineering. TASE 2023. Lecture Notes in Computer Science, vol 13931. Springer, Cham. https://doi.org/10.1007/978-3-031-35257-7_3. (TASE 2023)
  2. Yicong Shen, Lei Wang, Yuanzhi Liang, Siran Li and Bo Jiang, "Shyper: An embedded hypervisor applying hierarchical resource isolation strategies for mixed-criticality systems," 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Antwerp, Belgium, 2022, pp. 1287-1292, doi: 10.23919/DATE54114.2022.9774664. (DATE 2022)
  3. Baoyue Yan, Xuntao Cheng, Bo Jiang* , Shibin Chen, Canfang Shang, Jianying Wang, Gui Huang, Xinjun Yang, Wei Cao, and Feifei Li. 2021. Revisiting the design of LSM-tree Based OLTP storage engine with persistent memory. Proc. VLDB Endow. 14, 10 (June 2021), 1872–1885. https://doi.org/10.14778/3467861.3467875. (VLDB 2021)
  4. Bo Jiang, Xiaoyan Wang, W.K. Chan, T.H. Tse, Na Li and Yongfeng Yin. "CUDAsmith: A Fuzzer for CUDA Compilers." to appear in Proceedings of the 44nd IEEE International Conference on Computer Software and Applications (COMPSAC 2020), IEEE Computer Society, Los Alamitos, CA (2020). [Paper][Source Code]
  5. Zijie Li, Long Zhang, Bo Jiang and Zhenyu Zhang. Improving Fault Localization by Differentiating Missing Code and other Faults. to appear in? Proceedings of the 44nd IEEE International Conference on Computer Software and Applications?(COMPSAC 2020), IEEE Computer Society, Los Alamitos, CA (2020).
  6. Bo Jiang, Ye Liu, and W.K. Chan, "ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection", in proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France, September 2018. [Acceptance rate: 19.9%, 69 out of 346][Paper][Source Code] [Slides]
  7. Donghong Zhang, Zhenyu Zhang, Bo Jiang, and T.H. Tse, "The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study", in Proceedings of the 42nd IEEE International Conference on Computer Software and Applications (COMPSAC 2018), IEEE Computer Society, Los Alamitos, CA (2018).
  8. Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, and W.K. Chan, "ReTestDroid: Towards Safer Regression Test Selection for Android Application", in Proceedings of the 42nd IEEE International Conference on Computer Software and Applications (COMPSAC 2018), IEEE Computer Society, Los Alamitos, CA (2018).
  9. Bo Li, and Bo Jiang, "Cache Attack on AES for Android Smartphone", in Proceedings of the 2nd International Conference on Cryptography, Security and Privacy (ICCSP 2017), Guiyang, China, Mar. 2017. [Paper][Soure Code]
  10. Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan, "SimplyDroid: Efficient Event Sequence Simplification for Android Application", in proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Urbana-Champaign, Illinois, October 2017. [Acceptance rate: 21%, 65 out of 388][Paper][Slide][Source Code]
  11. B. Jiang, Yaoyue Zhang, Zhenyu Zhang and W.K. Chan, "Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications", in Proceedings of the 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017), IEEE Computer Society, Los Alamitos, CA (2017).[Best Paper Award (1st place)][Paper][Slide][Soure Code]
  12. Chenglong Sun, Zhenyu Zhang, B. Jiang, and W.K. Chan, "Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps", in Proceedings of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS '16), IEEE Computer Society, Los Alamitos, CA (2016).
  13. B. Jiang, W.K. Chan, and T.H. Tse, "PORA: proportion-oriented randomized algorithm for test case prioritization", in Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS '15), IEEE Computer Society, Los Alamitos, CA (2015).
  14. Bo Jiang and W.K. Chan, "Bypassing code coverage approximation limitations via effective input-based randomized test case prioritization", in Proceedings of the 37th Annual International Computer Software and Applications Conference (COMPSAC 2013), IEEE Computer Society, Los Alamitos, CA (2013).
  15. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang*, and W.K. Chan, "Prioritizing structurally complex test pairs for validating WS-BPEL evolutions", in Proceedings of the IEEE International Conference on Web Services (ICWS 2013), IEEE Computer Society, Los Alamitos, CA (2013).
  16. Yang Yang, Xiang Long, Bo Jiang, "An Efficient Grouped Virtual Mapreduce Cluster", to appear in proceedings of 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013),Barcelona, Spain, March 25-28, 2013.
  17. Lijun Mei, Ke Zhai, Bo Jiang, W.K. Chan, and T.H. Tse, "Preemptive regression test scheduling strategies: a new testing approach to thriving on the volatile service environments", in Proceedings of the 36th Annual International Computer Software and Applications Conference (COMPSAC 2012), IEEE Computer Society, Washington, DC, USA, 72-81.
  18. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, "Precise Propagation of Fault-Failure Correlations in Program Flow Graphs", in proceedings of The 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2011), Munich, Germany, July 18-22, 2011.
  19. Bo Jiang, W. K. Chan, T. H. Tse, "On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization", in proceedings of The 11th International Conference on Quality Software (QSIC 2011), Madrid, Spain, July 13-14, 2011.[Best Paper Award]
  20. Bo Jiang, W. K. Chan, "On the Integration of Test Adequacy, Test Case Prioritization and Statistical Fault Localization", in proceedings of the First International Workshop on Program Debugging in China (IWPDC 2010) (IWPDC 2010), Zhangjiajie, China, July 14-15, 2010.
  21. 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", in Proceedings of the IEEE International Conference on Web Services (ICWS 2010), IEEE Computer Society Press, Los Alamitos (2010). Acceptance rate: 17.6%. [Acceptance rate: 17.6%]
  22. Bo Jiang, T.H.Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao and Xiang Li, "Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software", in proceedings of the The 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 14-15, 2010. [Acceptance rate: 16.5%, 20 out of 121]
  23. Bo Jiang, Zhenyu Zhang, W. K. Chan and T. H. Tse, "Adaptive Random Test Case Prioritization", In proceedings of the 24rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, November 2009. [Acceptance rate: 17.1%, 38 out of 222] [pdf] [slides]
  24. Bo Jiang, Zhenyu Zhang, T.H. Tse and T. Y. Chen, "How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization", In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle,Washington, July 20 - July 24, 2009. [Acceptance rate: 20%] [Best Paper Award] [pdf] [slides]
  25. Bo Jiang, W.K. Chan, Zhenyu Zhang and T.H. Tse, "Where to adapt dynamic service compositions", in Poster Track, Proceedings of the 18th International Conference on World Wide Web (WWW 2009), ACM Press, New York, NY,2009. [Acceptance rate: 20%] [pdf] [Poster]
  26. Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang, and Xinming Wang, "Capturing Propagation of Infected Program States", to appear in The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2009) August 24-28 2009, Amsterdam, The Netherlands. [Acceptance rate: 14.7%, 32 out of 217]
  27. Zhenyu Zhang, Bo Jiang, W.K. Chan and T.H. Tse, "Debugging through Evaluation Sequences: A Controlled Experimental Study", in Proceedings of 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, July 28-August 1, 2008, IEEE Computer Society Press, Los Alamitos, California, 2008. [Acceptance rate: 20%] [Best Paper Award] [pdf]
  28. Bo Jiang, Xiang Long and Xiaopeng Gao, "MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices", in Proceedings of the Second international Workshop on Automation of Software Test (AST 2007), International Conference on Software Engineering. IEEE Computer Society, Washington, D.C., USA, 2007. [pdf]

Grants

  1. National Natural Science Funds of China (Grant No. 61772056), Research on Key Techniques for Android Application Fuzzing, 2018.01-2021.12, PI.
  2. National Natural Science Funds of China (Grant No. 61202077), Research on Testing Techniques Supporting Statistical Fault Localization, 2013-2015, PI.
  3. CCF-Tencent Open Research Fund (Grant No. CCF-TencentAGR20130111), Android Security Analysis based on Symbolic Execution, 2013-2014, PI.
  4. Civil Aviation Special Funds, Replay Debugging of Real-time Concurrent Application, 2013-2016, PI.
  5. Civil Aviation Special Funds, Research on Key Techniques for Civil Aviation Electronic Flight Bags, 2013-2016, co-PI.

PC Member

  1. COMPSAC
  2. QISC & QRS
  3. APSEC
  4. ICWS 2015

Reviewer

  1. ACM Transactions on Software Engineering and Methodology (TOSEM)
  2. IEEE Transactions on Software Engineering (TSE)
  3. IEEE/ACM International Conference on Automated Software Engineering (ASE)
  4. International Workshop on Automation of Software Test (AST)
  5. IEEE International Computer Software and Applications Conference (COMPSAC)
  6. Journal of Systems and Software (JSS)
  7. Information and Software Technology (IST)
  8. IEEE International Conference on Software Maintenance (ICSM)

Courses

  1. Operating System
  2. Operating System Experiment [OS Experiment Guide Book]

Current Collaborators

  1. Prof. T.H. Tse (supervisor)
  2. Prof. W.K. Chan
  3. Prof. Lei Wang
    Valid XHTML    Valid CSS
    Updated to Sep, 2023