%0 Journal Article %A Ilieva, Sylvia %A Pavlov, V. %A Manova, I. %A Manova, D. %T A Framework for Design-Time Testing of Service-Based Applications at BPEL Level %J Serdica Journal of Computing %D 2011 %P 367-384 %V 5 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/SJC_2011_5_4_a4/ %G en %F SJC_2011_5_4_a4