Päättelytekniikka ohjelmisto-ongelmien selvittämiseen!