段莉华，博士 讲师

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.