Seeing the Invisible: Embedding Tests in Code That Cannot be Modified Owen O'Malley, Masoud Mansouri-Samani, Peter Mehlitz, Joh Penix