TY - CONF T1 - Conformance Testing from Message Sequence Charts JO - 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation UR - https://doi.org/10.1109/icst.2011.29 PY - 2011/06/17 AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1109/icst.2011.29 PB - IEEE SP - 279 EP - 288 Y2 - 2025/11/05 ER -