1. Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case GenerationUsing Automated Planning 2. Formal…