劉 少英SHAOYING LIU

Last Updated :2024/12/03

所属・職名
大学院先進理工系科学研究科　教授
ホームページ
https://home.hiroshima-u.ac.jp/sliu/
メールアドレス
sliuhiroshima-u.ac.jp
自己紹介
中国の西安出身。1982年1月西安交通大学卒業、1984年7月同大学から修士、1992年10月イギリス・マンチェスター大学Ph.Dを獲得。1982年2月から1988年12月まで、西安交通大学助教と講師、1991年5月から1994年3月まで、イギリス・ヨーク大学、ロンドン大学で研究助手、1994年4月から200年3月まで、広島市立大学・助教授、2000年4月から2020年3月まで法政大学教授、2020年4月現在、広島大学大学院先進理工系科学研究科教授。研究分野は、ソフトウェア工学と形式手法です。具体的な研究課題と方向は、形式工学手法、アジャイルSOFL開発手法、形式仕様記述技術、テストに基づく自動形式検証技術、プログラムの厳密なインスペクション技術、ヒューマン・マシンプアプログラミング技術、および知的ソフトウェア工学環境です。IEEE Fellow, BCS Fellow, AAIA Fellow, IPSJおよびIEICEのメンバー。

基本情報

主な職歴

  • 2017年08月01日, 2020年07月31日, 北京交通大学, コンピュータ科学科, 客員教授
  • 2008年09月01日, 2011年08月31日, 西安交通大学, ソフトウェア学院, 客員教授
  • 2003年08月01日, 2006年07月31日, 上海大学, コンピュータ科学科, 客員教授
  • 2003年08月01日, 2006年07月31日, 上海交通大学, ソフトウェア学院, 客員教授
  • 2005年04月01日, 2006年03月31日, ヨーク大学（UK), コンピュータ科学科, 客員教授
  • 1998年12月01日, 1999年02月28日, オクスフォード大学, コンピュータ科学科, 客員教授
  • 1994年12月01日, 1995年02月28日, ベルファスト・クイーンズ大学（Northern Ireland, UK)), コンピュータ科学科, 特別研究員
  • 2020年04月01日, 広島大学, 先進理工系科学研究科・情報科学部, 教授
  • 2001年04月01日, 2020年03月31日, 法政大学, 情報科学部コンピュータ科学科, 教授
  • 2000年04月01日, 2001年03月31日, 法政大学, 情報科学部コンピュータ科学科, 准教授
  • 1994年04月01日, 2000年03月31日, 広島市立大学, コンピュータ科学科, 助教授
  • 1993年05月21日, 1994年03月01日, RHBNC, ロンドン大学 (UK), コンピュータ科学科, 研究助手
  • 1991年02月01日, 1993年05月20日, ヨーク大学（英国）, コンピュータ科学科, 研究助手
  • 1987年10月01日, 1989年01月01日, 西安交通大学, コンピュータ科学科, 講師
  • 1982年02月01日, 1987年09月01日, 西安交通大学, コンピュータ科学科, 助教

学歴

  • マンチェスター大学, 大学院コンピュータ科学研究科, 博士課程後期形式手法専攻, イギリス, 1989年01月, 1992年10月
  • 西安交通大学, 大学院ｺﾝﾋﾟｭｰﾀ科学と工程研究科, 博士課程前期ソフトウェア工学専攻, 中国, 1984年09月, 1987年04月
  • 西安交通大学, 電子工学部, コンピュータソフトウェア科学, 中国, 1978年02月, 1982年01月

学位

  • 修士（コンピュータ科学）　(西安交通大学)
  • 博士（コンピュータ科学）　(マンチェスター大学)

担当主専攻プログラム

  • 数理情報科学プログラム

研究分野

  • 情報学 / 計算基盤 / ソフトウェア

研究キーワード

  • ソフトウェア工学、形式手法、形式仕様記述技術、ソフトウェアテスト、ソフトウェア形式検証、知的ソフトウェア工学環境

所属学会

教育活動

授業担当

  1. 2024年, 教養教育, ３ターム, Starting Programming from Scratch[1総国]
  2. 2024年, 教養教育, １ターム, 教養ゼミ
  3. 2024年, 学部専門, １ターム, インフォマティクスセミナーI
  4. 2024年, 学部専門, ２ターム, インフォマティクスセミナーII
  5. 2024年, 学部専門, セメスター（後期）, 卒業論文
  6. 2024年, 修士課程・博士課程前期, １ターム, 情報科学特別演習A
  7. 2024年, 修士課程・博士課程前期, ２ターム, 情報科学特別演習A
  8. 2024年, 修士課程・博士課程前期, ３ターム, 情報科学特別演習B
  9. 2024年, 修士課程・博士課程前期, ４ターム, 情報科学特別演習B
  10. 2024年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  11. 2024年, 博士課程・博士課程後期, 年度, 情報科学特別研究

研究活動

学術論文（★は代表的な論文）

  1. ★, Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis, ICECCS 2023, pp. 152-156, 20230614
  2. A Framework of Formal Specification-Based Data Generation for Deep Neural Networks, ICSCA '23: Proceedings of the 2023 12th International Conference on Software and Computer Applications, 20230201
  3. Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters, IEEE Transactions on Software Engineering, 49巻, 10号, pp. 4624-4638, 20231001
    DOIを用いた論文検索結果へのリンク
  4. ★, Towards Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 20240105
    DOIを用いた論文検索結果へのリンク
  5. ID-SR: Privacy-preserving Social Recommendation based on Infinite Divisibility for Trustworthy AI, ACM Transactions on Knowledge Discovery from Data, 20240102
    DOIを用いた論文検索結果へのリンク
  6. ★, Detecting security vulnerabilities with vulnerability nets, Journal of Systems and Software, 208巻, 111902号, 20240201
    DOIを用いた論文検索結果へのリンク
  7. The Threat of Adversarial Attack on a COVID-19 CT Image-Based Deep Learning System, Bioengineering (Basel), 10巻, 2号, pp. 194, 20230201
  8. Real-time Diagnosis of Configuration Errors for Software of AI Server Infrastructure, IEEE Transactions on Dependable and Secure Computing, pp. 1-12, 20230410
    DOIを用いた論文検索結果へのリンク
  9. ASQ-FastBM3D: An Adaptive Denoising Frameowrk for Defending Adversarial Attacks in Machine Learning Enabled Systems, IEEE Transactions on Reliability, 72巻, 1号, pp. 317-328, 20230301
    DOIを用いた論文検索結果へのリンク
  10. ★, A Practical Model-Driven Approach for Designing Security Aware RESTful Web APIs using SOFL, IEICE Transactions on Information and Systems, E106.D巻, 5号, pp. 986-1000, 20230501
    DOIを用いた論文検索結果へのリンク
  11. NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 34巻, 02号, pp. 273-300, 202402
    DOIを用いた論文検索結果へのリンク
  12. ★, Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 33巻, 07号, pp. 1095-1117, 20230701
    DOIを用いた論文検索結果へのリンク
  13. ★, Requirements-related fault prevention during the transformation from formal specifications to programs, IET SOFTWARE, 17巻, 3号, pp. 316-332, 20230501
    DOIを用いた論文検索結果へのリンク
  14. Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming, 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), pp. 359-367, 20221205
  15. A systematic method for identifying safety-related faults in formal specifications using FTA, The 13th International Conference on Reliability, Maintainability, and Safety (ICRMS 2022), pp. 87-92, 20220821
  16. Mining Python Fix Patterns via Analyzing Fine-Grained Source Code Change, Empirical Software Engineering, 27巻, 48号, pp. 1-37, 20220128
  17. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement, IEEE ACCESS, 10巻, pp. 13089-13102, 20220205
  18. ★, Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Specifications for Conformance Testing, IEEE Transactions on Software Engineering, 48巻, 2号, pp. 691-712, 20220201
  19. A Framework for Modeling and Detecting Security Vulnerabilities in Human-Machine Pair Programming, JOURNAL OF INTERNET TECHNOLOGY, 23巻, 5号, pp. 1129-1138, 2022
    DOIを用いた論文検索結果へのリンク
  20. Probabilistic mediator: A coalgebraic perspective, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 129巻, 202211
    DOIを用いた論文検索結果へのリンク
  21. CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0, IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 18巻, 10号, pp. 7186-7195, 202210
    DOIを用いた論文検索結果へのリンク
  22. DevFemOps: enhancing maintainability based on microservices using formal engineering methods, CONNECTION SCIENCE, 34巻, 1号, pp. 2125-2138, 20221231
    DOIを用いた論文検索結果へのリンク
  23. TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning, IEEE ACCESS, 10巻, pp. 39674-39680, 2022
    DOIを用いた論文検索結果へのリンク
  24. Knowledge Graph Construction for SOFL Formal Specifications, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 32巻, 04号, pp. 605-644, 202204
    DOIを用いた論文検索結果へのリンク
  25. Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction, IEEE TRANSACTIONS ON RELIABILITY, 71巻, 2号, pp. 512-526, 202206
    DOIを用いた論文検索結果へのリンク

  26. SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles

    , JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 164巻, pp. 1-11, 202206
    DOIを用いた論文検索結果へのリンク
  27. Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection, IEEE International Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement (FPDRE), QRS 2021 Companion, 20211204
  28. A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis, The 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021), pp. 149-156, 20211204
  29. EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction, The 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021), pp. 482-492, 20211204
  30. Multilevel Traceability Links Establishment Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures, The 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021), pp. 852-863, 20211204
  31. Testing Program Segments to Detect Software Faults during Programming, International Journal of Performability Engineering, 11巻, pp. 907-917, 20211115
  32. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinment, IEEE ACCESS, 10巻, pp. 13089-13102, 20220201
  33. Checklist-Based Intelligent Human-Machine Pair Inspection, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 270-274, 202109
  34. A Framework for Automatic Detection of Vulnerabilities in Human-Machine Pair Programming, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 129-136, 202109
  35. Program Segment Testing for Software Fault Prevention, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 191-195, 202109
  36. Testing-based GPU-Memory Consumption Estimation for Deep Learning, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 196-199, 202109
  37. DevFemOps: 形式的工学手法を用いたマイクロサービスに基づく保守性の向上, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 151-156, 202109
  38. Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 143-150, 202109
  39. Combining Attention-based Gated Bidirectional LSTM and ODCN for Software Defect Prediction, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 175-180, 202109
  40. Defending Use-After-Free via Relationship Between Memory and Pointer, Proceedings of International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2020), pp. 583-597, 202101
  41. A Formal Approach to Secure Design of RESTful web APIs using SOFL, proceedings of the 10th International Workshop on SOFL+MSVL for Reliability and Security (SOFL+MSVL 2020), pp. 105-125, 2021
  42. SMT-Based Theorem Verification for Testing-Based Formal Verification, Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021), pp. 251-257, 2021
  43. ★, Range Partition Testing: Principle and Technique, Proceedings of 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 104-107, 2020
  44. A Fault Localization Approach Derived from Testing-Based Formal Verification, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, pp. 165-170, 2021
  45. ★, A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability, International Journal of Software Engineering and Knowledge Engineering, 21巻, 2号, pp. 259, 2011
  46. ★, SOFL: A Formal Engineering Methodology for Industrial Applications, IEEE Transactions on Software Engineering, 1号, pp. 24-45, 1998
  47. ★, A Rigorous Method for Inspection of Model-Based Formal Specifications, IEEE Transactions on Reliability, 59巻, 4号, pp. 667, 2010
  48. ★, A Formal Approach to Testing Programs in Practice, Journal of Computer Science and Information Systems, 9巻, 4号, pp. 1469-1491, 2012
  49. ★, Formal Specification-Based Inspection for Verification of Programs, IEEE Transactions on Software Engineering, 35巻, 8号, pp. 1100-1122, 2012
  50. ★, A Formal Framework for Service-Based Software Modelling, IEEE Transactions on Services Computing, 6巻, 4号, pp. 536-550, 2013
  51. ★, Computer-aided Formalization of Requirements Based on Patterns, IEICE Transactions on Information and Systems, E97.D巻, 2号, pp. 198-212, 2014
  52. ★, Integrating Animation-Based Inspection into Formal Design Specification Construction for Reliable Software Systems, IEEE Transactions on Reliability, 65巻, 1号, pp. 88-106, 2016
  53. Development of a Web Dictionary System Using SOFL, International Journal on Wireless Personal Communications, 94巻, 2号, pp. 253-266, 2017
  54. Design and Implementation of Automated Visualization for Input / Output for Processes in SOFL Formal Specifications, 9巻, 4号, pp. 139-157, 2018
  55. Validation and Verification of SYSML Activity Diagrams Using Hoare Logic, International Journal of Software Engineering & Applications, 9巻, 4号, pp. 101-117, 2018
  56. autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications, Science China Information Sciences, 61巻, pp. 052102, 2018
  57. Test Oracle Generation Based on BPNN using Values of Variables at Different Breakpoints for Programs, International Journal of Software Engineering and Knowledge Engineering, 2021
  58. OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS, IEEE Transactions on Computer, 2021
  59. ★, Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing, IEEE Transactions on Software Engineering, 202006
    DOIを用いた論文検索結果へのリンク
  60. BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs, IEEE COMMUNICATIONS MAGAZINE, 58巻, 7号, pp. 35-41, 2020
    DOIを用いた論文検索結果へのリンク
  61. ★, Rigorous Code Review by Reverse Engineering, Information and Software Technology, 133巻, pp. 106503, 2021
    DOIを用いた論文検索結果へのリンク
  62. Mutated Specification-based Test Data Generation with Genetic Algorithm, Mathematics, 9巻, 4号, pp. 331, 2021
  63. ★, A three-step hybrid specification approach to error prevention, JOURNAL OF SYSTEMS AND SOFTWARE, 178巻, pp. 110975, 2021
    DOIを用いた論文検索結果へのリンク
  64. ★, A formal specification animation method for operation validation, JOURNAL OF SYSTEMS AND SOFTWARE, 178巻, pp. 110948, 2021
    DOIを用いた論文検索結果へのリンク
  65. ★, SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution, IEEE TRANSACTIONS ON RELIABILITY, 70巻, 3号, pp. 1053-1070, 2021
    DOIを用いた論文検索結果へのリンク
  66. Sparse Trust Data Mining, IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 16巻, pp. 4559-4573, 2021
    DOIを用いた論文検索結果へのリンク
  67. Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 31巻, 10号, pp. 1469-1494, 202110
    DOIを用いた論文検索結果へのリンク
  68. Modeling and Verifying the CKB Blockchain Consensus Protocol, MATHEMATICS, 9巻, 22号, 202111
    DOIを用いた論文検索結果へのリンク
  69. Mining Python fix patterns via analyzing fine-grained source code changes, EMPIRICAL SOFTWARE ENGINEERING, 27巻, 2号, 202203
    DOIを用いた論文検索結果へのリンク
  70. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement, IEEE ACCESS, 10巻, pp. 13089-13102, 2022
    DOIを用いた論文検索結果へのリンク

著書等出版物

  1. 2022年10月24日, Structured Object-Oriented Formal Language and Method, 11th International Workshop, SOFL-MSVL 2022, LNCS 13854. Revised selected papers., Formal engineering method, SOFL, MSVL, Formal methods, Springer, 2022年, 10, 単行本（学術書）, 共著, 英語, Shaoying Liu, Zhenhua Duan, Ai Liu, ISBN-10: 3031294750, ISBN-13: 978-3031294754, 163, 163
  2. 2021年, Structured Object-Oriented Formal Language and Method, The Structured Object-Oriented Formal Language (SOFL) has been developed to address the challenge of how to transform formal methods principles and techniques into practice by providing a comprehensible specification language, a practical mod-eling method, various verification and validation techniques, and tool support through effective integration of formal methods with conventional software engineer-ing techniques. SOFL integrates Data Flow Diagram, Petri Nets, and VDM-SL to offer a visualized and formal notation for specification construction; a three-step ap-proach to requirements acquisition and system design; specification-based inspection and testing methods for detecting errors in both specifications and programs, and a set of tools to support modeling and verification. The Modeling, Simulation and Veri-fication Language (MSVL) is a parallel programming language. Its supporting toolkit MSV has been developed to enable us to model, simulate and verify a system in a formal manner. Following the success of previous SOFL+MSVL workshops, this workshop aims to continuously promote the development and combinations of the SOFL formal engineering method and the formal method MSVL, as well as the appli-cations of their fundamental principles and specific techniques to developing other formal engineering techniques. The workshop attracted 24 submissions on formal modeling, formal verification, model checking, metamorphic testing, natural language processing, and geometric modeling. Each submission is rigorously reviewed by two or more PC members on the basis of technical quality, relevance, significance, and clarity, and 13 papers were accepted for publication in the workshop proceedings. The acceptance rate is 54%., Springer, 2021年, 2021, 単行本（学術書）, 共著, English, Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, ISBN 978-3-030-77473-8, 204, 204

招待講演、口頭・ポスター発表等

  1. Formal Engineering Methods: Bridging Formal Methods and Software Engineering, Shaoying Liu, The 5th World Symposium on Software Engineering (WSSE 2023), 2023年09月22日, 招待, 英語, Tokyo
  2. Formal Engineering Methods: Bridging Formal Methods and Software Engineering, Shaoying Liu, Tokyo IEEE Chapter, 2023年06月23日, 招待, 日本語, IEEE Japan Council, Tokyo
  3. Agile Formal Engineering Method for High Productivity and Reliability, Shaoying Liu, The 13th International Conference on Software Technology and Engineering (ICSTE 2023), 2023年10月27日, 招待, 英語, 大阪
    Related URL
  4. Specification-Based Fault Prevention and Detection for Software Quality Assurance, Shaoying Liu, 2022 10th International Conference on Information and Education Technology (ICIET 2022), 2022年04月09日, 招待, 英語, ICIET Steering Committee, Matsue City
  5. Agile Formal Engineering Methods for High Productivity and Reliability, Shaoying Liu, 2022 8th International Conference on Computer Technology Applications (ICCTA 2022), 2022年05月17日, 招待, 英語, ACM, Vienna, Austria, その他
    Related URL
  6. Testing-Based Formal Verification: Promise and Challenges, Shaoying Liu, SES 2022の形式手法ワークショップ, 2022年09月05日, 招待, 日本語, IPSJ, Tokyo
    Related URL
  7. Software Fault Prevention and Verification for Human-Machine Pair Programming, 劉少英, The 29th Workshop on Foundation of Software Engineering (FOSE 2022), 2022年11月10日, 招待, 英語, Japan Society for Software Science and Technology, Matsue City, Shimane
    Related URL
  8. The Role of Mathematics in Software Engineering, Shaoying Liu, CFMAI 2022: 2022 International Conference on Frontiers of Mathematics and Artificial Intelligence, 2022年12月02日, 招待, 英語, Southwest Jiaotong University, Beijing, China
    Related URL
  9. A Systematic Method for Identifying Safety-Related Faults in Formal Specifications using FTA, Wen Jiang, Shaoying Liu, Ai Liu, IEICE信頼性研究会, 2021年10月22日, 通常, 英語, IEICE 信頼性研究会, online
    Related URL
  10. Adversarial Attack against COVID-19 CT Images Deep Learning System, Yang Li, Ai Liu, Shaoying Liu, IEICE信頼性研究会, 2021年10月22日, 通常, 英語, online
  11. Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction, Shaoying Liu, 2022 The 2nd IEEE International Conference on Information Communication and Software Engineering (ICICSE 2022), 2022年03月18日, 招待, 英語, IEEE, Chongqing, China
    Related URL
  12. DevFemOps: Enhancing Maintainability based on Microservices using Formal Engineering Methods, D206171, Tetsuo Fukuzaki, Shaoying Liu, IEEE International Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement (FPDRE) at QRS 2021, 2021年12月08日, 通常, 英語, IEEE International Conference QRS 2021, Hainan, China
  13. TBEM: Testing-based GPU-Memory Consumption Estimation for Deep Learning, Haiyi Liu, Shaoying Liu, Ai Liu, Chenglong Wen, IEEE International Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement (FPDRE) at QRS 2021, 2021年12月08日, 通常, 英語, IEEE International Conference QRS 2021, Hainan, China
  14. A Framework for Modeling and Detecting Security Vulnerabilities in Human-Machine Pair Programming, Pingyan Wang, Pingyan Wang, Shaoying Liu, Ai Liu, IEEE International Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement (FPDRE) at QRS 2021, 2021年12月08日, 通常, 英語, IEEE International Conference QRS 2021, Hainan, China
  15. ソフトウェア品質保証とコスト削減のためのテストに基づく形式検証, 劉少英, ソフトウェアエンジニアリングシンポジウム 2021, 2021年09月08日, 招待, 日本語, 情報処理学会, Zoomオンライン
  16. Human-Machine Pair Programming for Future Software Engineering, 劉少英, ソフトウェアシンポジウム 2021（SS 2021）, 2021年06月02日, 招待, 日本語, ソフトウェア技術者協会, 大分
  17. 振動法を用いたSOFL形式仕様に基づくテストケース自動生成支援ツールの開発, 佐伯 賢弥, 佐伯 賢弥, 劉少英, 第207回情報処理学会ソフトウェア工学研究会, 2021年03月01日, 通常, 日本語, 情報処理学会, Zoomオンライン
  18. 仕様記述言語SOFLを用いたガラス検索システムの開発と考察, 木下綾乃, 木下綾乃, 劉少英, 第207回情報処理学会ソフトウェア工学研究会, 2021年03月01日, 通常, 日本語, 情報処理学会, Zoomオンライン
  19. 2021年03月01日, 通常, 英語
  20. 仕様記述言語SOFLを用いたシステム開発手法, 木下綾乃、劉少英, 木下綾乃,　劉少英, 2020年 日本オペレーションズ・リサーチ学会 中国・四国地区 ＳＳＯＲ, 2020年11月21日, 通常, 日本語, 2020年 日本オペレーションズ・リサーチ学会, zoomによるオンライン開催, システム開発に広く用いられる開発モデルは, 要件定義・仕様作成・設計・実装といった工程を踏んでいる. このようなモデルにおいて, ユーザが開発者に要求を伝えそれをプログラマーが実装して いくというやり取りの中で, 認識に誤差が生じ手戻りが発生してしまうことも少なくない.SOFL は, 形式仕様記述により曖昧さの少ない仕様を定義することで厳密な仕様定義と設計を可能にし, そのような手戻りやバグの発生を減らすことができる手法であるが, まだ一般には浸透していない. そこで今回の研究では, このSOFL をこ れまでに使用されたことのない応用領域のシステム開発に適用し, その効果について考察していく.
    Related URL
  21. 振動法を用いたSOFL形式仕様に基づくテストケース自動生成支援ツールの開発, 佐伯賢弥、劉少英, 佐伯賢弥、劉少英, 2020年 日本オペレーションズ・リサーチ学会 中国・四国地区 ＳＳＯＲ, 2020年11月21日, 通常, 日本語, 2020年 日本オペレーションズ・リサーチ学会, zoomによるオンライン開催, ソフトウェア開発におけるテスト工程はソフトウェアの品質を保証するための重要な工程であり，十分なコストと時間をかける必要がある．しかしながら，コスト削減や開発期間の短縮などが求められている中で，効率的にテスト工程行うことが課題となっている．このような課題を解決するためにテストケースを自動的に生成することが有効なアプローチである。本研究では，形式仕様に基づくテストケース自動生成の支援ツールを開発する。使われている形式仕様記述言語はSOFL(Structed Object- oriented Formal Language)[1] である．厳密に仕様が定義されたSOFL 形式仕様に基づいてテストケースを生成することはソフトウェアの品質を保証するために理にかなっている．また，効果的なテストケースを生成するために，振動法と呼ばれる技術がある. 　振動法とは，形式仕様において記述された論理式によってプログラムパスの網羅性の高いテストケースを生成する技術できる．我々のツールでは，振動法によるテストケースの自動生成を支援する．
    Related URL
  22. 2021年02月23日, 通常, 英語
  23. Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction, Shaoying Liu, OR学会「信頼性とその応用」研究部会第6回研究会, 2020年07月11日, 招待, 英語, OR学会「信頼性とその応用」研究部会, Zoomでオンライン開催
  24. 2020年12月17日, 招待, 英語
  25. Human-Machine Pair Programming: An Intelligent and Automated Approach for Software Productivity and Reliability, Shaoying Liu, International Symposium on System and Software (ISSSR 2020), 2020年10月24日, 招待, 英語, ISSSR Steering Committee, Chengdu, China
  26. 2021年03月04日, 通常, 英語
  27. 2020年12月11日, 通常, 英語, 発表資料, Paper
    Attached File's URL

受賞

  1. 2020年, 2020年SIGSE卓越研究賞, 情報処理学会SIGSE, Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Specifications for Conformance Testing
    Related URL

外部資金

競争的資金等の採択状況

  1. ２０２１年度 国立情報学研究所 公募型共同研究第２回, 振動法テストに基づくプログラムの正しさの自動検証手法 と支援ツールに関する研究, 2021年06月, 2022年03月

社会活動

委員会等委員歴

  1. 博士後期課程学生アドバイザリ委員, 2021年07月, 2024年03月, 九州大学大学院システム情報科学府
  2. 博士後期課程学生アドバイザリ委員会委員, 2020年04月, 2023年09月, 九州大学大学院システム情報科学府

学術会議等の主催

  1. The 24th International Conference on Formal Engineering Methods, Steering Committee member, 2023年11月, 2023年11月
    関連URL
  2. The 10th International Conference on Dependable Systems and Their Applications, PC member, 2023年08月, 2023年08月
    関連URL
  3. 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), 2022年03月, 2022年03月
    関連URL
  4. 11th International workshop on SOFL+MSVL for Reliability (SOFL+MSVL 2022) and Security, 2022年10月, 2022年10月
    関連URL
  5. (6) 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Steering Committee Member, 2022年10月, 2022年10月
    関連URL
  6. QRS 2022 Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement, 2022年12月, 2022年12月
    関連URL
  7. (4) 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022), PC member, 2022年12月, 2022年12月
    関連URL
  8. 9th International Conference on Dependable Systems and Their Applications (DSA 2022), PC member, 2022年08月, 2022年08月
    関連URL
  9. 実行委員長, 2022年03月, 2022年03月
  10. 15th International Conference on Theoretical Aspects of Software Engineering (TASE 2021), プログラム委員会委員, 2021年08月, 2021年08月
    関連URL
  11. The 22nd International Conference on Formal Engineering Methods, Steering Committee Member, 2020年01月, 2021年03月
  12. QRS 2021, 2021年12月, 2021年12月
  13. The 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), 2022年03月, 2022年03月
  14. QRS 2021 Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement (FPDRE), 2021年12月, 2021年12月
  15. The 7th International Symposium on System and Software Reliability (ISSSR 2021), 2021年09月, 2021年09月
  16. 2021年03月, 2021年03月
  17. 2012年06月
  18. 2019年12月, 2022年03月

学術雑誌論文査読歴

  1. 2021年, IEEE Transactions on Software Engineering, その他, 審査員, 1
  2. 2020年, The Computer Journal, その他, 審査員, 1
  3. 2021年, Innovation of Systems and Software Engineering, 編集員
  4. 2021年, IEEE Transactions on Reliability, 編集員
  5. 2020年, その他
  6. 2020年, その他
  7. 2020年, 編集員
  8. 2020年, 編集員
  9. 2020年, その他, 3