@inproceedings{che:hal-01263247,
  TITLE = {{Guiding testers' hands in monitoring tools : application of testing approaches on SIP}},
  AUTHOR = {Che, Xiaoping and Nguyen, Huu Nghia and Maag, Stephane and Zaidi, Fatiha},
  URL = {https://hal.science/hal-01263247},
  NOTE = {Part 3: Monitoring and Fault Localization},
  BOOKTITLE = {{27th IFIP International Conference on Testing Software and Systems (ICTSS)}},
  ADDRESS = {Sharjah and Dubai, United Arab Emirates},
  HAL_LOCAL_REFERENCE = {15540},
  EDITOR = {Khaled El-Fakih and Gerassimos Barlas and Nina Yevtushenko},
  PUBLISHER = {{Springer international publishing}},
  SERIES = {Testing Software and Systems},
  VOLUME = {LNCS-9447},
  PAGES = {105-123},
  YEAR = {2015},
  MONTH = Nov,
  DOI = {10.1007/978-3-319-25945-1\_7},
  KEYWORDS = {Formal methods ; Monitoring ; SIP ; Passive testing},
  PDF = {https://hal.science/hal-01263247/file/385214_1_En_7_Chapter.pdf},
  HAL_ID = {hal-01263247},
  HAL_VERSION = {v1},
}