@inproceedings{DBLP:conf/cal/KrichenM19,
  author    = {Moez Krichen and
               Afef Jmal Ma{\^{a}}lej},
  editor    = {Ismael Bouassida Rodriguez and
               Abdelhak{-}Djamel Seriai},
  title     = {Une Approche Formelle pour Combiner les Tests Fonctionnels et les
               Tests de Charge},
  booktitle = {Avanc{\'{e}}es r{\'{e}}centes dans le domaine des Architectures
               Logicielles : articles s{\'{e}}lectionn{\'{e}}s et {\'{e}}tendus
               de {CAL} 2019, Hammamet, Tunisie, 29-30 octobre 2019},
  series    = {{RNTI}},
  volume    = {{L-9}},
  pages     = {91--102},
  publisher = {{\'{E}}ditions {RNTI}},
  year      = {2019},
  url       = {http://editions-rnti.fr/?inprocid=1002707},
}