1. Design, Implementation and Evaluation of a Symbolic N-variant Simulator Open Access Author: Guo, Pinyao Title: Design, Implementation and Evaluation of a Symbolic N-variant Simulator Graduate Program: Information Sciences and Technology Keywords: Symbolic ExecutionIntrusion Detection SystemN-Variant SystemArtificial Diversity File: Download masters_thesis_Pinyao_Guo.pdf Committee Members: Peng Liu, Thesis Advisor/Co-Advisor