I recently received an email from a colleague who is active in specification mining (software specifications from execution...