Thesis Defense: Garima Bansal
Floyd Building 224 2710 University Dr., Richland, United StatesAnnouncement of Thesis Defense/Final Examination: Candidate: Garima Bansal Degree: MS Computer Science Date: April 21, 2017 Time: 3:30pm Place: West (Floyd) 224 Advisor: Dr. Li Tan Thesis Title: Automated Test Generation for Temporal Specifications All are invited to attend.