Text this: A state-of-practice on teaching software verification and validation