Stav dette: Automatic testing: system and applications