@article{SJC_2011_5_4_a4,
     author = {Ilieva, Sylvia and Pavlov, V. and Manova, I. and Manova, D.},
     title = {A {Framework} for {Design-Time} {Testing} of {Service-Based} {Applications} at {BPEL} {Level}},
     journal = {Serdica Journal of Computing},
     pages = {367--384},
     publisher = {mathdoc},
     volume = {5},
     number = {4},
     year = {2011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2011_5_4_a4/}
}