LIU Shaoying 劉少英

Researcher Number	90264960
Other IDs
Affiliation (based on the past Project Information) *help	2014 – 2018: 法政大学, 情報科学部, 教授 2006 – 2007: 法政大学, 情報科学部, 教授 2005: 法政大, 情報科学部, 教授 2001 – 2004: Hosei University, Faculty of Computer and Information Sciences, Professor, 情報科学部, 教授 2000: 法政大学, 情報科学部, 助教授 1996 – 1999: 広島市立大学, 情報科学部, 助教授
Review Section/Research Field	Principal Investigator 計算機科学 / Science and Engineering / Software / Software
Keywords	Principal Investigator ソフトウェア検証 / SOFL / ソフトウェアテスト / 厳密なレビュー / 形式的仕様 / Formal specification / 形式仕様 / ソフトウェア工学 / 形式工学手法 / ソフトウェア分析 … More / Formal Specification / 形式的手法 / Software engineering / Formal engineering methods / Specification testing / 仕様テスト / 仕様分析 / 形式的工学手法 / Rigorous Reviews / 形式手法 / ソフトウェアレビュー / テスト / Validation / Verification / 形式的検証 / Formal refinement / Software review / Software reliability / Software verification / Specification-based testing / Software testing / ソフトウェアの信頼性 / 仕様の詳細化 / 仕様に基づくテスト / Software tools / Rigorous review / Formal method / ソフトウェア開発環境 / ソフトウェア進化 / システム開発 / Object-Oriented Design / Software tool / Specification Transformation / Object-oriented Design / To-down design / Workflow / Formal Engineering Methods / Formal methods / Formal verification / Design reviews / Fault tree analysis / Software reviews / テスト支援環境 / ソフトウェア信頼性 / 形式的仕様言語 / 形式的証明 / システム進化 / Formal Verification / Verification Methods / Refinement / Fault Tree Analysis / Test / Formal Semantics / Software Testing / Software Verification / Software Engineering Environments / Formal Methods / 形式意味 / 支援環境 / 形式的意味 / ソフトウェア支援環境 / テストケースの自動生成 / 形式仕様検査 / 形式仕様テスト / 形式仕様検証 / ソフトウェアの形式仕様 / 形式仕様パターン / テストに基づく検証 / アジャイル形式工学手法 / 形式仕様妥当性の検証 / データアニメーション / 形式仕様記述技術 / テストデータの自動生成 / テストと検証 / 情報システム / 情報基礎 / データ項目のGUI表現 / データ項目のアニメーション / アニメーションデータの自動生成 / 形式仕様作成の予測 / 形式仕様作成の監視 / 形式仕様アニメーション / 形式仕様記述手法 / 形式仕様に基づくテスト / モデル検査 / テストに基づく形式検証 / アジャイル開発 / 高信頼ソフトウェア開発 / ソフトウェア品質保証 / 仕様アニメーション / ハイブリッド仕様 / アジャイル開発手法 / ソフトウェア開発 / ソフトウェア工程 / ソフトウェアシステム / 形式的仕様記述技術 / 仕様に基くプログラムレビュー / 形式的仕様の検証 / Data flow logic / Specification Simulation / Consistency / Inspection / Rigorous Review / 形式的仕様のテスト / 一致性と有効性 / オブジェクト指向設計 / ソフトウェア発展 Less

Research on Highly Reliable Agile Formal Engineering MethodsPrincipal Investigator
- Principal Investigator
  
  LIU Shaoying
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Hosei University
Research on Formal Specification-Based Program TestingPrincipal Investigator
- Principal Investigator
  
  LIU Shaoying
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hosei University
形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator
- Principal Investigator
  
  劉少英
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Hosei University
形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator
- Principal Investigator
  
  劉少英
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Hosei University
形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator
- Principal Investigator
  
  劉少英
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Hosei University
Research on rigorous verification techniques formal specification and designPrincipal Investigator
- Principal Investigator
  
  SHAO-YING Liu
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Hosei University
  Hiroshima City University
Formal Engineering Methods for Software DevelopmentPrincipal Investigator
- Principal Investigator
  
  SHAO-YING Liu
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Hosei University
  Hiroshima City University
ソフトウェア開発の形式的な発展手法Principal Investigator
- Principal Investigator
  
  劉少英
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Hiroshima City University
Formal Methods and Intelligent Software Engineering EnvironmentsPrincipal Investigator
- Principal Investigator
  
  LIU Shaoying
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Field
  
  計算機科学
- Research Institution
  Hiroshima City University

All 2019 2018 2017 2016 2015 2014 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

[Book] Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 20182019
- Author(s)
  Zhenhua Duan and Shaoying Liu, Cong Tian, Fumiko Nagoya (eds)
- Total Pages
  197
- Publisher
  Springer
- ISBN
  9783030136505
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Structured Object-Oriented Formal Language and Method; 7th International Workshop, SOFL+MSVL 20172018
- Author(s)
  Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds)
- Total Pages
  219
- Publisher
  LNCS 10795, Springer
- ISBN
  9783319901046
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Formal Methods and Software Engineering, Proceedings of 18th International Conference on Formal Engineering Methods (ICFEM 2016)2016
- Author(s)
  Kazuhiro Ogata, Mark Lawford, and Shaoying Liu
- Publisher
  Springer, LNCS 10009
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Structured Object-Oriented Formal Language and Method, Proceedings of 6th International Workshop, SOFL+MSVL 20162016
- Author(s)
  Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
- Publisher
  Springer, LNCS 10189
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Structured Object-Oriented Formal Language and Method, 5th International Workshop, SOFL+MSVL 20152015
- Author(s)
  Shaoying Liu and Zhenhua Duan
- Publisher
  Springer (LNCS 9559)
- Data Source
  KAKENHI-PROJECT-26240008
[Book] Formal Engineering for Industrial Software Development Using the SOFL Method2004
- Author(s)
  Shaoying Liu
- Total Pages
  408
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-16016279
[Journal Article] Software Construction Monitoring and Predicting for Human-Machine Pair Programming2019
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security
  
  Volume: - Pages: 3-20
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Verification of SysML Activity Diagrams using Hoare Logic and SOFL2019
- Author(s)
  Yufei Yin, Shaoying Liu, Yixiang Chen
- Journal Title
  
  Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security
  
  Volume: - Pages: 71-88
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] DESIGN AND IMPLEMENTATION OF AUTOMATED VISUALIZATION FOR INPUT / OUTPUT FOR PROCESSES IN SOFL FORMAL SPECIFICATIONS2018
- Author(s)
  Yu Chen, Shaoying Liu
- Journal Title
  
  International Journal of Software Engineering & Applications (IJSEA)
  
  Volume: 9(4) Pages: 139-157
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] VALIDATION AND VERIFICATION OF SYSML ACTIVITY DIAGRAMS USING HOARE LOGIC2018
- Author(s)
  Yufei Yin, Shaoying Liu, Yixiang Chen
- Journal Title
  
  International Journal of Software Engineering & Applications (IJSEA)
  
  Volume: 9(4) Pages: 101-117
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications2018
- Author(s)
  Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
- Journal Title
  
  Science China Information Sciences
  
  Volume: 61 Pages: 1-15
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Software Tool to Support the "Vibration" Method2018
- Author(s)
  Pan Zhao, Shaoying Liu
- Journal Title
  
  Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
  
  Volume: - Pages: 171-186
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] TBFV-SE: Testing-Based Formal Verification with Symbolic Execution2018
- Author(s)
  Rong Wang, Shaoying Liu
- Journal Title
  
  proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018)
  
  Volume: - Pages: 59-66
- DOI
  10.1109/qrs.2018.00019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Software Tool to Support Scenario-Based Formal Specification for Error Prevention2018
- Author(s)
  Siyuan Li, Shaoying Liu
- Journal Title
  
  Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
  
  Volume: - Pages: 187-199
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing2018
- Author(s)
  Fumiko Nagoya, Shaoying Liu
- Journal Title
  
  Proccedings of 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
  
  Volume: - Pages: 24-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Automated Visualization of Input / Output for Processes in SOFL Formal Specifications2018
- Author(s)
  Yu Chen, Shaoying Liu
- Journal Title
  
  Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)
  
  Volume: - Pages: 33-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Assessing and Extracting Software Security Vulnerabilities in SOFL Formal Specifications2018
- Author(s)
  Busalire Onesmus Emeka, Shaoying Liu
- Journal Title
  
  Proceedings of 2018 International Conference on Electronics, Information, and Communication (ICEIC 2018)
  
  Volume: - Pages: 1-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Agile Formal Engineering Method for Software Productivity and Reliability2018
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018)
  
  Volume: - Pages: 64-69
- DOI
  10.1145/3290621.3290634
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] TBFV-M: Testing Based Formal Verification for Sysml Activity Diagrams2018
- Author(s)
  Yufei Yin, Shaoying Liu, Yixiang Chen
- Journal Title
  
  Proceedings of The 7th International Conference on Software Engineering and Applications (SEAS 2018)
  
  Volume: - Pages: 49-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Comparative Study of a GUI-Aided Formal Specification Construction Approach2017
- Author(s)
  Fumiko Nagoya, Shaoying Liu
- Journal Title
  
  Proceedings of 2017 International Conference on Computational Science and Its Applications (ICCSA 2017)
  
  Volume: - Pages: 273-283
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications2017
- Author(s)
  Busalire Onesmus Emeka, Shaoying Liu
- Journal Title
  
  Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017)
  
  Volume: - Pages: 176-183
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Applying SOFL to a Railway Interlocking System in Industry2017
- Author(s)
  Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou
- Journal Title
  
  Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer
  
  Volume: LNCS 10189 Pages: 160-177
- DOI
  10.1007/978-3-319-57708-1_10
- ISBN
  9783319577074, 9783319577081
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Semi-Formal Verification with Supporting Tool by Automatic Application of Hoare Logic2017
- Author(s)
  Shingo Fukuoka, Yixiang Chen, Shaoying Liu
- Journal Title
  
  Proceedings of 4th Annual International Conference on Computer Science and Applications (CSA2017)
  
  Volume: - Pages: 1-5
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Case Study of a GUI-Aided Approach to Constructing Formal Specifications2017
- Author(s)
  Fumiko Nagoya, Shaoying Liu
- Journal Title
  
  Proceedings of 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer
  
  Volume: LNCS 10189 Pages: 74-84
- DOI
  10.1007/978-3-319-57708-1_5
- ISBN
  9783319577074, 9783319577081
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification2016
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 10th International Conference on Tests and Proofs (TAP 2016), Springer
  
  Volume: LNCS 9762 Pages: 112-129
- DOI
  10.1007/978-3-319-41135-4_7
- ISBN
  9783319411347, 9783319411354
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] SOFL非形式仕様の図化支援ツール ”(A Software Tool for Visualizing SOFL Informal Specifications)2016
- Author(s)
  鈴木優也、劉少英
- Journal Title
  
  第23回ソフトウエア工学の基礎ワークショップ（FOSE2016）論文集
  
  Volume: なし Pages: 139-144
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Tool Supported Testing Method for Reducing Cost and Improving Quality2016
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016), IEEE Press
  
  Volume: なし Pages: 448-455
- DOI
  10.1109/qrs.2016.56
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Validating Formal Specifications using Testing-Based Specification Animation2016
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 2016 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE’16), ACM Press
  
  Volume: なし Pages: 29-35
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] PowerPoint Add-in Tool Support for Informal and Semi-formal Specification Animation2015
- Author(s)
  Fauziah binti Zainuddin, Shaoying Liu
- Journal Title
  
  22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press
  
  Volume: なし Pages: 24-31
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge2015
- Author(s)
  Weikai Miao, Xi Wang, Shaoying Liu
- Journal Title
  
  Proceedings of 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), IEEE CS Press
  
  Volume: なし Pages: 127-130
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Validating Timed Component Contracts2015
- Author(s)
  Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
- Journal Title
  
  Proceedings of 2015 41st Euromicro Conference on Software Engineering and Advnaced Applications, Conference Publishing Services
  
  Volume: なし Pages: 245-249
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A GUI-Aided Approach to Formal Specification Construction2015
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2015), Springer
  
  Volume: LNCS 9559 Pages: 44-56
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Automatic Transformation from SOFL Module Specifications to Program Structures2015
- Author(s)
  Xiongwen Luo, Shaoying Liu
- Journal Title
  
  Proceedings of 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), Springer
  
  Volume: LNCS 9559 Pages: 206-218
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Automatic Selection of System Functional Scenarios for Formal Specification Animation2015
- Author(s)
  Shaoying Liu
- Journal Title
  
  Proceedings of 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press
  
  Volume: なし Pages: 72-79
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] 形式仕様に基づくテストケースの自動生成支援ツールの開発2015
- Author(s)
  池田逸人, Ye Yan, 劉少英
- Journal Title
  
  第22回ソフトウエア工学の基礎ワークショップ（FOSE2015）論文集
  
  Volume: なし Pages: 59-64
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction2015
- Author(s)
  Shaoying Liu, Xi Wang, Weikai Miao
- Journal Title
  
  Proceedings of 17th International Conference on Formal Engineering Methods (ICFEM 2015), Springer
  
  Volume: LNCS 9407 Pages: 100-115
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Integrating Animation-Based Inspection into Formal Design Specification Construction for Reliable Software Systems2015
- Author(s)
  Mo Li, Shaoying Liu
- Journal Title
  
  IEEE Transactions on Reliability
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Adopting Variable Dependency in Animation for Presenting the Behavior of Process2014
- Author(s)
  Mo Li, Shaoying Liu
- Journal Title
  
  Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer
  
  Volume: なし Pages: 81-93
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications2014
- Author(s)
  Jinghua Zhang, Shaoying Liu
- Journal Title
  
  Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer
  
  Volume: なし Pages: 32-46
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Integrating Animation into Informal Specification Writing for Requirements Analysis2014
- Author(s)
  Shaoying Liu, Fauziah binti Zainuddin, and Mo Li
- Journal Title
  
  Proceedings of 3rd International Conference on Informatics Engineering and Information Science (ICIEIS 2014), SDIWC
  
  Volume: なし Pages: 136-143
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Tool Support for Rigorous Formal Specification Inspection2014
- Author(s)
  Mo Li, Shaoying Liu
- Journal Title
  
  Proceedings of IEEE 17th International Conference on Computational Science and Engineering (CSE 2014), IEEE Press
  
  Volume: なし Pages: 729-734
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] Reviewing Formal Specification for Validation Using Animation and Trace Links2014
- Author(s)
  Mo Li, Shaoying Liu
- Journal Title
  
  Proceedings of 21th Asia-Pacific Software Engineering Conference (APSEC 2014), IEEE Press
  
  Volume: なし Pages: 286-293
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26240008
[Journal Article] A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation2008
- Author(s)
  S. Liu, Y. Chen
- Journal Title
  
  Journal of Systems and Software Vol.81, No.2
  
  Pages: 234-248
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation2008
- Author(s)
  S.Liu and Y.Chen
- Journal Title
  
  Journal of Systems and Software Vol.81,No.2
  
  Pages: 234-248
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Review Approach to Detecting Violations of Consistency between Specification and Program Structures2008
- Author(s)
  Y.Chen, S.Liu, and E.Wong
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol.18,No.8(to appear)
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Review Approach to Detecting Violations of Consistency between Specification and Program Structures2008
- Author(s)
  Y. Chen, S. Liu, E. Wong
- Journal Title
  
  International Journal of Software Engineering and Knowledge Eegineering(IJSEKE) Vol.18, No.8(to appear)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation2007
- Author(s)
  Shaoying Liu, Yuting Chen
- Journal Title
  
  Journal of Systems and Software (To appear)
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] An Automated Approach to Specification Animation for Validation2007
- Author(s)
  Shaoying Liu, Hao Wang
- Journal Title
  
  Journal of Systems and Software (To appear)
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] An Automated Approach to Specification Animation for Validation2007
- Author(s)
  S.Liu and H.Wang
- Journal Title
  
  Journal of Systems and Software Vol.80,No.8
  
  Pages: 1271-1285
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] An Automated Approach to Specification Animation for Validation2007
- Author(s)
  S. Liu, H. Wang
- Journal Title
  
  Journal of Systems and Software Vol.80, No.8
  
  Pages: 1271-1285
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams2006
- Author(s)
  Shaoying Liu, Satoshi Kagiyama
- Journal Title
  
  Proceedings of 2006 Software Engineering and Applications (SEA2006),ACTA Press
  
  Pages: 105-110
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] A Tool-Supported Review Approach to Detecting Structural Consistency Violations2006
- Author(s)
  Yuting Chen, Shaoying Liu, Fumiko Nagoya
- Journal Title
  
  Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICEECS2006), IEEE Computer Society Press
  
  Pages: 121-130
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] Scenario-Preserved Refinement : a Small Proposal for an Important Problem2006
- Author(s)
  Shaoying Liu
- Journal Title
  
  1^st International Workshop on Asian Working Conference on Verified Software (AWCVS06)
  
  Pages: 1-10
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] An Empirical Study on a Specification-Based Program Review Approach2005
- Author(s)
  Fumiko Nagoya, Yuting Chen, Shaoying Liu
- Journal Title
  
  2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), IEEE Computer Society Press
  
  Pages: 199-206
- Data Source
  KAKENHI-PROJECT-18500027
[Journal Article] An Automated Rigorous Review Method for Verifying and Validating Formal Specifications2004
- Author(s)
  Shaoying Liu
- Journal Title
  
  Second International Symposium on Automated Technology for Verification and Analysis LNCS3299
  
  Pages: 15-19
- Data Source
  KAKENHI-PROJECT-16016279
[Journal Article] An Approach to Integration Testing Based on Data Flow Specifications2004
- Author(s)
  Yuting Chen, Shaoying Liu, Fumiko Nagoya
- Journal Title
  
  1st International Colloquium on Theoretical Aspects of Computing September
  
  Pages: 405-419
- Data Source
  KAKENHI-PROJECT-16016279
[Journal Article] A Framework for Developing Dependable Software Systems Using the SOFL Method2004
- Author(s)
  Shaoying Liu
- Journal Title
  
  1st Workshop on Dependable Software February
  
  Pages: 131-140
- Data Source
  KAKENHI-PROJECT-16016279
[Journal Article] An Approach to Detesting Domain Errors Using Formal Specification-based Testing2004
- Author(s)
  Yuting Chen, Shaoying Liu
- Journal Title
  
  11th Asia-Pacific Software Engineering Conference December
  
  Pages: 276-283
- Data Source
  KAKENHI-PROJECT-16016279
[Journal Article] An Investigation of the Approach to Specification-based Program Review through Case Studies2004
- Author(s)
  Fumiko Nagoya, Shaoying Liu, Yuting Chen
- Journal Title
  
  9th IEEE International Conference on Engineering of Complex Computer Systems April
  
  Pages: 249-258
- Data Source
  KAKENHI-PROJECT-16016279
[Presentation] ソースコードからCDFDへの変換によるSOFL仕様記述の支援ツールの提案2018
- Author(s)
  新城汐里、劉少英
- Organizer
  ソフトウェアシンポジウム2018 (ss2018)
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] SOFL形式仕様に基づくC#プログラムのテストツール2018
- Author(s)
  網谷拓海、劉少英
- Organizer
  ソフトウェアシンポジウム2018 (ss2018)
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property2018
- Author(s)
  Haitao Zhang, Guoqiang Li, Li Xiaohong, Zhuo Cheng, Jinyun Xue, Shaoying Liu
- Organizer
  International Conference on Software Engineering ( ICSE 2018 )
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] 形式仕様に基づくテストにおけるテストスクリプト自動生成2017
- Author(s)
  網谷拓海, 劉少英
- Organizer
  情報処理学会第79回全国大会
- Place of Presentation
  名古屋大学（愛知県名古屋市）
- Year and Date
  2017-03-16
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] 形式仕様に基づくテストケースの自動生成とテスト結果の自動評価2017
- Author(s)
  池田逸人，劉　少英
- Organizer
  情報処理学会第79回全国大会
- Place of Presentation
  名古屋大学（愛知県名古屋市）
- Year and Date
  2017-03-16
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation2016
- Author(s)
  Shaoying Liu
- Organizer
  2016 International Symposium on System and Software Reliability
- Place of Presentation
  Shanghai, China
- Year and Date
  2016-10-29
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance2015
- Author(s)
  Shaoying Liu
- Organizer
  2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015)
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2015-08-03
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] Integrating Specification-Based Reiew and Testing for Detecting Errors in Programs2007
- Author(s)
  S. Liu
- Organizer
  Proceedings of 9th International Conference on Formal Engineering Methods(ICFEM 2007), LNCS 4789, Springer-Verlag
- Place of Presentation
  Boca Raton, Florida, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility2007
- Author(s)
  S. Liu
- Organizer
  Proceedings of 10th IEEE High Assurance Systems Engineering Symposium, IEEE Computer Society Press
- Place of Presentation
  Dallas, Texas, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility2007
- Author(s)
  S.Liu
- Organizer
  Proceedings of 10th IEEE High Assurance Systems Engineering Symposium, IEEE Computer Society Press
- Place of Presentation
  Dallas,Texas,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Framework for Practical Specification-Based Testing2007
- Author(s)
  S. Liu
- Organizer
  2007 International Conference on SoftwareEngineering Theory and Practice, ISRST
- Place of Presentation
  Orlando, FL, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Developing an Insulin Pump System Using the SOFL Method2007
- Author(s)
  J.Wang, S.Liu, Y.Qi, D.Hou
- Organizer
  Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press
- Place of Presentation
  Nagoya,Japan
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Applications of Formal Engineering Method for Modeling and Testing2007
- Author(s)
  S.Liu and E.Wong
- Organizer
  Proceedings of 4th International Conference In IT and Application(ICITA2007), Macquarie Scientific Publishing
- Place of Presentation
  Harbin,China
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Framework for Practical Specification-Based Testing2007
- Author(s)
  S.Liu
- Organizer
  2007 International Conference on Software Engineering Theory and Practice, ISRST
- Place of Presentation
  Orlando,FL,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Applications of Formal Engineering Method for Modeling and Testing2007
- Author(s)
  S. Liu, E. Wang
- Organizer
  Proceedings of 4th International Conference In IT and Application(ICITA2007), Macquarie Scientific Publishing
- Place of Presentation
  Harbin, China
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Developing an Insulin Pump System Using the SOFL Method2007
- Author(s)
  J.Wang, S.Liu, Y.Qi, D.Hou
- Organizer
  Proceedings of 14th Asia-Pacific Software Engingeering Conference, IEEE Computer Society Press
- Place of Presentation
  Nagoya,Japan
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Integrating Specification-Based Review and Testing for Detecting Errors in Programs2007
- Author(s)
  S.Liu
- Organizer
  Proceedings of 9th International Conference on Formal Engineering Methods(ICFEM 2007), LNCS 4789, Springer-Verlag
- Place of Presentation
  Boca Raton,Florida,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Developing an Insulin Pump System Using the SOFL Method2007
- Author(s)
  J. Wang, S. Liu, Y. Qi, D. Hou
- Organizer
  Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press
- Place of Presentation
  Nagoya, Japan
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Tool-Supported Review Approach to Detecting Structural Consistency Violations2006
- Author(s)
  Y. Chen, S. Liu, F. Nagoya
- Organizer
  Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems(ICEECS 2006) , IEEE Computer Society Press
- Place of Presentation
  Stanford University, CA, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Tool-Supported Review Approach to Detecting Structural Consistency Violations2006
- Author(s)
  Y.Chen, S.Liu, F.Nagoya
- Organizer
  Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems(ICEECS 2006), IEEE Computer Society Press
- Place of Presentation
  Stanford University,CA,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams2006
- Author(s)
  S.Liu and S.Kagiyama
- Organizer
  Proceedings of 2006 Software Engineering and Applications(SEA2006), ACTA Press
- Place of Presentation
  Dallas,Texas,USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] An Empirical Study on a Specification-Based Program Review Approach2006
- Author(s)
  F.Nagoya, Y.Chen, S.Liu
- Organizer
  2006 International Conference on Dependability of Computer Systems(DepCoS-RELCOMEX2006), IEEE Computer Society Press
- Place of Presentation
  Szklarska Poreba,Poland
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams2006
- Author(s)
  S. Liu, S. Kagiyama
- Organizer
  Proceedings of 2006 Software Engineering and Applications(SEA2006), ACTA Press
- Place of Presentation
  Dallas, Texas, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] An Empirical Study on a Specification-Based Program Review Approach2006
- Author(s)
  F. Nagoya, Y. Chen, S. Liu
- Organizer
  2006 International Conference on Dependability of Computer Systems(DepCoS-RELCOMEX 2006) , IEEE Computer Society Press
- Place of Presentation
  Szklarska Poreba, Poland
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Scenario-Preserved Refinement: a Small Proposal for an Important Problem2006
- Author(s)
  S.Liu
- Organizer
  1st International Workshop on Asian Working Conference on Verified Software(AWCVS06)
- Place of Presentation
  Macau
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] Scenario-Preserved Refinement : a Small Proposal for an Important Problem2006
- Author(s)
  S. Liu
- Organizer
  1st International Workshop on Asian Working Conference on Verified Software(AWCVS06)
- Place of Presentation
  Macau
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500027
[Presentation] 形式仕様に基づくテストケース自動生成
- Author(s)
  池田逸人、劉少英
- Organizer
  情報処理学会第７７回全国大会
- Place of Presentation
  京都大学（京都市）
- Year and Date
  2015-03-17 – 2015-03-19
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] Integration of Specification Animation and SOFL Three-Step Specification Approach for Requirements Engineering
- Author(s)
  Shaoying Liu
- Organizer
  4th Asian Workshop of Advanced Software Engineering (AWASE 2014)
- Place of Presentation
  Beijing　（China）
- Year and Date
  2014-10-11 – 2014-10-12
- Data Source
  KAKENHI-PROJECT-26240008
[Presentation] Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance
- Author(s)
  Shaoying Liu
- Organizer
  19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)
- Place of Presentation
  Tianjin　（China）
- Year and Date
  2014-08-04 – 2014-08-07
- Invited
- Data Source
  KAKENHI-PROJECT-26240008

1. ARAKI Kejiro (40117057)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. ARAI Noriko (40264931)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. OHBA Mitsuru (50264966)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. TAMAI Tetsuo (60217172)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 児玉靖司 (30266910)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 緒方和博 (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
7. FUTATSUGI kokichi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. NAKAJIMA shin

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KUMENO fumihiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. HINCHEY Michael

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HO-STUART Chris

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SUN Yong

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. OFFUTT A Jeff

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. MICHAEL Hinc

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. CHRIS HoーStu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YONG Sun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. A Jeff Offut

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. GLENN Evans

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. JIAN Chen

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

LIU Shaoying 劉 少英

Research Projects

Research Products

Co-Researchers

Research on Highly Reliable Agile Formal Engineering MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Formal Specification-Based Program TestingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

形式的仕様とプログラムの厳密なレビューの自動化についての研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on rigorous verification techniques formal specification and designPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal Engineering Methods for Software DevelopmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェア開発の形式的な発展手法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Formal Methods and Intelligent Software Engineering EnvironmentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 20182019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Structured Object-Oriented Formal Language and Method; 7th International Workshop, SOFL+MSVL 20172018

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Formal Methods and Software Engineering, Proceedings of 18th International Conference on Formal Engineering Methods (ICFEM 2016)2016

Author(s)

Publisher

Data Source

[Book] Structured Object-Oriented Formal Language and Method, Proceedings of 6th International Workshop, SOFL+MSVL 20162016

Author(s)

Publisher

Data Source

[Book] Structured Object-Oriented Formal Language and Method, 5th International Workshop, SOFL+MSVL 20152015

Author(s)

Publisher

LIU Shaoying 劉少英