selected publications conference paper Testing communication protocols within test cases dependencies framework. . 2015