劉少英

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://cis.k.hosei.ac.jp/~sliu/

Research field (1)： Information theory

Research keywords (16)： Formal Engineering Methods , テストの自動化 , ソフトウェア検証 , ソフトウェアレビュー , 形式工学手法 , Automatic Program Generation , Automatic Testing , Software Verification , Software Review , ソフトウェアテスト , Software Testing , Software Engineering , 自動プログラム変換 , Formal Methods , 形式手法 , ソフトウェア工学

Papers (120)：

Shaoying Liu. Software Construction Monitoring and Predicting for Human-Machine Pair Programming. Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security, LNCS, Springer. 2018
Shaoying Liu. Agile Formal Engineering Method for Software Productivity and Reliability. ”, 2018 Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018). 2018
Yufei Yin, Shaoying Liu. VALIDATION AND VERIFICATION OF SYSML ACTIVITY DIAGRAMS USING HOARE LOGIC. International Journal of Software Engineering & Applications (IJSEA). 2018. 9. 4. 101-117
Yu Chen, Shaoying Liu. DESIGN AND IMPLEMENTATION OF AUTOMATED VISUALIZATION FOR INPUT / OUTPUT FOR PROCESSES IN SOFL FORMAL SPECIFICATIONS. International Journal of Software Engineering & Applications (IJSEA). 2018. 9. 4. 139-157
Rong Wang, Shaoying Liu. TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018). 2018. 59-66

ｍore...

MISC (66)：

Shaoying Liu. Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance. 2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015). 2015
Shaoying Liu. Integration of Specification Animation and SOFL Three-Step Specification Approach for Requirements Engineering. 4th Asian Workshop of Advanced Software Engineering (AWASE 2014). 2014
Shaoying Liu. Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance. (Keynote Talk) 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014). 2014
A GUI and Testing Tool for SOFL. Proceedings of Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Singapore. 2000
Verifying Formal Specifications Using Fault Tree Analysis. Proceedings of International Symposium on Principle of Software Evolution, IEEE Computer Society Press, Kanazawa, Japan. 2000

ｍore...

Books (12)：

Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018
LNCS, Springer 2018
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017
LNCS 10795, Springer 2017
Formal Methods and Software Engineering, 18th International Conference on Formal Engineering Methods (ICFEM 2016)
LNCS 10009, Springer 2016
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016
LNCS 10189, Springer 2016
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015
LNCS 9559, Springer 2015 ISBN:9783319312194

ｍore...

Lectures and oral presentations (6)：

形式仕様に基づくテストにおけるテストスクリプト自動生成
(情報処理学会第79回全国大会 2017)
形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
(情報処理学会第79回全国大会 2017)
形式仕様に基づくテストケース自動生成
(情報処理学会第77回全国大会 2015)
実用性が高い形式工学手法と支援ツールの研究開発
(第2回産学連携のためのソフトウェア・シンポジウム 2014)
SOFLの研究開発の経験による形式手法の課題の考察
(ウィンターワークショップ2014 2014)

ｍore...

Works (5)：

Program Committee Chair of Sixth IEEE International Conference on Engineering of Complex Computer Systems
2000 -
Program Chair of Fifth IEEE International Conference on Engineering of Complex Computer Systems
1999 -
Program Committee member of Formal Methods Congness (FM'99)
1999 -
Program Chair of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)
1998 -
General Chair of First IEEE International Conferenee on Formal Enginaering Methods (ICFEM'97)
1997 -

Education (2)：

- 1992 University of Manchester, U.K. Graduate School, Division of Information Science
- 1982 西安交通大学計算机科学ソフトウエア工学

Professional career (1)：

Ph.D

Work history (10)：

2001/04/01 - 法政大学情報科学部教授 (現在に至る)
2000/04/01 - 2001/03/01 法政大学情報科学部助教授
1998/04/01 - 2000/03/31 広島市立大学大学院情報数理学専攻助教授(「プログラム意味論特論」「自主プロジェクト演習」担当)M合
1994/04/01 - 2000/03/31 広島市立大学情報科学部助教授(「ソフトウェア工学講座」担当)
1998/12/01 - 1999/03/01 英国オックスフォード大学訪問教授

Show all

Awards (4)：

2019/01/01 - IEEE Fellow
2010/06/01 - British Computer Society Fellow of British Computer Society
1996/10 - 「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞
1990/04 - 「COBOLプログラム試験サポート環境」が中国陜西省で2等賞を受賞

Association Membership(s) (1)：

IEEEコンピュータ・サイエンス学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

劉 少英

劉少英