Gőgös Barnabás: Automatic test purpose generation based on formal grammar representation of communication protocols : [abstract].