AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs

Ferhat Erata

PhD Candidate at Yale | Applied Scientist Intern at Amazon AI

My research interests include automated reasoning, program synthesis, neurosymbolic approaches, security, and formal verification.