Adimen Artifizialeko algoritmoetan oinarritutako software-plataforma, software txertatua egiaztatzeko probak automatikoki idazteko.