基本介紹
- 中文名：段莉華
- 研究方向：基於模型驅動的軟體工程、物聯網技術與套用、軟體測試與驗證
教育經歷,工作經歷,主講課程,發表論文,
教育經歷
2005-2009
計算機科學博士，加拿大溫莎大學
2002-2005
計算機科學碩士，加拿大溫莎大學
1995-1999
通信工程工學學士，北京郵電大學碩士
工作經歷
2010-
講師，北京大學軟體與微電子學院無錫校區
2008
講師（兼職），加拿大溫莎大學
2002-2005
工程師，浙江省郵電規劃設計院
主講課程
《算法設計與分析》
《面向對象技術高級課程》
《計算機科學技術基礎》
《軟體驗證與測試》
發表論文
Lihua Duan and Jessica Chen. Exploring Alternatives for Transition Verification. Journal of Systems and Software, Volume 82, Issue 9, pp. 1388-1402, 2009. Elsevier.
Lihua Duan and Jessica Chen. Error-preserving Reductions on Communication Protocols. Software Testing, Verification and Reliability, Volume 18, Issue 1, pp. 51-68, 2008. John Wiley & Sons.
Samaneh Navabpour, Lihua Duan, and Jessica Chen. Webpage Traverse with History Stack. Proc. of the Ninth International Conference on Quality Software (QSIC'09), pp.98-107. IEEE Computer Society Press.
Lihua Duan and Jessica Chen. An Approach to Testing with Embedded Context using Model Checker. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'08), Lecture Notes in Computer Science Vol. 5256, pp. 66-85, 2008. Springer-Verlag.
Lihua Duan and Jessica Chen. Reducing Test Sequence Length Using Invertible Sequences. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'07), Lecture Notes in Computer Science Vol. 4789, pp. 171-190, 2007. Springer-Verlag.
Lihua Duan and Jessica Chen. Alternative beta-sequences. Proc. of the Seventh International Conference on Quality Software (QSIC'07), pp. 127-136, 2007. IEEE Computer Society Press.
Lihua Duan and Jessica Chen. A Formal Approach to Website Maintenance. Proc. of the Tenth IEEE High Assurance Systems Engineering Symposium (HASE'07), pp.419-420, 2007. IEEE Computer Society Press.
Lihua Duan, Yan Wang, and Jessica Chen. Enhanced Traverse of Web Pages. Proc. of the Tenth IEEE. High Assurance Systems Engineering Symposium (HASE'07), pp. 113-122, 2007. Fast abstract. IEEE Computer Society Press.
Jessica Chen and Lihua Duan. Conditions for Avoiding Controllability Problems in Distributed Testing. Proc. of the Eighth International Conference on Formal Engineering Methods (ICFEM'06), Lecture Notes in Computer Science Vol. 4260, pp. 460-477, 2006. Springer-Verlag.
Jessica Chen and Lihua Duan. Optimal Synchronizable Test Sequence from Test Segments. Proc. of the Sixth International Conference on Quality Software (QSIC'06), pp. 266-273, 2006. IEEE Computer Society Press.
