440 Stipes Hall
Before that she received a Master degree in computer science from UT Dallas in August 2008. Previously, she received her B.E and M.E in computer science from Nankai University in 2002 and 2005, respectively.
CS 491 Software Engineering I
CS 492 Software Engineering II
CS 585 Topics in Software Engineering
Software Engineering: Program Verification and Analysis, Reverse Engineering, Visual Modeling Languages, Model Driven Development, Mining Software Engineering Data.
Information Visualization: Software Visualization, Cross-referencing Visualization, Computer Graphics.
Human-Computer Interaction: Adaptive Interface Design, Usability Study.
Web Services: Service Composition, Runtime Behavior Verification.
Chunying Zhao, Jun Kong, and Kang Zhang, "Program Behavior Induction and Verification: A Graph Grammar Approach", IEEE Transaction on Software Engineering (TSE), Vol. 36, No. 3, May-June 2010, pp. 431 - 448.
Jun Kong and Chunying Zhao, "Visual Language Techniques for Software Development", Journal of Software, Vol. 19, No. 8, August 2008, 1902-1919.
Chunying Zhao, Jun Kong, Jing Dong, and Kang Zhang, "Pattern-based design evolution using graph transformation", Journal of Visual Language and Computing (JVLC), August 2007, Vol. 18, No. 4, 378-398.
Jingtai Liu; Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Research on Competitive Teleoperating Robot System", Robot, Vol. 27, No. 1, 2005: 68-72.
Jie Hao, Chad Gabrysch, Chunying Zhao, and Kang Zhang, "A General Methodology for Visualizing Hierarchical Information on Mobile User Interfaces", Journal of Advanced Intelligence, Accepted.
Chunying Zhao and Kang Zhang, "A Graph Grammar Approach to Behavior Verification of Web Services", High Assurance Services Computing, ISBN: 978-0-387-87657-3, Springer, May 2009, pp. 127-143.
Chungying Zhao, Kang Zhang, Jie Hao, and Eric W. Wong, "Visualizing Multiple Program Executions to Assist Behavior Verification", Proc. IEEE International Conference on Secure Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July, 2009, pp. 113-122, IEEE Press. (Accept rate 23%)
Chunying Zhao, Kang Zhang, and Yu Lei, "Abstraction of Multiple Executions of
Object-Oriented Programs", Proc. 24th Annual ACM Symposium on Applied Computing (SAC09),
Chunying Zhao and Kang Zhang, "A Grammar-Based Reverse Engineering Framework for Behavior Verification", Proc. 11th IEEE International Symposium on High Assurance Systems Engineering (HASE08), Nanjing, China, 3-5 December 2008, pp. 449-452, IEEE Press. (Acceptance rate 28%)
Chunying Zhao, Kevin Ates, Jun Kong, and Kang Zhang, "Discovering Programs Behavioral Patterns by Inferring Graph-Grammars from Execution Traces", Proc. 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI08), Dayton, 3-5 November 2008, pp. 395-402, IEEE Press. (Acceptance rate 29%)
Chunying Zhao and Kang Zhang, "Transformational Approaches to Model Driven
Architecture - A Review", Proc. 31st Annual Software Engineering Workshop (SEW 2007),
Chunying Zhao, Jun Kong, and Kang Zhang, "Design Pattern Evolution and Verification Using
Graph Transformation", Proc. 40th Annual
Jingtai Liu, Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Competitive Multi-robot Teleoperation", Proc. 2005 IEEE International Conference on Robotics and Automation (ICRA 2005), 18-22 April 2005, Barcelona, Spain, pp. 75- 80, IEEE Press. (771 out of 1700, Acceptance rate 45%)
Chunying Zhao, Jingtai Liu, Yujuan Li, Tao Chen, and Lei Sun, "Virtual Repulsive Force in Competitive Multi-Robot Teleoperation", Proc. International Conference on Information Technology and Applications (ICITA 2005), Sydney, 4-7 July, 2005, pp. 15-20, IEEE Press. (Acceptance rate 26%)
Jingtai Liu, Tao Chen, Lei Sun, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Telegame, A New Type of Teleoperation", Proc. 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 4741-4744, IEEE Press.
Lei Sun, Jingtai Liu, Guizhang Lu, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Internet-Based Telegame", Proc 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 2004, 4933-4936, IEEE Press.