导师介绍

导师姓名
陈雨亭
导师性别男
职务职称讲师.
所在院系软件学院
所属学科软件工程
研究方向程序分析与测试形式化方法
联系电话15801755532
电子邮箱chenyt@sjtu.edu.cn

个人简介

陈雨亭：男，博士，讲师，就职于上海交通大学电子信息与电气工程学院。他于2007年3月在日本法政大学情报科学研究科博士毕业，2003年及2000年于南京大学计算机科学与技术系分别获得硕士、学士学位。2007.4-2008.2曾在美国德州大学达拉斯分校计算机系担任访问学者，并从事美国宇航局NASA的软件安全性测试项目的研究。申请人的主要研究方向是软件工程，特别是软件测试、软件分析、软件审阅、软件安全及形式化工程方法，并曾在国际会议与期刊上发表过20多篇论文。申请人也为多个国际会议与重要期刊（如IEEETransactionsonReliability、软件学报等）从事论文评审工作，并曾担任ICFEM、SSIRI、APSEC、QSIC等多个国际会议的程序委员会委员。此外，申请人主持了自然科学基金项目“基于模拟执行的软件功能规约的安全性验证”，并曾作为主要参与人参加了多个研究课题，包括国家863重点项目“高可信软件生产工具及集成环境”二期子课题“Trustie技术在航天控制软件生产过程中的可信评估、应用和演化研究”、自然科学基金项目“面向方面软件的变化影响分析理论及其应用”、日本国立情报学研究所的合作研究项目“双向模型转换技术的研究”等。
代表性论著

[1]ShaoyingLiu,YutingChen,FumikoNagoya,JohnAMcDermid.FormalSpecification-BasedInspectionforVerificationofPrograms.AcceptedbyIEEETransactionsonSoftwareEngineering(TSE).14pages.(AcceptDate:24-Aug-2011)[2]YutingChen,ShaoyingLiu,andW.EricWong.AReviewApproachtoDetectingViolationsofConsistencybetweenSpecificationandProgramStructures.InternationalJournalofSoftwareEngineeringandKnowledgeEngineering(IJSEKE),18(8):1013-1042,December2008.[3]ShaoyingLiu,JohnA.McDermid,andYutingChen.ARigorousMethodforInspectionofModel-BasedFormalSpecifications.IEEETransactionsonReliability,59(4):667–684,December2010.[4]ShaoyingLiuandYutingChen.ARelation-BasedMethodCombiningFunctionalandStructuralTestingforTestCaseGeneration.JournalofSystemsandSoftware(JSS),81(2):234-248,February2008.