Model Checking Java Programs For Selenium Interview