Model Checking Java Programs Asked In Interviews