Type Testing Engineering