Zijiang James Yang
Department of Computer Science
College of Engineering and Applied Science

Western Michigan University

Office: Parkview Campus B-242
Address: 1903 West Michigan Avenue, Kalamazoo, MI 49008-5466
Phone: (269) 276-3114 (I do not check voice mail)
Fax: (269) 276-3122
Email: zijiang.yang @ wmich . edu




My research is in the broad areas of software engineering and formal methods. The primary focus is to develop formal method based tools to support the debugging, analysis and verification of complex systems.

Selected recent publication since 2015 (full list):

  1. [BIB]Zhou Xu, Jin Liu, Gege An and Zijiang Yang. The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison. The 27th International Symposium on Software Reliability Engineering (ISSRE), October 23-27, 2016. Ottawa, Canada.
  2. [BIB]Yan Cai and Zijiang Yang. Radius Aware Probabilistic Testing of Deadlocks with Guarantees. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore.
  3. [BIB]Lin Cheng, Jialiang Chang, Zijiang Yang and Chao Wang. GUICat: GUI Testing as a Service. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore. Tool Paper.
  4. [BIB]Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, and Zijiang Yang. Dependence Guided Symbolic Execution. IEEE Transactions on Software Engineering (TSE). 2016. To Appear.
  5. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang. Exploiting Thread-Related System Calls for Plagiarism Detection of Multithreaded Programs. Journal of Systems and Software (JSS), 119: 136-148, 2016.
  6. [BIB]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Minnan Luo, Yu Qu. Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions. IEEE Transactions on Fuzzy Systems (TFS).  24(3): 600-614, 2016.
  7. [BIB]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta. Assertion guided symbolic execution of multithreaded programs. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Bergamo, Italy. August 31-September 4, 2015.
  8. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Zhao Chen, and Chao Wang. A synergistic analysis method for explaining failed regression tests. The 37th International Conference on Software Engineering (ICSE), May 16-24, 2015. Firenze, Italy.
  9. [BIB]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang and Zijiang Yang. Software Plagiarism Detection with Birthmarks based on Dynamic Key Instruction Sequences. IEEE Transactions on Software Engineering (TSE). Vol PP, Num 99, 2015.
  10. [BIB]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Postconditioned Symbolic Execution. The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST),  April 13-17, 2015. Graz, Austria.
  11. [BIB]Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Lidan Wang, Yuqiao Hou, Zijiang Yang. Exploring Community Structure of Software Call Graph and its Applications in Class Cohesion Measurement. Journal of Systems and Software (JSS), 2015.
  12. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang. Explaining software failures by cascade fault localization. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2015.
  13. [BIB]Ping Yang, Mikhail I. Gofman, Scott Stoller, and Zijiang Yang. Policy Analysis for Administrative Role Based Access Control without Separate Administration. Journal of Computer Security (JCS),  23(1) , 2015.






  • Mohamed Elwakil (Ph.D. 2013), first employment: Assitant Professor at Cario University
  • Mahmoud Said (Ph.D. 2012), first employment: Assitant Professor at Jordan University of Science and Technology
  • Marko Ljucovic (M.S. in Computer Science, 2011) First Employment: Amazon
  • Chang Wang (M.S. in Computer Science, 2012). First Employment: Amazon
  • Kefei Wei (M.S. in Computer Science, 2009) First Employment: graduate assistant at Iowa State University


NSF Logo ONR Logo   NEC Logo  Google Logo     MIIE LogoMIIE Logo

Visits since 8/15/2015:




Last update on: August 30, 2016.