Amsterdam  June 1st  2012 BUGSENG  a highly skilled business in program verification  based in Parma  Italy  has selected and acquired a license for the SuperTest™ compiler test and validation suite from ACE Associated Compiler Experts  the Dutch compiler and system software technology company