US20080189528 05/18/2016 System, Method and Software Application for the Generation of Verification Programs Share Article Back