Proof Test Coverage – ProSIS-FSE