Gettiers in software engineering (2019)