Stikkel Gábor: Dynamic model for the system testing process : [abstract].