1. Towards Automating the Generation of Finite State Machines from Natural Language Specifications: A Focus on Cellular Network Security Open Access Author: Ishtiaq, Abdullah Al Title: Towards Automating the Generation of Finite State Machines from Natural Language Specifications: A Focus on Cellular Network Security Graduate Program: Computer Science and Engineering (MS) Keywords: Cellular Network SecurityNatural Language ProcessingFormal AnalysisFinite State MachinesCellular Network SecurityNatural Language ProcessingFormal AnalysisFinite State Machines File: Download Ishtiaq_MS_Thesis.pdf Committee Members: Syed Rafiul Hussain, Thesis Advisor/Co-AdvisorRui Zhang, Committee MemberChitaranjan Das, Program Head/Chair
