@inproceedings{JmalQASBA13,
 author = {Afef Jmal Maalej and Zeineb Ben Makhlouf and Moez Krichen and Mohamed Jmaiel},
 title = {Conformance testing for quality assurance of clustering architectures},
 booktitle = {Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications},
 series = {QASBA 2013},
 year = {2013},
 pages = {9-16},
 numpages = {8},
 address = {Lugano, Switzerland},
 doi = {10.1145/2489300.2489338},
 acmid = {2489338},
 publisher = {ACM},
 keywords = {Formal}
}