Simple examples of formal testing techniques taught in Regis University MSSE 640 "Software Quality and Testing"