信息科学技术学院计算机科学系学术讲座（二）
题 目：A Dynamic Stochastic Model for Automatic Grammar-based Test Generation
报告人：美国内布拉斯加大学（University of Nebraska） 郭海峰 副教授
报告人简介：Haifeng Guo is an associate professor of computer science in University of Nebraska at Omaha. He holds a Ph.D. in Computer Science from New Mexico State University in May 2001. His research interests include software testing, formal methods, declarative programming languages, and automated reasoning. Dr. Guo has published a dozen of journal papers and more than 50 international conference and workshop papers.
时 间：2014年5月21日（周三）下午3：00
地 点：南海楼407计算机科学系会议室
热烈欢迎广大师生参加!
信息科学技术学院
2014年5月20日