个人资料
教育经历学士 1978.01 ~ 1982.01 西安交通大学 计算机软件 硕士 1984.09 ~ 1987.04 西安交通大学 计算机科学与工程 博士 1989.01 ~ 1992.10 英国, 曼彻斯特大学 计算机科学 工作经历助教 1982.01 ~ 1987.08 西安交通大学(计算机科学与工程系) 讲师 1987.09 ~1988.11 西安交通大学(计算机科学与工程系) 研究助理 1991.01 ~ 1993.05 英国, 约克大学 (University of York)(计算机科学系) 研究助理 1993.05 ~ 1994.03 英国, RHNBC, 伦敦大学 (University of London)(计算机科学系) 副教授 1994.04 ~2000.03 日本, 广岛市立大学(计算机科学系) 副教授 2000.04 ~2001.03 日本, 法政大学(计算机科学系) 教授 2001.04 ~2020.03 日本, 法政大学(计算机科学系) 教授 2020.04 ~ 2025.04 日本, 广岛大学(计算机科学系) 特聘教授 2025.04 ~ 至今 华东师范大学(软件工程学院) 访问研究工作 研究员 1994.12 ~ 1995.03 英国,贝尔法斯特女皇大学(The Queen's University of Belfast) 客座教授 1998.12 ~ 1999.03 英国,牛津大学 (University of Oxford) 客座教授 2005.04 ~ 2006.03 英国, 约克大学 (University of York) 客座教授 2025.04 ~ 2027.03 日本, 广岛大学 个人简介1982年和1987年分别获西安交通大学计算机科学学士和硕士学位，1992年获得英国曼彻斯特大学计算机科学博士学位。现是华东师范大学软件工程学院的特聘教授，并兼任日本广岛大学计算机科学客座教授。 曾先后在中国，英国，以及日本的10所大学从事研究和教学工作，包括西安交通大学，英国曼彻斯特大学，约克大学，伦敦大学，牛津大学，贝尔法斯特女皇大学，日本广岛市立大学，法政大学，广岛大学，以及现在的华东师范大学。 主要研究方向包括 高可靠软件工程理论与技术，软件开发的形式化工程方法，软件设计方法，智能化人机结对编程, 程序验证，软件测试及复审，以及智能软件工程环境。从1994年以来，已领导和主持由日本文部科学省及JSPS，国立信息研究所（NII）, 大川情报科学财团，以及日本信号，NTT Data, 和三菱电机等日本政府，财团和大企业分别资助的20多个研究项目，创立和发展了软件开发的形式化工程方法，研制开发了SOFL形式化工程开发语言和方法，由Springer出版专著两本，编著由IEEE CS Press和Springer LNCS系列出版的论文集16本，在包括IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software等国际学术期刊和国际会议发表300多篇论文。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的世界top 15名学者之一，获得1996年由IEEE国际会议授予的"优秀论文奖"，2011年中国国家示范软件学院十佳兼职教师奖，2017年6月IEEE可靠性协会日本分会的2016年最佳论文奖， 2018年的20年ICFEM最有影响研究者奖，日本信息处理学会软件工程研究会的2020年和2022年的卓越研究奖两次等。 曾多次担任ICFEM，ICECCS等国际会议的大会主席和程序委员会主席，以及数目繁多的国际会议的程序委员会委员，被欧，美，亚，奥等地区的70多个大学和研究机关以及国际会议邀请作学术报告，曾受邀作为主旨报告人（Keynote Speaker）出席IEEE QRS 2015、ICCTA 2022等十余个国际学术会议，并作特邀报告。曾任IEEE Transactions on Reliability，Software Testing, Verification and Reliability, 以及Innovations of Systems and Software Engineering学术期刊的Associate Editor。是IEEE 会士, 英国计算机协会(BCS)会士, Asia-Pacific Artificial Intelligence Association (AAIA) 会士。 社会兼职(1)副主编 IEEE Transactions on Reliability (2019.12.01- 2023.12.01) (2) 副主编 Journal of Testing, Verification and Reliability (STVR) (2007.01 – 2019.11) (3) 副主编 Innovations of Systems and Software Engineering (2020.12 – Present) (4) ICEEM 2016 大会主席 (5) ICFEM 2017 大会主席 (6) QRS 2020 大会共同主席 (7) ICECCS 2022 大会共同主席 (8) ICFEM 2024 大会主席 (9) SFPVV 2024 程序委员会主席 (10)QRS 2025 程序委员会共同主席 (8) IEEE计算机协会复杂计算技术协会副主席(1998.04 – 2005.04) 研究方向主要研究方向包括 高可靠软件工程理论与技术，软件开发的形式化工程方法，软件设计方法，智能化人机结对编程, 程序验证，软件测试及复审，近年来主要集中在如下几个具体的更加前沿的研究方向上. 1. Agile-SOFL敏捷形式化工程方法及错误防止技术 软件开发的一个极为挑战性的课题就是如何在确保软件质量的同时提高软件开发的生产效率。到目前为止被大量研究并初步应用的模型驱动开发方法，形式化方法, 以及敏捷开发方法都存在着技术上的局限性和应用上的困难。简单地讲，模型驱动开发方法和形式化方法都强调文档作成的重要性，但由于使用图形表达或数学公式过多而导致文档作成时的效率不高，更困难的是针对不断的功能和数据结构的进化（变化）需要对文档做出相应的修改，并使其与实现的程序代码保持一致。这些行为都会对系统的生产效率以及质量保证带来巨大的负面影响。敏捷开发方法的提出就是为了减少文档作成的负面影响，强调可执行程序代码的尽快作成以及通过开发人员和客户的不断交互进而快速地修改代码以反映客户所要求的功能和非功能指标。但敏捷开发方法缺乏坚实的理论基础，而且对大规模程序的开发，由于代码修改频繁加上修改工作随着系统规模的增大而变的越来越困难，使得敏捷开发方法在关键和核心软件系统开发领域里应用极为困难。 为了扬长避短，经过长期的研究和时间, 我们提出了【Agile-SOFL敏捷形式化工程方法】。其特点有三。(1)强调基于混式规约（hybrid specification）的敏捷编程方法，（2）重视利用混合式规约的作成过程实现客户需求上的错误防止，（3）加强软件测试和软件复审在发现和纠正软件错误方面的作用. 混合式规约是由GUI 规约，半形式化规约，以及形式化规约所构成。GUI 规约用于生动地描述人机对话机制以确保系统的可使用性达到要求。半形式化规约将系统功能的自然语言描述和所使用数据的数学描述相结合，清晰明了，容易表达，用于系统的大部分功能的定义。形式化规约在半形式化规约的基础上使用谓词逻辑语言定义系统功能，主要用于关键核心功能定义以确保其定义的准确性。 针对Agile-SOFL敏捷形式化工程开发方法，将展开如下几个方面的具体研究： （1）建立构建混合型规约过程中防止与客户的需求有关的错误的理论和技术。该技术从积极对应软件不断进化的观点出发，建立开发混合式规约的【三步曲】技术，实现从无到有，从少到多，从粗到细，从抽象到具体的规约描述的可追踪的开发过程，并在每一个环节上实现错误防止。 （2）利用大语言模型(LLMs)实现从Agile-SOFL语言到代码的自动生成. 该研究力图研究如何利用大语言模型这个人工智能的最新技术帮助自动生成正确实现规约的可执行代码.包括两个方面的研究: (1)有效的提示LLMs使其生成满意的代码的技术,(2)有效的代码复审和测试技术以确保LLMs所生成的代码的确符合要求. （3）建立基于混合式规约的编程过程中的错误排查理论和技术。该技术对静态可检查的错误的模式和特点进行总结而形成保存错误的知识库，然后再利用该知识库对正在开发的程序里潜在的错误进行自动化的排查。同时，对于执行时才出现的错误，采用代码片段的自动测试和模拟的最新技术排查错误。该研究也将积极地利用大语言模型技术(LLMs)帮助提高查错的效率和准确度. 2. 人机结对编程技术及智能化支撑工具 为了高效率地支撑应用所研发的敏捷形式化工程方法，该研究将把人工智能的专家系统技术以及机器学习技术融合到软件开发的技术和过程中，以实现人机合作，发挥人的创造性和计算机忠实执行命令的特点，达到开发者一边构建系统规约和代码，计算机一边防止和排查错误的最为有效的高自动化开发过程。针对该技术，将开展如下三个方面的具体研究： （1）软件构建的自动监视（Automatic Software Construction Monitoring）理论和技术。 该研究探究如何自动监视开发人员构建规约或代码的过程并力图最大可能地发现所犯错误，包括没有正确实现规约的错误和使用编程语言不当所造成的实现层次的错误。错误的种类可分为多种: 违反编程标准的错误,有关生命安全的错误,有关信息安全的错误,有关保证持续提供功能的错误,有关确保软件可维护性的错误. (2) 软件构建的自动预测(Automatic Software Construction Prediction)理论和技术。 该研究将探究如何利用人工智能里的知识库技术或LLMs技术自动地生成规约片段和代码片段以提高所开发的软件系统的健壮性（Robustness）, 高可靠性, 以及生产效率。 （3）智能化复审之上的递增式软件构建技术。 软件构建是一个不断进化过程，其中一个很有效的进化技术就是开发者在不断复审就近开发的规约片段或代码片段的基础上再继续构建新的规约或代码。该研究目的有二：(1)建立能够智能化地引导开发者不断地进行有效的软件复审的理论和技术, (2) 开发有效利用该复审的结果以帮助开发者形成恰当而必要的新规约片段或代码片段的技术。 3. 基于测试的自动软件形式化验证和确认理论与技术 基于测试的形式化验证技术(TBFV)是我们开发的最实用,自动化高,而且应用范围广泛的最新的软件测试和验证技术,其特点是对每次被测试的程序路径都能自动地证明其正确性.但软件系统不仅需要验证其行为符合规约,而且需要确认其行为也符合用户的真正要求. 该研究力图创出利用TBFV实现这两种目的的新理论和技术,并实现它的支撑工具. 4.智能化人机结对软件复审理论与技术 该研究力图创出支持程序员本人有效地复审自己所开发程序的理论技术.该技术的主要特点是它能有效地帮助程序员以高度的集中和热情,快速地找到程序中所犯错误并很容易地进行修改.研究如何用随机插错和有目的的插错来引导程序员快速找到出错地点,并进行有效地发现错误和改正错误. 有目的插错可从复杂度,历史数据,以及所有可能的错误模式等方面考虑设计. 5.从代码自动生成其可视化规约的理论与技术 敏捷形式化开发方法强调代码是最终的有效文档,但代码一般过于详细复杂,难以理解.这样在将来维护代码或拓展代码时会有困难.该研究的目标是创出自动把代码转换成反映其功能的可视化且定义明确的规约,像Agile-SOFL里的半形式化规约.提供有效的工具支撑也是本研究的主要内容. 招生与培养一, 研究生招生 1. 我鼓励具有下述特点的学生积极地报考我的硕士和博士研究生. (1) 在离散数学,数据结构和算法, 以及编译原理或人工智能方面,基础扎实,概念清楚. (2) 对软件开发和软件质量保证,或智能化软件工程的理论技术,热情满怀,兴趣浓厚. (3) 具有坚韧不拔,集中精力,勇于思考,善于思考,勤于思考的精神和习惯. (4) 具有较好的英语能力. (5) 坚持体育锻炼,生活态度积极向上. 2. 加入我的研究团队以后,将根据学生的研究兴趣以及将来职业道路发展的计划, 共同协商后,选择在下述5个研究方向和课题中的一个,开展学习和研究工作. 这些研究方向和课题,都是软件工程领域里最新颖并跟解决工业界所面临的问题 和困难紧密相关的研究方向和课题. (1) Agile-SOFL敏捷形式化工程方法及错误防止技术 (2) 智能化人机结对编程技术及其支撑工具 (3) 基于测试的自动软件形式化验证和确认理论技术 (4) 智能化人机结对软件复审理论和技术 (5) 从代码自动生成其可视化规约的理论和技术 这些研究方向的较详细解释,可参考"研究方向"项目中的描述. 二,学生培养 我用如下方针和技术,培养学生: 1. 知行合一,实践鉴理.强调理论联系实际,实践是检验真理的可靠标准. 2. 学习和研究的过程: 实践,认识,再实践,再认识, 循环往复,以期有穷(否则无法毕业). 这个过程在指导学生的学习和研究时,将具体化为如下过程: 简单的实例研究,理论抽象和分析, 再次大型实用化的实例研究, 再次理论抽象,分析,以及同相关研究的比较,取得成果,顺利毕业. 3.鼓励和指导学生养成勇于思考,善于思考,勤于思考的习惯和作风,并运用在学习和研究中. 4.加强英语交流能力,培养国际化意识, 开阔学术视野,鼓励积极创新. 三. 在校学生 1.在校博士生
2.在校硕士生
四, 毕业学生 1. 博士毕业生
2. 硕士毕业生(不完整)
五,合作研究者(不完整)
开授课程课程名: 形式化工程方法和软件质量保证 (Formal Engineering Methods for Software Quality Assurance) 学生对象: 研究生(本科4年级学生可选修) 授课时间: 第一学期(9月 ~ 1月) 授课地点: 软件工程学院滴水湖院区 科研项目2025年4月1日至今: 获国家级高层次人才计划/项目资助 2025年3月31日以前(挑选): 1. 关于基于振動测试的程序正确性的自动验证方法及支持工具的研究. 项目主持, 日本大学共同利用机关法人 信息系统研究机构 国立信息研究所 （NII）, 2021.04.01 ~ 2022.03.31. 2. 关于软件开发的高可靠敏捷形式化工程方法的研究. 项目主持, 日本学术振兴会JSPS科研费, 2014.04.01 ~ 2019.03.31. 3. 高实用性形式化工程方法及支援工具的研究与开发. 项目主持, 日本 独立行政法人情报处理推进机构（IPA）, 2012.04.01 ~ 2013.03.31. 4. 关于基于形式化规约的程序错误发现技术的研究. 项目主持, 日本大学共同利用机关法人 信息系统研究机构 国立信息研究所 （NII）, 2012.04.01 ~ 2013.03.31. 5. 关于基于形式化规约的程序自动测试技术的研究. 项目主持, 日本大学共同利用机关法人 信息系统研究机构 国立信息研究所 （NII）, 2008.04.01 ~ 2010.03.31. 6. 关于基于形式化规约的软件测试技术的研究. 项目主持, 日本学术振兴会JSPS科研费, 2006.04.01 ~ 2008.03.31. 7. 关于形式化规约以及程序的严密复审的自动化的研究. 项目主持, 日本学术振兴会JSPS科研费, 2002.04.01 ~ 2006.03.31. 8. 软件开发的形式化工程方法. 项目主持, 日本学术振兴会JSPS科研费, 1999.04.01 ~ 2002.03.31. 9. 关于软件形式化规约及设计的严密验证技术的研究. 项目主持, 日本学术振兴会JSPS科研费, 1999.04.01 ~ 2001.03.31. 10. FM-ISEE: 形式化方法及智能软件工程环境. 项目主持, 日本文部科学省 国际学术研究, 1996.04.01 ~ 1998.03.31. 学术成果一, 著书 1. Shaoying Liu, "Formal Engineering for Industrial Software Development using the SOFL Method", Springer-Verlag, March 2004, 428 pages, ISBN 3-540-20602-7. 2.Shaoying Liu, “Agile-SOFL: Agile Formal Engineering Method”, Springer, June 2024, ISBN: 978-981-97-2284-6 (hardcopy), 978-981-97-2285-3 (eBook), DOI: https://doi.org/10.1007/978-981-97-2285-3.
①1. Kazuhiro Ogata, Meng Sun, Dominique Mery, Shaoying Liu, “Formal Methods and Software Engineering”, Proceedings of The 25th International Conference on Formal Engineering Methods (ICFEM 2024), Springer LNCS 15394, Hiroshima, Japan, December 2-6, 2024, ISBN 978-981-96-0616-0 ISBN 978-981-96-0617-7 (eBook). ②2. Shaoying Liu, “Software Fault Prevention, Verification, and Validation”, Proceedings of The 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024), Springer LNCS 15393, Hiroshima, Japan, December 2-3, 2024, ISBN 978-981-96-1620-6 ISBN 978-981-96-1621-3 (eBook). ③ 3. Tadashi Dohi, Shaoying Liu (eds), “Mathematics in Software Reliability and Quality Assurance”, MDPI, 2022. ISBN 978-3-0365-3799-3, 978-3-0365-3800-6. Total 203 pages. ④ 4. Shaoying Liu, Zhenhua Duan, Ai Liu, “Structured Object-Oriented Formal Language and Method”, 11th International Workshop, SOFL-MSVL 2022, LNCS 13854, Madrid, 24 Oct. 2022. Revised Selected Papers. ISSN: 0302-9743. Total 163 pages. ISBN-10: 3031294750. ISBN-13: 978-3031294754. ⑤ 5. Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (Eds), “Structured Object-Oriented Formal Language and Method”, the proceedings of 10th International Workshop on SOFL+MSVL for Reliability and Security (SOFL+MSVL 2020), LNCS 12723, Singapore, March 1, 2021, Revised Selected Papers. ⑥ 6. Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds), “Structured Object-Oriented Formal Language and Method – 9th International Workshop, SOFL+MSVL 2019”, LNCS 12028, Springer, Shenzhen, China, November 5, 2019. ⑦ 7. Zhenhua Duan and Shaoying Liu, Cong Tian, Fumiko Nagoya (eds), “Structured Object-Oriented Formal Language and Method – 8th International Workshop, SOFL+MSVL 2018”, LNCS 11392, Springer, Gold Coast, Australia, November 5, 2018. ⑧ 8. Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, “Structured Object-Oriented Formal Language and Method – 7th International Workshop, SOFL+MSVL 2017”, LNCS 10795, Springer, Xi’an, November 16, 2017. ⑨ 9. Shaoying Liu，Zhenhua Duan，Cong Tian, and Fumiko Nagoya, Structured Object-Oriented Formal Language and Method, Proceedings of the 6th International Workshop on SOFL+MSVL (SOFL+MSVL 2016), LNCS 10189, Springer, 2016. ⑩ 10. Kazuhiro Ogata, Mark Lawford, Shaoying Liu, “Formal Methods and Software Engineering”, Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), LNCS, Springer, 2016. ⑪ 11. Shaoying Liu and Zhenhua Duan, Structured Object-Oriented Formal Language and Method, Proceedings of the Fifth International Workshop on SOFL+MSVL (SOFL+MSVL 2015), LNCS 9559, Springer, 2015. ⑫ 12. Shaoying Liu and Zhenhua Duan, Structured Object-Oriented Formal Language and Method, Proceedings of the Fourth International Workshop on SOFL+MSVL (SOFL+MSVL 2014), LNCS 8979, Springer, 2014. ⑬ 13. Shaoying Liu and Zhenhua Duan, Structured Object-Oriented Formal Language and Method, Proceedings of the Third International Workshop on SOFL+MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, 2013. ⑭ 14. Shaoying Liu, Structured Object-Oriented Formal Language and Method, Proceedings of the Second International Workshop on SOFL (SOFL 2012), LNCS 7787, Springer, 2012. ⑮ 15. Shaoying Liu, Tom Maibaum, and Keijiro Araki (eds), ``Formal Methods and Software Engineering’’, Proceedings of 10th International Conference on Formal Engineering Methods, LNCS, Springer-Verlag, Kitakyushu-City, Japan, Oct. 27-31, 2008. ⑯ 16. Shaoying Liu, John A. McDermid, Michael Hinchey (eds), Formal Engineering Methods, Proceedings of Third IEEE International Conference on Formal Engineering Methods (ICFEM 2000), IEEE Computer Society Press, York, UK, Sept. 4-6, 2000. ⑰ 17. John Staples, Michael Hinchey, Shaoying Liu (eds), Formal Engineering Methods, Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), IEEE Computer Society Press, Brisbane, December 9-11, 1998. ⑱ 18. Michael Hinchey and Shaoying Liu (eds), Formal Engineering Methods, Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM'97), IEEE Computer Society Press, Hiroshima, 12-14 November 1997. 是 三, 主旨报告(挑选) (1) Shaoying Liu, “Software Fault Prevention and Verification in Human-Machine Pair Programming”, The 11th International Conference on Dependable Systems and Their Applications (DSA 2024), Suzhou, China, November 2-3, 2024. URL: https://dsa24.techconf.org/. (2) Shaoying Liu, “Creativity-Driven Education for Cultivating Student Innovation: Importance, Techniques, and Challenges”, The 2024 6th International Conference on Modern Educational Technology (ICMET 2024), Tokyo, Tokushoku University campus, Dec. 13-15, 2024. (3) Shaoying Liu, “Agile Formal Engineering Method for High Productivity and Reliability”, The 13th International Conference on Software Technology and Engineering (ICSTE 2023), Oct. 27-29, 2023, Osaka, Japan. My talk is given on 28 Oct. 2023. Virtual Conference. https://conferencealerts.com/show-event?id=252350 (4) Shaoying Liu, “Formal Engineering Methods: Bridging Formal Methods and Software Engineering”, 26 June 2023, Tokyo IEEE Japan Chapter. (5) Shaoying Liu, “Formal Engineering Methods: Bridging Formal Methods and Software Engineering”, The 5th World Symposium on Software Engineering (WSSE 2023), 22-24 Sept. Tokyo, Japan. My talk date: 23 Sept. 2023. (6) S. Liu, “The Role of Mathematics in Software Engineering”, CFMAI 2022: 2022 International Conference on Frontiers of Mathematics and Artificial Intelligence in Beijing, China/online, December 2-4, 2022. https://www.cfmai.org/his22. Organizer: Southwest Jiatong University. (7) S. Liu, “Software Fault Prevention and Verification for Human-Machine Pair Programming”, FOSE 2022，第29回ソフトウェア工学の基礎ワークショップ（FOSE2022）in 松江しんじ湖温泉Nov. 10-12, 2022. URL: https://fose.jssst.or.jp/fose2022/ (8) S. Liu, “Testing-Based Formal Verification: Promise and Challenges（テストに基づく形式検証：展望と課題）”, SES 2022の形式手法ワークショップ、早稲田大学、Sept. 5, 2022. (9) S. Liu, “Agile Formal Engineering Methods for High Productivity and Reliability”, 2022 8th International Conference on Computer Technology Applications (ICCTA 2022) (Austria), ACM organizer. May 12 – 14, 2022. URL: http://www.wikicfp.com/cfp/servlet/event.showcfp?copyownerid=90704&eventid=147661 (10) S. Liu, “Specification-Based Fault Prevention and Detection for Software Quality Assurance”, ICIET 2022. 2022 10th International Conference on Information and Education Technology (ICIET 2022) in Matsue, Japan, April 9-11, 2022. http://www.iciet.org/index.html. (11) S. Liu, “Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction”, ICICSE 2022, 2022 IEEE International Conference on Information Communication and Software Engineering, Chongqing, March 18-20, 2022. http://www.icse.org/index.html. (12) S. Liu, “Human-Machine Pair Programming for Future Software Engineering”, ソフトウェアシンポジウム 2021（SS 2021），大分，2021年6月2日―4日． (13) S. Liu, “ソフトウェア品質保証とコスト削減のためのテストに基づく形式検証 (Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction)”, ソフトウェアエンジニアリングシンポジウム2021 IPSJ/SIGSE Software Engineering Symposium (SES 2021) Sept.6-8, 2021. (14) S. Liu,“Human-Machine Pair Programming: An Intelligent and Automated Approach for Software Productivity and Reliability”, 2020 International Symposium on Software and System Reliability (ISSSR 2020), IEEE Press, Chengdu, China, 24-25 Oct. 2020. (15) S. Liu, “Specification-Based Fault Prevention and Detection for Reliability and Security”, The 2020 International Conference on Frontiers in Cyber Security (FCS 2020), Tianjin, China, Nov. 15-18, 2020. (16) Shaoying Liu, “Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation”, 2016 International Symposium on Software and System Reliability (ISSSR 2016), IEEE Press, ECNU, Shanghai, Oct. 29-30, 2016. (17) Shaoying Liu, “Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance”, The 2015 International Conference on Software Quality, Reliability and Security (QRS 2015), Vancouver, Canada, August 3-5, 2015 (18) Shaoying Liu, Developing Quality Software Systems Using the SOFL Formal Engineering Method, Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), LNCS Springer-Verlag, Shanghai, China, October 21-25, 2002, pp. 3-17. (19) Shaoying Liu, “Automatic Specification-Based Testing: Challenges and Possibilities”, 5th Intl. Conf. on Theoretical Aspects of Software Engineering, IEEE CS Press, Xi’an, China, Aug. 29-31, 2011, pp. 5-8. (20) Shaoying Liu, “Testing-Based Formal Verification - A New and Practical Approach for Software Quality Assurance”, 19th International Conference on Engineering of Complex Computer Systems, 4-7 August, Tianjin, China, 2014.
Jandong Li, Shaoying Liu, Zhi Jin, “Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures”, Vol. 226, August 2025, 112439. Guangquan Xu, Shicheng Feng, Hao Xi, Qingyang Yan, Wenshan Li, Cong Wang, Wei Wang,Shaoying Liu, Zhihong Tian, Xi Zheng, “Differential-Trust-Mechanism-Based Trade-Off Method Between Privacy and Accuracy in Recommender Systems”, IEEE Transactions on Information Forensics and Security PP(99):1-1, DOI:10.1109/TIFS.2025.3566509. Yujun Dai, Shaoying Liu, Haiyi Liu, “Mutation-Based Approach to Supporting Human–Machine Pair Inspection”. Electronics, 14(2): 382, 2025. Yujun Dai, Shaoying Liu*, Guangquan Xu, “Enhancing human‑machine pair inspection with risk number and code inspection diagram”, Software Quality Journal, Volume 32, pages 939–959, May 2024, DOI: https://doi.org/10.1007/s11219-024-09674-4. Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang, “Detecting security vulnerabilities with vulnerability nets”, Journal of Systems and Software, Vol. 208, 111902, Feb. 2024, doi : https://doi.org/10.1016/j.jss.2023.111902. Pingyan Wang and Shaoying Liu, “Towards Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming”, International Journal of Software Engineering and Knowledge Engineering (IJSEKE) (SCI), 34(5), Jan. 2024, pp. 751-774, DOI: https://doi.org/10.1142/S0218194024500013. Jingyi Cui, Guangquan Xu, Jian Liu, Shicheng Feng, Jianli Wang, Hao Peng, Shihui Fu, Zhouhua Zheng, Xi Zheng, Shaoying Liu, “ID-SR: Privacy-preserving Social Recommendation based on Infinite Divisibility for Trustworthy AI”, ACM Transactions on Knowledge Discovery from Data, 18(7) , June 2024, pp. 1-25. DOI: https://doi.org/10.1145/3639412. Busalire Emeka, Soichiro Hidaka, Shaoying Liu, ``A Practical Model-Driven Approach for Designing Security Aware RESTful Web APIs using SOFL’’, IEICE Transactions on Information and Systems, May 1, 2023 Volume E106.D vol. Issue 5 Pages 986-1000.DOI: https://doi.org/10.1587/transinf.2022EDP7194. Ai Liu, Shaoying Liu, “Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages”, IEEE Transactions on Software Engineering, vol. 49, no. 1, pp. 304-324, 1 Jan. 2023, doi: 10.1109/TSE.2022.3150333. Jiandong Li, Shaoying Liu, “Requirements-Related Fault Prevention during the Transformation from Formal Specifications to Programs”, IET Software, 17(3), 1 May 2023, pp. 316-332. DOI: https://doi.org/10.1049/sfw2.12126. Dingbang Fang, Shaoying Liu, Yang Li, “Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction”, International Journal of Software Engineering and Knowledge Knowledge (USEKE), 33(7), 1 May 2023, pp. 1095-1117. DOI: https://doi.org/10.1142/S0218194023500262. Yang Li, Shaoying Liu, “The Threat of Adversarial Attack on a COVID-19 CT Image-Based Deep Learning System”, Bioengineering (Basel), Feb. 2023, 10(2), 194, doi: 10.3390/bioengineering10020194. Haiyi Liu, Shaoying Liu, Guangquan Xu, Ai Liu, Dingbang Fang, “NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification”, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 34(2), pp. 273-300、2023. Yang Li and Shaoying Liu,“Adversarial Attack and Defense in Breast Cancer Deep Learning Systems”,BIOENGINEERING-BASEL, 10(8): 973, 17 August 2023. Yingnan Zhou, Hue Hu, Sihan Xu, Yan Jia, Yuhao Liu, Junyong Wang, Guangquan Xu, Wei Wang, Shaoying Liu, Thar Baker, “Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters” , IEEE Transactions on Software Engineering, 1 Oct. 2023, Vol. 49, No. 10, pp. 4624-4638, DOI: 10.1109/TSE.2023.3308755. Guanquan Xu, Chen Qi, Wenyu Dong, Lixiao Gong, Shaoying Liu, Si Chen, Jian Liu, Xi Zheng, “A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain”, IEEE Biomedical Health Informatics, Feb. 2023, 27(2), pp. 698-709, doi: 10.1109/JBHI.2022.3203577. Guangquan Xu, Wenyu Dong, Jun Xing, Wenqing Lei, Jian Liu, Lixiao Gong, Meiqi Feng, Xi Zheng, Shaoying Liu, “Delay-CJ: A Novel Cryptojacking Covert Attack Method based on Delayed Strategy and Its Detection”, Digital Communications and Networks (journal), Elsevier, No. 9, 1 October 2023, pp. 1169-1179. Guangquan Xu, Xinru Ding, Sihan Xu, Yan Jia, Shaoying Liu, Shicheng Feng, Xi Zheng, “Real-time Diagnosis of Configuration Errors for Software of AI Server Infrastructure”, IEEE Transactions on Dependable and Secure Computing (Early Access), 10 April 2023. pp. 1-12. doi: 10.1109/TDSC.2023.3266007. Guangquan Xu, Hongfei Shao , Jingyi Cui , Hongpeng Bai,∗ , Jiliang Li, Guangdong Bai, Shaoying Liu , Weizhi Meng , Xi Zheng, “GenDroid: A query-efficient black-box android adversarial attack framework”, Journal of Computers & Security, Elsevier, Vol. 132, 1 Sept. 2023, No. 103359. DOI: https://doi.org/10.1016/j.cose.2023.103359. Guanquan Xu, Shaoying Liu, et al (12 co-authors, 12th), “UAF-GUARD: Defending the Use-After-Free Exploits via Fine-grained Memory Permission Management”,Computer & Security, Vol. 125, Feb. 2023 103048. DOI: https://doi.org/10.1016/j.cose.2022.103048. Shaoying Liu and Shin Nakajima, “Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing”, IEEE Transactions on Software Engineering, 48(2), 2022, pp. 691-712. Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu*, Guofeng Feng, J. X. Zheng, “No. TII-21-4483.R2, entitled CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0”, IEEE Transactions on Industrial Informatics, 8(10), 2022, pp. 7186-7195. Pingyan Wang, Shaoying Liu, Ai Liu, Fatiha Zaidi, “A Framework for Modeling and Detecting Security Vulnerabilities in Human-Machine Pair Programming”, Journal of Internet Technology (SCI), Vol. 23, No. 5, Sept. 2022, pp. 1129-1138. Haiyi Liu, Shaoying Liu, Chenglong Wen, W. Eric Wong, “TBEM: Testing-based GPU-Memory Consumption Estimation for Deep Learning”, IEEE ACCESS, Vol. 10, pp. 39674-39680, 11 April 2022. DOI: 10.1109/ACCESS.2022.3164510. Lei Rao, Shaoying Liu, Han Peng, “An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement”, IEEE ACCESS, Vol. 10, pp. 13089-13102, Feb. 5, 2022. DOI: 10.1109/ACCESS.2022.3146390. Tetsuo Fukuzaki, Shaoying Liu, Michael Butler, “DevFemOps: Enhancing Maintainability based on Microservices using Formal Engineering Methods”, (Journal of) Connection Science, 08 August 2022, pp. 2125-2138. Rong Wang, Shaoying Liu, Yuji Sato, “SIT-SE: A Specification-based Incremental Testing Method with Symbolic Execution”, IEEE Transactions on Reliability, Vol. 30, No. 3, Sept. 2021, pp. 1053-1070. (Corresponding author, 27 April 2021 received notification) doi: 10.1109/TR.2021.3078714. Guangquan Xu, Guohua Xin, Litao Jiao, Jian Liu, Shaoying Liu, Guofeng Feng, J. X. Zheng, “OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS”, IEEE Transactions on Computer, (Corresponding author),vol. 73, no. 4, pp. 956-969, April 2024, doi: 10.1109/TC.2023.3236872. Pengli Nie, Guanquan Xu, Litao Jiao, Shaoying Liu, Jian Liu, Weizhi Meng, Hongyue Wu, Meiqi Feng, Weizhe Wang, Zhengjun Jing, Xi Zheng, “Sparse Trust Data Mining”, IEEE Transactions on Information Forensics and Security, Vol 16, 31 August 2021. pp. 4559-4573. DOI: 10.1109/tifs.2021.3109412. Chunyan Ma, Shaoying Liu, Jinglan Fu, Tao Zhang, “Test Oracle Generation Based on BPNN using Values of Variables at Different Breakpoints for Programs”, Int'l Journal of Software Engineering and Knowledge Engineering, 31(10), 2021, pp. 1469-1494. Shaoying Liu, Honghui Li, Zhouxian Jiang, Xiuru Li, Feng Liu, Yan Zhong, “Rigorous Code Review by Reserve Engineering”, Information and Software Technology, Elsevier, Vol. 133, 106503, May 2021, pp. 1-14. DOI: https://doi.org/10.1016/j.infsof.2020.106503. Shaoying Liu, Weikai Miao, “A Formal Specification Animation Method for Operation Validation”, Journal of Systems and Software, Elsevier, Vol. 178, 110948, 2021, DOI: https://doi.org/10.1016/j.jss.2021.110948. Shaoying Liu, “A Three-Step Hybrid Specification Approach to Error Prevention”, Journal of Systems and Software, Elsevier, Vol. 178, 110975, 2021, DOI: https://doi.org/10.1016/j.jss.2021.110975. Rong Wang, Yuji Sato, Shaoying Liu, “Mutated Specification-Based Test Data Generation with a Genetic Algorithm”. Mathematics, 9(4):331, 2021, DOI: https://doi.org/10.3390/math9040331. Guangquan Xu, Xiaotong Li, Litao Jiao, Weizhe Wang, Ao Liu, Chunhua Su, Xi Zheng, Shaoying Liu, Xiaochun Cheng, “BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs”, IEEE Communications Magazine, vol. 58, no. 7, pp.. 35-41, July 2020, doi: 10.1109/MCOM.001.2000118. Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu, “autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications”, Science China Information Sciences, Vol. 61, 052102, May 2018, pp. 052102:1–052102:15 https://doi.org/10.1007/s11432-016-9039-4. Yufei Yin, Shaoying Liu, Yixiang Chen, “Validation and Verification of SYSML Activity Diagrams Using Hoare Logic”, International Journal of Software Engineering & Applications (IJSEA), Vol.9, No.4, July 2018, pp. 101-117. Yu Chen and Shaoying Liu, “Design and Implementation of Automated Visualization for Input / Output for Processes in SOFL Formal Specifications”, International Journal of Software Engineering & Applications (IJSEA), Vol.9, No.4, July 2018, pp. 139-157. Fumiko Nagoya, Shaoying Liu: Development of a Web Dictionary System Using SOFL. International Journal on Wireless Personal Communications 94(2): 253-266 (2017), Mo Li and Shaoying Liu, “Integrating Animation-Based Inspection into Formal Design Specification Construction for Reliable Software Systems ”, IEEE Transactions on Reliability, Vol. 65, No. 1, March 2016, pp. 88-106. Xi Wang and Shaoying Liu, Computer-aided Formalization of Requirements Based on Patterns, IEICE Transactions on Information and Systems, E97.D(2), 2014, pp. 198-212. Weikai Miao and Shaoying Liu, A Formal Engineering Framework for Service-Based Software Modelling, IEEE Transactions on Services Computing, Vol. 6, No. 4, Oct.-Dec. 2013, pp. 536-550. Shaoying Liu, Yuting Chen, Fumiko Nagoya, John McDermid, “Formal Specification-Based Inspection for Verification of Programs”, IEEE Transactions on Software Engineering, Vol. 35, No. 8, 2012, pp. 1100-1122. Shaoying Liu, Wei Shen, and Shin Nakajima, A Formal Approach to Testing Programs in Practice, Journal of Computer Science and Information Systems (ComSIS), Vol. 9, No. 4, Special Issue, Dec. 2012, pp. 1469-1491. Shaoying Liu, John McDermid, and Yuting Chen, ``A Rigorous Method for Inspection of Model-Based Formal Specifications”, IEEE Transactions on Reliability, IEEE Press, Vol. 59, No. 4, December, 2010, pp. 667-684.. Shaoying Liu, A Jeff. Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba, SOFL: A Formal Engineering Methodology for Industrial Applications, IEEE Transactions on Software Engineering, IEEE Computer Society Press, Vol. 24, No. 1, January 1998, pp. 24-45. Shaoying Liu, Tetsuo Tamai, Shin Nakajima, “A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability”, International Journal of Software Engineering and Knowledge Engineering, 21(2), 2011, pp. 259-288. Shaoying Liu, “Pre-Post Notation is Questionable in Effectively Specifying Operations of Object-Oriented Systems”, Frontier of Computer Science in China, DOI 10.1007/s11704-011-0130-y, 2011, pp. 1-12. Richard Lai, Sajjad. Mahmood, Shaoying Liu, “RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System”, Journal of Software, Academy, 6(6), 2011, pp. 1050-1066. Richard Lai, Mohit Garg, P.K. Kapur, Shaoying Liu, “A Study of When to Release a Software Product”, Journal of Software, Academy, 6(4), 2011, pp. 651-661. Shaoying Liu, ``Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications'' (extended version), Journal of Information and Software Technology, Elsevier, Vol. 54, No. 11, Nov. 2009, pp. 1565-1572. Shaoying Liu, ``An Approach to Applying SOFL for Agile Process and Its Application in Developing a Test Support Tool'', Innovations in Systems and Software Engineering, Springer London, 22 December, DOI 10.1007/s11334-0114-3. Yuting Chen, Shaoying Liu, and Eric W. Wong. ``A Review Approach to Detecting Violations of Consistencybetween Specification and Program Structures”, International Journal ofSoftware Engineering and Knowledge Engineering (IJSEKE), 18(8), Dec, 2008. World Scientific Publishing Co. Pte. Ltd. Shaoying Liu and Hao Wang “An Automated Approach to Specification Animation for Validation” Journal of Systems and Software, Elsevier Science Inc., No. 80, 2007, pp. 1271-1285. Shaoying Liu and Yuting Chen, “A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation”, Journal of Systems and Software, Elsevier Science Inc., Vol. 81, No. 2, February 2008, pp. 234-248. Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann, Generating Test Data from State-Based Specifications, Journal of Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, No.13, 2003, pp. 25-53. Shaoying Liu, An Approach to Transforming Visual Formal Specifications to Java Programs (extended version), The Journal of Three Dimensional Images, Vol. 17, No. 1, March 2003, pp. 121-128. A Jeff. Offutt and Shaoying Liu, Generating Test Data from SOFL Specifications, The Journal of Systems and Software, Elsevier Science Inc., Vol. 49, No. 1, December 1999, pp. 49-62. Shaoying Liu, A Jeff. Offutt, Mitsuru Ohba, Keijiro Araki, The SOFL Approach: An Improved Principle for Requirements Analysis, Transactions of Information Processing Society of Japan, 1998, pp. 1973-1989. Shaoying Liu, A Formal Definition of FRSM and Applications, International Journal of Software Engineering and Knowledge Engineering, Vol. 8, No. 3, September 1998, pp. 253-281. Shaoying Liu, Formal Methods and Intelligent Software Engineering Environments, Information - An International Journal, Vol. 1, No.1, 1998, pp. 83-102. Shaoying Liu and John A. McDermid, A Formal Specification of Fault Trees for SAM, Transactions of Information Processing Society of Japan, Vol. 38, No. 10, October 1997, pp. 2014-2030. Shaoying Liu and John A. McDermid, A Model-Oriented Approach to Safety Analysis Using Fault Trees and Its Support System, The Journal of Systems and Software, Elsevier Science Inc., No. 2, November 1996, pp. 151-164. Shaoying Liu, Internal Consistency of FRSM Specifications, The Journal of Systems and Software, Elsevier Science Inc., USA, No. 2, May 1995, pp. 167-176. Shaoying Liu, Victoria Stavridou, Bruno Dutertre, The Practice of Formal Methods in Safety Critical Systems, The Journal of Systems and Software, Elsevier Science Inc., USA, Vol. 28, No. 1, January 1995, pp. 77-87. Shaoying Liu, A Formal Requirements Specification Method Based on Data Flow Analysis, The Journal of Systems and Software, Elsevier Science Inc., USA, No. 21, February 1993, pp. 141-149. Shaoying Liu, An Abstract Programming Language and Correctness Proofs, Computer Languages - An International Journal, Pergamon Press Ltd., U.S.A., Vol. 18, No. 4, October 1993, pp. 273-282. Shaoying Liu and Youren Li, Production Software Development Tool, Journal of Computer Research and Development, No.6, June 1990, pp. 1-9 (in Chinese). Shaoying Liu, Formal Software Development Methods, Journal of Computer Science, No.6, June 1990, pp. 21-30 (in Chinese). Youren Li and Shaoying Liu, Implementation of a COBOL Program Testing Environment, Journal of Xi'an Jiaotong University, Vol.23, No.1, February 1989, pp. 49-54 (in Chinese). Youren Li, Shaoying Liu, Minqiung Xu, A Transformation Tool From Programs To Two Degree Logical Diagrams, Journal of Xi'an Jiaotong University, Vol. 22, Sup. No.2, November 1988, pp. 73-79 (in Chinese). Shaoying Liu and Youren Li, Production Software Development Documents, Journal of Computation Technique Information, No.5, June 1987, pp. 27-34 (in Chinese). Shaoying Liu and Youren Li, An Automatic Test Data Generation Method, Journal of Computer Engineering, No.5, May 1987, pp. 24-30 (in Chinese). 五, 会议论文(挑选) Yuxiang Shang and Shaoying Liu, “LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction”, Formal Methods and Software Engineering, Proceedings of The 25th International Conference on Formal Engineering Methods (ICFEM 2024), Springer LNCS 15394, Hiroshima, Japan, December 2-6, 2024, pp. 106 – 124. Yu Du and Shaoying Liu, “A Methodology for Rating Maintainability Metrics of SOFL FormalSpecifications”, Software Fault Prevention, Verification, and Validation. Proceedings of The 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024), Springer LNCS 15393, Hiroshima, Japan, December 2-3, 2024, pp. 1-14. Yang Li, Shaoying Liu, Ai Liu, “Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack”, In: Liu, S., Duan, Z., Liu, A. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2022. Lecture Notes in Computer Science, vol 13854. Springer, Cham.25 March 2023, pp. 119-125. https://doi.org/10.1007/978-3-031-29476-1_10. Hai Yi, Shaoying Liu, Ai Liu, Guangquan Xu, “Verifying and Improving Neural Networks Using Testing-Based Formal Verification”, In: Liu, S., Duan, Z., Liu, A. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2022. Lecture Notes in Computer Science, vol 13854. Springer, Cham. 25 March 2023, pp. 126-141. https://doi.org/10.1007/978-3-031-29476-1_11. Rao, L., Liu, S., Liu, A.”Testing Program Segments to Detect Runtime Exceptions in Java”. In: Liu, S., Duan, Z., Liu, A. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2022. Lecture Notes in Computer Science, vol 13854. Springer, Cham. 25 March 2023. 2023, pp. 93-105. https://doi.org/10.1007/978-3-031-29476-1_8. Xia Yanzhao, Shaoying Liu, “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, Malaisia , February 2023 (conference date), Pages 273–282. https://doi.org/10.1145/3587828.3587869, Published:20 June 2023. Wang Pingyan, Shaoying Liu, “Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis”, Proceedings of The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), 14-16 June 2023 (conference date), 22 November 2023 (published date), Toulouse, France, pp. 152-156. DOI: 10.1109/ICECCS59891.2023.00027. Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu, “Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection”, Proceedings of The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), 14-16 June 2023 (conference date), 22 November 2023 (published date), Toulouse, France, pp. 108-115. DOI: 10.1109/ICECCS59891.2023.00022. Hongning Miao and Shaoying Liu, “Automatic Localization of Potential Faults for Java Runtime Exceptions”, 2022 9th International Conference on Dependable Systems and Their Applications (DSA 2022), IEEE CPS, pp. 320-329, 2022. Wen Jiang, Shaoying Liu, Ai Liu, “A systematic method for identifying safety-related faults in formal specifications using FTA”, The 13th International Conference on Reliability, Maintainability, and Safety (ICRMS 2022), Hong-Kang, China, 21-22 August 2022, pp. 87-92. Q. Liu, T. Zhang, J. Gao, S. Liu and J. Cheng, Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning, 2022 IEEE International Conference on Artificial Intelligence Testing (AITest), 15 August 2022, pp. 7-11, doi: 10.1109/AITest55621.2022.00010. Jiandong Li, Shaoying Liu, Ai Liu, “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), Guangzhou, China, 5-9 Dec. 2022, pp. 359-367, doi: 10.1109/QRS-C57518.2022.00060. Pingyan Wang, Shaoying Liu, Ai Liu, “Detecting Security Vulnerabilities with Vulnerability Nets”, 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Guangzhou, China, 5-9 Dec. 2022, pp. 375-383, doi: 10.1109/QRS-C57518.2022.00060. . R. Jiandong Li, Shaoying Liu*, Ai Liu, Runhe Huang, “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), IEEE CPS, 6-10 Dec. pp. 852-863, 2021, DOI: 10.1109/QRS54544.2021.00094. . Dingbang Fang, Shaoying Liu*, Ai Liu, “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), IEEE CPS, 6-10 Dec. pp. 482-492, 2021, doi: 10.1109/QRS54544.2021.00059. . Kenya Saiki, Shaoying Liu*, Hiroyuki Okamura, Tadashi Dohi, “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), IEEE CPS, pp. 149-156, Dec. 6-10, 2021, doi: 10.1109/QRS54544.2021.00026. . Yujun Dai, Shaoying Liu*, “Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection”, 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021, pp. 314-318, doi: 10.1109/QRS-C55045.2021.00054. . R. Wang, S. Liu, Y. Sato, “A Fault Localization Approach Derived from Testing-Based Formal Verification”, 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), 4-6 March 2021, pp. 165-170, doi: 10.1109/ICECCS51672.2020.00026. . Guanquan Xu, Miao Li, Xiaotong Li, Kai Chen, Ran Wang, Wei Wang, Kaitai Liang, Qiang Tang, Shaoying Liu, “Defending Use-After-Free via Relationship Between Memory and Pointer”, International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2020), In: Gao H., Wang X., Iqbal M., Yin Y., Yin J., Gu N. (eds) Collaborative Computing: Networking, Applications and Worksharing. CollaborateCom 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 349. Springer, Cham, pp. 583-597, 2021, https://doi.org/10.1007/978-3-030-67537-0_35. . Shaoying Liu, Range Partition Testing: Principle and Technique, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2020, pp. 104-107, doi: 10.1109/QRS-C51114.2020.00028. . Kenta Sugai, Hiroshi Hosobe, and Shaoying Liu, “SMT-Based Theorem Verification for Testing-Based Formal Verification,” in Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021), pp. 251-257, ACM Press, Feb. 2021. . Busalire Emeka, Soichiro Hidaka, Shaoying Liu, “A Formal Approach to Secure Design of RESTful web APIs using SOFL”, in the proceedings of the 10th International Workshop on SOFL+MSVL for Reliability and Security (SOFL+MSVL 2020), 1st March, 2021, pp. 105-125. . Rong Wang and Shaoying Liu, “Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution”, The 19th IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), IEEE Press, Sofia, Bulgaria, 2019, pp. 205-212. . Busalire Emeka and Shaoying Liu, “A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications”, 9th International Conference on SOFL+MSVL (SOFL+MSVL 2019), LNCS , Springer, Shenzhen, China, 2019 (to appear in the post-conference proceedings). . Qin Xu, Shaoying Liu, Tao Zhang, “A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction”, 9th International Conference on SOFL+MSVL (SOFL+MSVL 2019), LNCS , Springer, Shenzhen, China, 2019 (to appear in the post-conference proceedings). . Rong Wang and 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), IEEE Press, Lisbon, Portugal, 16-20 July 2018, pp. 59-66 (short paper) DOI: 10.1109/QRS.2018.00019. . Yu Chen, Shaoying Liu, “Automated Visualization of Input / Output for Processes in SOFL Formal Specifications”, The 7th International Conference on Software Engineering and Applications (SEAS 2018), Computer Science & Information Technology, AIRCC Publishing Corporation, Copenhagen, Denmark, June 23-24, 2018, pp. 33-48. . Yufei Yin, Shaoying Liu, Yixiang Chen, “TBFV-M: Testing Based Formal Verification for Sysml Activity Diagrams”, The 7th International Conference on Software Engineering and Applications (SEAS 2018), Computer Science & Information Technology, AIRCC Publishing Corporation, Copenhagen, Denmark, June 23-24, 2018, pp. 49-68. . Haitao Zhang, Guoqiang Li, Li Xiaohong, Zhuo Cheng, Jinyun Xue, Shaoying Liu, “An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property”, ICSE 2018 Posters Track. Poster T1, IEEE Press, Gothenburg Sweden, May 27 – June 3, 2018, pp. 230-231. . 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 11392, Springer, Gold Coast, Australia, 16 Nov. 2018, pp. 3-20. . Shaoying Liu, “Agile Formal Engineering Method for Software Productivity and Reliability”, The 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018), ACM press, Moscow, Russia Federation, Oct. 12-13, 2018, pp. 64-69. Doi: 10.1145/3290621.3290634. . Yufei Yin, Shaoying Liu, Yixiang Chen, “Verification of SysML Activity Diagrams using Hoare Logic and SOFL”, Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security, LNCS 11392, Springer, Gold Coast, Australia, 16 Nov. 2018, pp. 71-88. . Busalire Onesmus Emeka, Shaoying Liu, “Security Requirement Engineering Using Structured Object-Oriented Formal language for M-banking Applications”, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017), Prague, Czech Republic, : 25-29 July 2017, pp.176 – 183. . Fumiko Nagoya, Shaoying Liu, “A Comparative Study of a GUI-Aided Formal Specification Construction Approach”, 2017 International Conference on Computational Science and Its Applications (ICCSA 2017), LNCS 10404, Springer, Italy, July 3-6, 2017, pp. 273 - 283. . Busalire Onesmus Emeka, Shaoying Liu, “Assessing and Extracting Software Security Vulnerabilities in SOFL Formal Specifications”, 2018 International Conference on Electronics, Information, and Communication (ICEIC 2018), IEEE Press, Honolulu, Hawaii, USA, Jan. 24-27, 2018, pp. 1-4. DOI: 10.23919/ELINFOCOM.2018.8330613. . Pan Zhao, Shaoying Liu, “A Software Tool to Support the “Vibration’’ Method”, 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795, Springer, Xi’an, China, Nov. 16, 2017, pp. 171-186. . Siyuan Li, Shaoying Liu, “A Software Tool to Support Scenario-Based Formal Specification for Error Prevention”, 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795, Springer, Xi’an, China, Nov. 16, 2017, pp. 187-199. . Shingo Fukuoka, Yixiang Chen, Shaoying Liu, “Semi-Formal Verification with Supporting Tool by Automatic Application of Hoare Logic”, 4th Annual International Conference on Computer Science and Applications (CSA2017), ACM International Conference Proceedings Series (ICPS), Beijing, China, Dec. 8-10, 2017, pp. 83-95. . Shaoying Liu, “Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification”, Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016), LNCS 9762, Springer, Vienna, Austria, July 5-7, 2016, pp. 112-129. . Shaoying Liu, “A Tool Supported Testing Method for Reducing Cost and Improving Quality”, Proceedings of 2016 IEEE International Conference on Quality, Reliability and Security (QRS 2016), IEEE Press, Vienna, Austria, August 1-3, 2016, pp. 449 – 455. . Shaoying Liu, “Validating Formal Specifications using Testing-Based Specification Animation”, FormaliSE 2016 Proceedings of the 4th FME workshop on Formal Methods in Software Engineering, ACM Press, Austin, TX, USA, May 15, 2016, pp. 29-35. . Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou, “Applying SOFL to a Railway Interlocking System in Industry”, Proceedings of the 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS, Springer, Tokyo, Japan, November 15, 2016. . Fumiko Nagoya, Shaoying Liu, “A Case Study of a GUI-Aided Approach to Constructing Formal Specifications”, Proceedings of the 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS, Springer, Tokyo, Japan, November 15, 2016. . Shaoying Liu, “A GUI-Aided Approach to Formal Specification Construction”, 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2015), LNCS 9559, Springer, Paris, France, November 6, 2015, pp. 44-56. . Shaoying Liu, Xi Wang, and Weikai Miao, “Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction”, 17th International Conference on Formal Engineering Methods (ICFEM 2015), LNCS 9407, Springer, Paris, France, November 3-5, 2015, pp. 100-115. . Shaoying Liu, “Automatic Selection of System Functional Scenarios for Formal Specification Animation”, 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press, New Delhi, India, December 1 ~ 4, 2015, pp. 72-79. . Xiongwen Luo and Shaoying Liu, “Automatic Transformation from SOFL Module Specifications to Program Structures”, 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS 9559, Springer, Paris, France, November 6, 2015, pp. 206-218. . Fauziah binti Zainuddin and Shaoying Liu, “PowerPoint Add-in Tool Support for Informal and Semi-formal Specification Animation”, 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press, New Delhi, India, Decmber 1 ~ 4, 2015, pp.24-31. . Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, and Arne Skou, “Validating Timed Component Contracts”, 2015 41st Euromicro Conference on Software Engineering and Advnaced Applications, Conference Publishing Services, Funchal, Madeira, Portugal, August 26-28, 2015, pp. 245-249.
Weikai Miao, Xi Wang, and Shaoying Liu, “A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge”, 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), IEEE CS Press, Nanjing, China, September 12-14, 2015, pp. 127-130.
Fumiko Nagoya, Shaoying Liu, and Kyousuke Hamada, “Developing a Web Dictionary System using the SOFL Three-Step Specification Approach”, 5th International Conference on IT Convergence and Security (ICITCS 2015), IEEE CS Press, Kuala Lumpur, August 24-27, 2015, pp. 1-5, doi: 10.1109/ICITCS.2015.7292971. Fumiko Nagoya and Shaoying Liu, “Development of a Web-Based Conference Management System using SOFL”, 2015 Research in Adaptive and Convergent Systems (RACS 2015), ACM Press, Prague, Czech Republic, October 9-12, 2015, pp. 337-342. Yayato Ikeda, Yan Ye, Shaoying Liu, “Development of a Support Tool for Automatic Test Case Generation from Formal Specification”, FOSE 2015, pp. 59-64 (in Japanese) Mo Li and Shaoying Liu, “Traceability-Based Formal Specification Inspection”, Proceedings of Eighth International Conference on Software Security and Reliability (SERE), IEEE Press, San Francisco, USA, 30 June-2 July, 2014, pp.167-176. Mo Li and Shaoying Liu, “Reviewing Formal Specification for Validation Using Animation and Trace Links”, Proceedings of 21th Asia-Pacific Software Engineering Conference (APSEC 2014), IEEE Press, Jeju, Korea, 1-4 Dec., 2014, pp.286-293. Mo Li and Shaoying Liu, “Tool Support for Rigorous Formal Specification Inspection”, Proceedings of IEEE 17th International Conference on Computational Science and Engineering (CSE 2014), IEEE Press, Chengdu, China, Dec. 19-21, 2014, pp.729-734. Mo Li and Shaoying Liu, “Adopting Variable Dependency in Animation for Presenting the Behavior of Process”, Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer, Luxembourg, 6th Nov. 2014. Shaoying Liu, Fauziah binti Zainuddin, and Mo Li, “Integrating Animation into Informal Specification Writing for Requirements Analysis”, Proceedings of 3rd International Conference on Informatics Engineering and Information Science (ICIEIS 2014), SDIWC, Poland, Sept. 22, 2014, pp. 136-143. Shaoying Liu, “Extending Operation Semantics to Enhance the Applicability of Formal Refinement”, Proceedings of 2014 Symposium on Specification Algebra and Software (SAS 2014), LNCS 8373, Springer, Kanazawa, Japan, April 14-16, 2014 pp. 434-440. Shaoying Liu and Shin Nakajima, “Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice”, Structured Object-Oriented Formal Language and Method, Proceedings of 3rd International Workshop on SOFL+MSVL(SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, Oct. 29, 2013. Mo Li, Shaoying Liu. “SOFL Specification Animation with Tool Support”, 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 118-131. Shenghua Zhu, Shaoying Liu. “A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios”, 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 104-117. Xi Wang, Shaoying Liu. “An Approach to Declaring Data Types for Formal Specifications”,3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 135-153. Wahyu Eko Sulistiono, Shaoying Liu. “Applying SOFL to Constructing a Smart Traffic Light Specification”,3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 166-174. Xi Wang, Shaoying Liu. “An Approach to Representing and Utilizing Specification Pattern Knowledge for Computer-aided formalization of Requirements”, 12th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2013), IEEE Press, Niigata, Japan, June 16-20, 2013, pp. 489-496. Xi Wang, Shaoying Liu. “Guided Requirements Clarification for Automatic Formalization”, 14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013), IEEE Press, Honolulu, Hawaii, U.S.A., July 1-3, 2013, pp.348-355. Mo Li, Shaoying Liu, “Traceability-Based Formal Specification Inspection”, 8th International Conference on Software Security and Reliability (SERE 2014), IEEE Press, San Francisco, USA, June 30 – July 2, 2014. Shaoying Liu, Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs, The Turing Centenary Conference, Manchester, UK, EPiC Series, June 2012., pp. 229-238. Fauziah Zainuddin, Shaoying Liu, “An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification”, 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE CS press, Hong Kong, 2012, pp. 654-663. Mo Li, Shaoying Liu, “Automated Functional Scenarios-based Formal Specification Animation”, 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE CS press, Hong Kong, 2012, pp. 107-115. CenCen Li, Shaoying Liu, Shin Nakajima, “An Experiment for Assessment of a “Functional Scenario-based” Test Case Generation Method”, International Conference on Software Engineering and Technology (ICSET 2012), 2012, pp. 64-71. Weichen Cai, Shaoying Liu, “Building Requirements Traceability to Support Specification Construction and Evolution”, Special session on Advanced Computational Technologies for Industry and Service Management, CNSI 2012, Jeju, Korea, May 2012. Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima, “”Functional Scenario-Based” Test Case Generation Method in Unit Testing and Integration Testing”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 1-11. Weihang Zhang, Shaoying Liu, “Supporting Tool for Automatic Specification-Based Test Case Generation”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 12-25. Weikai Miao, Shaoying Liu, “A Formal Specification-Based Integration Testing Approach”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 26-43. Mo Li, Shaoying Liu, “Design and Implementation of a Tool for Specifying Specification in SOFL”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 44-55. Xi Wang, Shaoying Liu, “Development of a Supporting Tool for Formalizing Software Requirements”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 56-70. Shaoying Liu, Shin Nakajima, “A `Vibration’ Method for Automatically Generating Test Cases Based on Formal Specifications”, 18thAsia Pacific Conference on Software Engineering (APSEC 2011), IEEE CS Press, VNU-HCM, Vietnam, Dec. 5-8, 2011, pp. 73-80. Fauziah Zainuddin, Shaoying Liu, “Integrating Prototyping into the SOFL Three-Step Modeling Approach”, 13th International Conference onFormal Engineering Methods (ICFEM 2011), LNCS, Springer, Durham, UK, Oct. 25-28, 2011, pp. 163-178. Xi Wang, Shaoying Liu, Huaikou Miao, “A Pattern-Based Approach to Formal Specification Construction”, 2011 Intl. Conf. on Advanced Software Engineering and Its Application, CCIS/LNCS, Springer, Jeju, Korea, Dec. 13-15, 2011, pp.159-168. Weikai Miao, Shaoying Liu, “A Formal Specification-Based Testing Approach to Accurate Web Service Selection”, 2011 IEEE Asia Pacific Services Computing Conference, IEEE CS Press, Jeju, Korea, Dec. 12-15, 2011, pp. 259-266. Abdul Rahman Mat, Shaoying Liu, “Organizing Knowledge to Support Requirements Analysis”, 3rd Intl. Conf. on Computer Research and Development, IEEE Press, Shanghai, China, Mar. 11-13, 2011, pp. 65-71. Azma Abdullah, Shaoying Liu, “Capturing Safety Prototypes for Safety-Critical Systems using SOFL”, 2011 ACIS/JNU Intl. Conf.on Computers, Networks, Systems, and Industrial Engineering, IEEE Press, Jeju, Korea, May 23-25, 2011, pp. 186-192. Mo Li, Shaoying Liu, “Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection”, 10th IASTED Intl. Conf. on Software Engineering, Innsbruck, Austria, Feb. 15-17, 2011, pp. 18-25. Cong Tian, Shaoying Liu, Shin Nakajima, “Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates”, 2011 International Workshop on Constraints in Software Testing, Verification and Analysis, IEEE CS Press, Berlin, Mar. 25, 2011, pp. 186-192. Xi Wang, Shaoying Liu, Huaikou Miao,“A Pattern System to Support Refining Informal Ideas into Formal Expressions”, 12th International Conference on Formal Engineering Methods (ICFEM 2010), LNCS, Springer-Verlag, 17-19 Nov. 2010, Shanghai, China, pp. 662-677. Shaoying Liu and Shin Nakajima, ``A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications’’, Proceedings of 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, IEEE CS Press, Singapore, July 9-11, 2010, pp. 147-155. Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, and Shin Nakajima, ``Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation’’, 9th International Conference on Software Methodologies, Tools and Techniques (SoMet 2010), IOS International Publisher, Yokohama, Japan, Sept. 29 –-Oct. 1, 2010, pp. 383-397. Shaoying Liu and Xiang Xu, ``Automated Software Specification and Design using the SOFL Formal Engineering Method'', 2009 World Congress on Software Engineering (WCSE2009), IEEE CS Press, Xiamen, China, May 19-21, 2009, pp. 283-289. Weikai Miao and Shaoying Liu, ``Service-Oriented Modeling Using the SOFL Formal Engineering Method'', IEEE Asia-Pacific Services Computing Conference, IEEE CS press, Dec. 7-11, 2009, pp. 187-192. Abdul R. Mat and Shaoying Liu, ``Applying SOFL to Construct the Formal Specification of an Automatic Automobile Driving Simulation System'', International Conference on Software Technology and Engineering, World Scientific Publishing, Chennai, India, July 24-26, 2009, pp. 42-48. Shaoying Liu, Tetsuo Tamai, Shin Nakajima, ``Integration of Formal Specification, Review, and Testing for Software Component Quality Assurance'', Proceedings of 2009 ACM Symposium on Applied Computing, Software Engineering Track, ACM Press, Hawaii, March 2009. Shaoying Liu, ``Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications’’, Proceedings of 8th International Conference on Quality Software (QSIC 2008), IEEE Computer Society Press, Oxford, UK, Aug. 12-13, 2008, pp. 105-113. Shaoying Liu, ``Utilizing Formalization to Test Programs without Available Source Code'', Proceedings of 8th International Conference on Quality Software (QSIC 2008), IEEEComputer Society Press, Oxford, UK, Aug. 12-13, 2008, pp. 349-356. Shaoying Liu, ``Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility’’, Proceedings of 10thIEEE High Assurance Systems Engineering Symposium, IEEE Computer Society Press, Dallas, Texas, November 14-16, 2007, pp. 349-356. Shaoying Liu, ``Integrating Specification-Based Review and Testing for Detecting Errors in Programs”, Proceedings of the 9th International Conference on Formal Engineering Methods (ICFEM 2007), LNCS, Springer-Verlag, Florida Atlantic University, Boca Raton, Florida, USA, 13-15 November 2007, pp. 136-150. Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou, `` Developing an Insulin Pump System Using the SOFL Method’’, Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press , Nagoya, Japan, Dec 5-7, 2007, pp. 334-341. Shaoying Liu and Eric Wong, ``Applications of Formal Engineering Method for Modeling and Testing”, Proceedings of Fourth International Conference on Information Technology and Applications (ICITA2007), Harbin, China, 15-18 January 2007, pp. 727-732. Shaoying Liu, “Scenario-Preserved Refinement: a Small Proposal for an Important Problem”, Proceedings of 1st International Workshop on Asian Working Conference on Verified Software (AWCVS06), UNU-IIST Report No. 347, Macau, October 29-31, 2006, pp. 1-10. Shaoying Liu and Satoshi Kagiyama, ``A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams’’, Proceedings of 2006 Software Engineering and Applications (SEA2006), ACTA Press, Dallas, Texas, USA, November 13-15, 2006, pp.105-110. Fumiko Nagoya, Yuting Chen, Shaoying Liu, ``An Empirical Study on a Specification-Based Program Review Approach’’, Proceedings of 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), IEEE Computer Society Press, Szklarska Poreba, Poland, May 24-28, 2006, pp. 199-206. Yuting Chen, Shaoying Liu, Fumiko Nagoya, ``A Tool-Supported Review Approach to Detecting Structural Consistency Violations'', Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICEECS 2006), IEEE Computer Society Press, Stanford University, CA, USA, 14-18 August 2006, pp. 121-130. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, and John McDermid. An Automated Approach to Specification-Based Program Inspection The 7th International Conference on Formal Engineering Methods (ICFEM 2005), Manchester, UK, LNCS 3785 Springer-Verlag, 1-4 November 2005, pp. 421-434. Fumiko Nagoya, Shaoying Liu, Yuting Chen, A Tool and Case Study for Specification-Based Program Review, The 29th Annual International Computer Software and Applications Conference (COMPSAC2005), Edinburgh, Scotland, July 25-28,2005 IEEE Computer Society Press, pp. 375-380. Fumiko Nagoya, Shaoying Liu, Yuting Chen Design and Implementation of a Specification-Based Program Review Tool, The 9th IASTED International Conference on Software Engineering and Applications (SEA 2005), Phoenix, AZ, USA November 14-16, 2005, pp. 48-53. Yuting Chen, Shaoying Liu, and Fumiko Nagoya, “A Review Approach to Detecting Structural Consistency Violations inPrograms”, 4th Annual International Conference on Computer and Information Science (ICIS 2005), IEEE Computer Society Press, July 14-16, 2005, Jeju Island, South Korea, pp. 61-66. Fumiko Nagoya, Shaoying Liu, Yuting Chen, “Design of a Tool for Specification-Based Program Review”, Workshop on SOFL in the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), Shanghai, China, 16-20 June 2005, IEEE Computer Society Press, pp. 10-11. Yuting Chen, Shaoying Liu, and Fumiko Nagoya, “A Framework for SOFL-Based Program Review”, Workshop on SOFL in the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), Shanghai, China, 16-20 June 2005, IEEE Computer Society Press, pp. 6-7. Fumiko Nagoya, Shaoying Liu, Yuting Chen: “An Investigation of the Approach to Specification-based Program Review through Case Studies”, The 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2004), IEEE Computer Society Press, Florence, Italy, April 14-16, 2004, pp. 249-258. Yuting Chen and Shaoying Liu: “An Approach to Detecting DomainErrors Using Formal Specification-Based Testing”, The 11th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Nov. 30 – Dec. 3, 2004, pp. 276-283. Yuting Chen, Shaoying Liu, Fumiko Nagoya: “An Approach to Integration Testing Based on Data Flow Specifications”, First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), LNCS, Springer-Verlag, Guiyiang, China, 2004, pp. 405-419. Shaoying Liu: “A Framework for Developing Dependable Software Systems Using the SOFL Method”, First Workshop on Dependable Software (DSW2004), Tokyo, Feb. 23-24, 2004, pp. 131-140. Yuting Chen and Shaoying Liu, “Rigorous Review for Developing Reliable Software in Industry”, In LeiLi and Kang K. Yen, editors, Proceedings of 3rd International Conference on Information, International Information Institute, Tokyo, Japan, 2004, pp.557–560. Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu, The Availability Semantics of Predicate Data Flow Diagrams, Second International Workshop on Grid and Cooperative Computing (GCC2003), LNCS, Springer-Verlag, Shanghai, China, December 7-10, 2003, pp. 1426-1433. Wuwei Shen, Shaoying Liu, Formalization, Testing and Execution of a Use Case Diagram, 5th International Conference on Formal Engineering Methods (ICFEM2003), LNCS, Springer-Verlag, Singapore, November 5-7, 2003, pp. 68-85. Shaoying Liu, A Property-Based Approach to Reviewing Formal Specifications for Consistency, 16th International Conference on Software & Systems Engineering and Their Applications, Paris, France, December 2-4, 2003, Vol. 4, pp. 1/6 - 6/6. Shaoying Liu, Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications, Proceedings of Asia-Pacific Software Engineering Conference (APSEC03), IEEE Computer Society Press, Chiangmai, Thailand, December 10-12, 2003, pp. 510-519. Shaoying Liu, Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols, Proceedings of The International Conference on Advanced Information Networking and Applications (AINA2003) IEEE Computer Society Press, March 27-29, 2003, Xi'an, China, pp. 289-292. Sirin Bekbay, Shaoying Liu, A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL, Third International Conference on Quality Software (QSIC2003), IEEE Computer Society Press, Dallas, Texas, USA, November 6-7, 2003, pp. 100-107. Shaoying Liu, Capturing Complete and Accurate Requirements by Refinement, Proceedings of 8th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Greenbelt, Maryland, USA, December 2-4, 2002. Shaoying Liu, Jin Song Dong, Extending SOFL to Support Both Top-Down and Bottom-Up Approaches, Proceedings of 2002 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2002), IEEE Computer Society Press, Hammamet, Tunisia, October 6-9, 2002. Shaoying Liu, A Top-Down Approach to Identifying and Defining Words for Lyee Using Condition Data Flow Diagrams, Proceedings of 2002 Lyee International Workshop (Lyee-W02), IOS international publisher, Paris, France, October 3- 5, 2002. Shaoying Liu, Integrating UML and SOFL for Object-Oriented Design, Proceedings of The Third International Conference on Computer and Information Technology (CIT2002), Aizu-Wakamatsu City, Japan, September 11 - 14, 2002, pp. 92-98. Jin Song Dong, Shaoying Liu, The Semantics of Extended SOFL, Proceedings of 26th Annual International Software and Application Conference, IEEE Computer Society Press, Oxford, England, 26-29 August 2002, pp. 653 -658. Shaoying Liu, An Approach to Transforming Visual Formal Specifications to Java Programs, Proceedings of The Third International Conference on Computer and Information Technology (CIT2002), Aizu-Wakamatsu City, Japan, September 11 - 14, 2002 ,pp. 116-123. Shaoying Liu, A Simulation Approach to Verification and Validation of Formal Specifications'', Proceedings of First International Conference on Cyber World: Theory and Practice, IEEE Computer Society Press, pp. 113-120, November 6-8, 2002, pp. 113-120. Shaoying Liu, A Rigorous Approach to Reviewing Formal Specifications, Proceedings of 27th Annual IEEE/NASA International Software Engineering Workshop, IEEE Computer Society Press, December 4-6, 2002, pp. 75-81. Shaoying Liu, Jin Song Dong, Class and Module in SOFL, Proceedings of The Second Asia-Pacific Conference on Quality Software, IEEE Computer Society Press, Hong Kong, 10-11 December 2001, pp. 241-245. Takaaki Nakano, Shaoying Liu, Improving Software Process Quality Using Formal Engineering Methods, Proceedings of Foundation of Software Engineering 2001 (FOSE2001), Kindai Science Press, November 2001, pp. 163-166. Hassan Gomaa, Shaoying Liu, Michael Shin, Integration of Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language, Proceedings of 6th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Tokyo, Japan, September 11-14, 2000, pp. 61-71. Shaoying Liu, “Verifying Formal Specifications Using Fault Tree Analysis”, Proceedings of International Symposium on Principle of Software Evolution, IEEE Computer Society Press, Kanazawa, Japan, November 1-2, 2000. Shaoying Liu, Tetsuo Fukuzaki, Toji Miyamoto, “A GUI and Testing Tool for SOFL”, Proceedings of 2000 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Singapore, December 5-8, 2000. Shaoying Liu and Jim Woodcock, “Supporting Rigorous Reviews of Formal Specifications Using Fault Trees”, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, Publishing Hoseu of Electronics Industry, August 21-25, 2000, Beijing, China, pp. 459-470. Shaoying Liu, “Verifying Consistency and Validity of Formal Specifications by Testing”, Proceedings of World Congress on Formal Methods in the Development of Computing Systems, FM'99 - Formal Methods, Lecture Notes in Computer Science, No. 1708, Springer-Verlag, Toulouse, France, September 20-24, 1999, pp. 896-914. Shaoying Liu, Masaomi Shibata, Ryuichi Sato, “Applying SOFL to Develop a Univeristy Information System”, Proceedings of 1999 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Takamatsu, Japan, December 6-10, 1999. Jin Song Dong and Shaoying Liu, “An Object Semantic Model of SOFL”, Proceedings of Integrated Formal Methods 1999: - A Workshop on Combining State-based and Behavioural Formalisms - (IFM'99), Springer-Verlag, York, UK, June 28th-29th 1999. A Jeff. Offutt, Yiwei Xiong, Shaoying Liu, “Criteria for Generating Specification-based Tests”, Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), IEEE Computer Society Press, Las Vegas, Nevada, USA, October 18-21, 1999, pp. 119-129. Shaoying Liu, “Software Development by Evolution”, Proceedings of Second International Workshop on Principles of Software Evolution (IWPSE99), Fukuoka City, Japan, July 16-17, 1999, pp. 12-16. Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills, “Interacting Frameworks in Catalysis”, Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, December 9-11, 1998, pp. 110-119. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura, “An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL”, Proceedings of Fourth IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Monterey, California, USA, August 10-14, 1998, pp. 100-114. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura, “Applying SOFL to Specify A Railway Crossing Controller for Industry”, Proceedings of 1998 IEEE Workshop on Industrial-strength Formal specification Techniques, Boca Raton, Florida, USA, October 20-23, 1998. Shaoying Liu, “Evolution: A More Practical Approach than Refinement for Software Development”, Proceedings of Third IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Villa Olmo, Como, Italy, September 8-12 1997, pp. 142-151. Chris Ho-Stuart and Shaoying Liu, “A Formal Operational Semantics for SOFL”, Proceedings of 1997 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Hong Kong, December 2-5, 1997, pp. 52-61. Yong Sun, Shaoying Liu, Mitsuru Ohba, “Self-independent Petri Nets for Distributed Systems”, Proceedings of the 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Descriptions for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'97), Chapman & Hall, Osaka, Japan, November 18-21, 1997, pp. 487-502. Jian Chen and Shaoying Liu, “An Approach to Testing Object-Oriented Formal Specifications”, Proceedings of TOOLS Pacific 96, Melbourne, Australia, TOOLS/ISE, November 25-28, 1996, pp. 225-238. John A. McDermid and Shaoying Liu, “A Case Study Using SAM -- Safety Analysis of PES”, Proceedings of 1996 Asia-Pacific Software Engineering Conference, IEEE Press, Soeal, Korea, December 4-6, 1996, pp. 217-224. Shaoying Liu and Chris Ho-Stuart, “Semi-automatic Transformation from Formal Specifications to Programs”, (received an ``Outstanding Paper Award''), Proceedings of Second IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Montreal, Canada, October 21-25, 1996, pp. 506-513. Shaoying Liu and Rolf Adams, “Limitations of Formal Methods and An Approach to Improvement”, Proceedings of 1995 Asia-Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society Press, Brisbane, Australia, December 6 -- 10, 1995, pp. 498-507. Shaoying Liu and Yong Sun, “Structured Methodology + Object-Oriented Methodology + Formal Methods: Methodology of SOFL”, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems, IEEE Press, Ft. Landerdale, Florida, U.S.A., November 6 -- 10, 1995, pp. 137-144. Victoria Stavridou, Shaoying Liu, Bruno Dutertre, ``Formal Methods and Dependability Assessment, Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS'94), IEEE Press, Gaithersburg, U.S.A., June 27 - July 1, 1994, pp. 53-66. Shaoying Liu and John A. McDermid, “Dynamic Sets and Their Application in VDM”, Proceedings of 1993 ACM Symposium on Applied Computing, Indiana, ACM Press, USA, Feb., 1993, pp. 187-192. Shaoying Liu, ``A Formal Software Design Language and Correctness Proofs, Proceedings of Nordic Workshop on Programming Environment Research Tampere, Finland, 8-10 January, 1992, pp. 1-15. Shaoying Liu, ``A Formal Structured Method for Requirements Specification Construction, Proceedings of 1992 ACM Symposium on Applied Computing (SAC '92), Kansas City, USA, ACM Press, 1-3 March, 1992, pp. 1055-1063. Shaoying Liu, ``A Formal Graphical Language for Requirements Specification of Information Systems, Proceedings of 2nd Irvine Software Symposium (ISS'92), University of California, Irvine, USA, 6 March, 1992, pp.164-179. Shaoying Liu, ``A User-Friendly Formal Requirements Specification Method, Proceedings of 30th Annual ACM Southeast Conference, Raleigh, NC, USA, ACM Press, 8-10 April, 1992, pp. 211-218. Shaoying Liu, ``A Practical Method for Producing Precise Requirements Specifications, Proceedings of Second Great Lakes Computer Science Conference, Kalamazoo, USA, October 17-19, 1991, pp. 3-15. Shaoying Liu, ``Gradual Formal System Development Method, Proceedings of the International Conference on Systems Management '90, Hong Kong, 11-13 June,1990, pp. 13-19. 六, 教育论文 Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, and ToshihiroNakayama, "Teaching Formal Methods in the Context of Software Engineering", ACM inroads SIGCSE Bulletin, ACM Press, Vol. 41, No. 2, June 2009, pp.17-23. Shaoying Liu, "Trial of a Six-Step Teaching Method (六步教学法的尝试)", Journal of Teaching Research (教学研究), Xi'an Jiaotong University Press (西安交通大学出版社), Feb. 1985, pp. 60-64. 荣誉及奖励1. 入选国家级高层次人才计划 2. IEEE 会士 3. 英国计算机协会(BCS) 会士 4. 亚太人工智能协会(AAIA) 会士 5. 2024年IEEE国际会议DSA 2024 特殊成就奖 6. 2020年和2022年两次获得日本信息处理学会软件工程研究会 卓越研究奖 7. 2018年的20年ICFEM 最有影响研究者奖 8. IEEE可靠性协会日本联合分会2016年 最佳论文奖 9. 2011年中国国家示范软件学院十佳兼职教师奖 10. IEEE计算机学会杰出服务荣誉证书，以表彰其作为ICFEM'97大会主席和创始人的杰出贡献 11.1996年IEEE国际会议ICECCS'96 优秀论文奖 |
|
刘少英 (Shaoying Liu) |