劉 少英SHAOYING LIU

Last Updated :2024/06/21

所属・職名
大学院先進理工系科学研究科 教授
ホームページ
メールアドレス
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年, 教養教育, 3ターム, Starting Programming from Scratch[1総国]
  2. 2024年, 教養教育, 1ターム, 教養ゼミ
  3. 2024年, 学部専門, 1ターム, インフォマティクスセミナーI
  4. 2024年, 学部専門, 2ターム, インフォマティクスセミナーII
  5. 2024年, 学部専門, セメスター(後期), 卒業論文
  6. 2024年, 修士課程・博士課程前期, 1ターム, 情報科学特別演習A
  7. 2024年, 修士課程・博士課程前期, 2ターム, 情報科学特別演習A
  8. 2024年, 修士課程・博士課程前期, 3ターム, 情報科学特別演習B
  9. 2024年, 修士課程・博士課程前期, 4ターム, 情報科学特別演習B
  10. 2024年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  11. 2024年, 博士課程・博士課程後期, 年度, 情報科学特別研究

研究活動

学術論文(★は代表的な論文)

  1. Real-time Diagnosis of Configuration Errors for Software of AI Server Infrastructure, IEEE Transactions on Dependable and Secure Computing, pp. 1-12, 20230410
  2. 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
  3. ★, 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
  4. ★, 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
  5. ★, Requirements-related fault prevention during the transformation from formal specifications to programs, IET SOFTWARE, 17巻, 3号, pp. 316-332, 20230501
  6. 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
  7. 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
  8. Mining Python Fix Patterns via Analyzing Fine-Grained Source Code Change, Empirical Software Engineering, 27巻, 48号, pp. 1-37, 20220128
  9. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement, IEEE ACCESS, 10巻, pp. 13089-13102, 20220205
  10. ★, 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
  11. A Framework for Modeling and Detecting Security Vulnerabilities in Human-Machine Pair Programming, JOURNAL OF INTERNET TECHNOLOGY, 23巻, 5号, pp. 1129-1138, 2022
  12. Probabilistic mediator: A coalgebraic perspective, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 129巻, 202211
  13. CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0, IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 18巻, 10号, pp. 7186-7195, 202210
  14. DevFemOps: enhancing maintainability based on microservices using formal engineering methods, CONNECTION SCIENCE, 34巻, 1号, pp. 2125-2138, 20221231
  15. TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning, IEEE ACCESS, 10巻, pp. 39674-39680, 2022
  16. Knowledge Graph Construction for SOFL Formal Specifications, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 32巻, 04号, pp. 605-644, 202204
  17. Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction, IEEE TRANSACTIONS ON RELIABILITY, 71巻, 2号, pp. 512-526, 202206
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. Testing Program Segments to Detect Software Faults during Programming, International Journal of Performability Engineering, 11巻, pp. 907-917, 20211115
  24. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinment, IEEE ACCESS, 10巻, pp. 13089-13102, 20220201
  25. Checklist-Based Intelligent Human-Machine Pair Inspection, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 270-274, 202109
  26. A Framework for Automatic Detection of Vulnerabilities in Human-Machine Pair Programming, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 129-136, 202109
  27. Program Segment Testing for Software Fault Prevention, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 191-195, 202109
  28. Testing-based GPU-Memory Consumption Estimation for Deep Learning, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 196-199, 202109
  29. DevFemOps: 形式的工学手法を用いたマイクロサービスに基づく保守性の向上, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 151-156, 202109
  30. Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 143-150, 202109
  31. Combining Attention-based Gated Bidirectional LSTM and ODCN for Software Defect Prediction, ソフトウェアエンジニアリングシンポジウム 2021論文集, pp. 175-180, 202109
  32. 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
  33. 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
  34. 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
  35. ★, 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
  36. 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
  37. ★, 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
  38. ★, SOFL: A Formal Engineering Methodology for Industrial Applications, IEEE Transactions on Software Engineering, 1号, pp. 24-45, 1998
  39. ★, A Rigorous Method for Inspection of Model-Based Formal Specifications, IEEE Transactions on Reliability, 59巻, 4号, pp. 667, 2010
  40. ★, A Formal Approach to Testing Programs in Practice, Journal of Computer Science and Information Systems, 9巻, 4号, pp. 1469-1491, 2012
  41. ★, Formal Specification-Based Inspection for Verification of Programs, IEEE Transactions on Software Engineering, 35巻, 8号, pp. 1100-1122, 2012
  42. ★, A Formal Framework for Service-Based Software Modelling, IEEE Transactions on Services Computing, 6巻, 4号, pp. 536-550, 2013
  43. ★, Computer-aided Formalization of Requirements Based on Patterns, IEICE Transactions on Information and Systems, E97.D巻, 2号, pp. 198-212, 2014
  44. ★, Integrating Animation-Based Inspection into Formal Design Specification Construction for Reliable Software Systems, IEEE Transactions on Reliability, 65巻, 1号, pp. 88-106, 2016
  45. Development of a Web Dictionary System Using SOFL, International Journal on Wireless Personal Communications, 94巻, 2号, pp. 253-266, 2017
  46. Design and Implementation of Automated Visualization for Input / Output for Processes in SOFL Formal Specifications, 9巻, 4号, pp. 139-157, 2018
  47. Validation and Verification of SYSML Activity Diagrams Using Hoare Logic, International Journal of Software Engineering & Applications, 9巻, 4号, pp. 101-117, 2018
  48. autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications, Science China Information Sciences, 61巻, pp. 052102, 2018
  49. Test Oracle Generation Based on BPNN using Values of Variables at Different Breakpoints for Programs, International Journal of Software Engineering and Knowledge Engineering, 2021
  50. OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS, IEEE Transactions on Computer, 2021
  51. ★, Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing, IEEE Transactions on Software Engineering, 202006
  52. BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs, IEEE COMMUNICATIONS MAGAZINE, 58巻, 7号, pp. 35-41, 2020
  53. ★, Rigorous Code Review by Reverse Engineering, Information and Software Technology, 133巻, pp. 106503, 2021
  54. Mutated Specification-based Test Data Generation with Genetic Algorithm, Mathematics, 9巻, 4号, pp. 331, 2021
  55. ★, A three-step hybrid specification approach to error prevention, JOURNAL OF SYSTEMS AND SOFTWARE, 178巻, pp. 110975, 2021
  56. ★, A formal specification animation method for operation validation, JOURNAL OF SYSTEMS AND SOFTWARE, 178巻, pp. 110948, 2021
  57. ★, SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution, IEEE TRANSACTIONS ON RELIABILITY, 70巻, 3号, pp. 1053-1070, 2021
  58. Sparse Trust Data Mining, IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 16巻, pp. 4559-4573, 2021
  59. 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
  60. Modeling and Verifying the CKB Blockchain Consensus Protocol, MATHEMATICS, 9巻, 22号, 202111
  61. Mining Python fix patterns via analyzing fine-grained source code changes, EMPIRICAL SOFTWARE ENGINEERING, 27巻, 2号, 202203
  62. An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement, IEEE ACCESS, 10巻, pp. 13089-13102, 2022

著書等出版物

  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日, 招待, 英語, 大阪
  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, その他
  6. Testing-Based Formal Verification: Promise and Challenges, Shaoying Liu, SES 2022の形式手法ワークショップ, 2022年09月05日, 招待, 日本語, IPSJ, Tokyo
  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
  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
  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
  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
  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年 日本オペレーションズ・リサーチ学会 中国・四国地区 SSOR, 2020年11月21日, 通常, 日本語, 2020年 日本オペレーションズ・リサーチ学会, zoomによるオンライン開催, システム開発に広く用いられる開発モデルは, 要件定義・仕様作成・設計・実装といった工程を踏んでいる. このようなモデルにおいて, ユーザが開発者に要求を伝えそれをプログラマーが実装して いくというやり取りの中で, 認識に誤差が生じ手戻りが発生してしまうことも少なくない.SOFL は, 形式仕様記述により曖昧さの少ない仕様を定義することで厳密な仕様定義と設計を可能にし, そのような手戻りやバグの発生を減らすことができる手法であるが, まだ一般には浸透していない. そこで今回の研究では, このSOFL をこ れまでに使用されたことのない応用領域のシステム開発に適用し, その効果について考察していく.
  21. 振動法を用いたSOFL形式仕様に基づくテストケース自動生成支援ツールの開発, 佐伯賢弥、劉少英, 佐伯賢弥、劉少英, 2020年 日本オペレーションズ・リサーチ学会 中国・四国地区 SSOR, 2020年11月21日, 通常, 日本語, 2020年 日本オペレーションズ・リサーチ学会, zoomによるオンライン開催, ソフトウェア開発におけるテスト工程はソフトウェアの品質を保証するための重要な工程であり,十分なコストと時間をかける必要がある.しかしながら,コスト削減や開発期間の短縮などが求められている中で,効率的にテスト工程行うことが課題となっている.このような課題を解決するためにテストケースを自動的に生成することが有効なアプローチである。本研究では,形式仕様に基づくテストケース自動生成の支援ツールを開発する。使われている形式仕様記述言語はSOFL(Structed Object- oriented Formal Language)[1] である.厳密に仕様が定義されたSOFL 形式仕様に基づいてテストケースを生成することはソフトウェアの品質を保証するために理にかなっている.また,効果的なテストケースを生成するために,振動法と呼ばれる技術がある.  振動法とは,形式仕様において記述された論理式によってプログラムパスの網羅性の高いテストケースを生成する技術できる.我々のツールでは,振動法によるテストケースの自動生成を支援する.
  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

受賞

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

外部資金

競争的資金等の採択状況

  1. 2021年度 国立情報学研究所 公募型共同研究第2回, 振動法テストに基づくプログラムの正しさの自動検証手法 と支援ツールに関する研究, 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月
  2. The 10th International Conference on Dependable Systems and Their Applications, PC member, 2023年08月, 2023年08月
  3. 26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), 2022年03月, 2022年03月
  4. 11th International workshop on SOFL+MSVL for Reliability (SOFL+MSVL 2022) and Security, 2022年10月, 2022年10月
  5. (6) 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Steering Committee Member, 2022年10月, 2022年10月
  6. QRS 2022 Workshop on Fault Prediction, Prevention, Detection, and Reliability Enhancement, 2022年12月, 2022年12月
  7. (4) 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022), PC member, 2022年12月, 2022年12月
  8. 9th International Conference on Dependable Systems and Their Applications (DSA 2022), PC member, 2022年08月, 2022年08月
  9. 実行委員長, 2022年03月, 2022年03月
  10. 15th International Conference on Theoretical Aspects of Software Engineering (TASE 2021), プログラム委員会委員, 2021年08月, 2021年08月
  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