WO2008/00022005/18/2016 Software and Techniques for Generation of Self-Checking Random ProgramsShare Article Back