Skip to main content Skip to navigation
School of Electrical Engineering & Computer Science Faculty

Bolong ZengBolong Zeng

Clinical Assistant Professor and Program Coordinator

Office: WSU Hall Room 427 – Everett
Phone: (425) 405-1737







  • Ph.D in Computer Science, School of Electrical Engineering and Computer Science, Washington State University, 2009-2015
  • B.S. in Computer Software, School of Software, Tsinghua University, 2005-2009

Professional Experience:

  • School of Electrical Engineering and Computer Science, Washington State University, 2015-present

Research and Teaching Interests:

  • Model Checking, Formal-verification-assisted Testing
  • Software Engineering, Requirements Engineering and Education
  • Computer Science/Software Engineering in Interdisciplinary Applications

Recent Publications:

  • Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements
    Bolong Zeng, Li Tan
    In Theoretical Information Reuse and Integration, Advances in Intelligent and Software Computing, Vol 446, 31-57, Springer International Publishing. 2016.
  • Test Reactive Systems with Büchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation
    Bolong Zeng, Li Tan
    In the Proceedings of the 16th IEEE International Conference on Information Reuse and Integration (IEEE IRI’15), San Francisco, CA. August, 2015.
  • Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement
    Li Tan, Bolong Zeng
    In Formalisms for Reuse and Systems Integration, Advances in Intelligent Systems and Computing, Vol 346, 1-25, Springer International Publishing, 2015.
  • Canopy Pruning Grade Classification Based on Fast Fourier Transform and Artificial Neural Network
    Yongni Shao, Li Tan, Bolong Zeng, Qin Zhang
    In Transactions of the American Society of Agricultural and Biological Engineers (ASABE), 57(3): 963-971, 2014.