@inproceedings{JmalSAC13,
  author    = {Afef Jmal Maalej and Moez Krichen and Mohamed Jmaiel},
  title     = {WSCCT: A Tool for WS-BPEL Compositions Conformance Testing},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
  year      = {2013},
 pages     = {1055-1061},
 publisher = {ACM},
 address = {Coimbra, Portugal},
 doi = {10.1145/2480362.2480563},
 keywords = {Formal}
}