TY - CONF T1 - Conformance Testing from Message Sequence Charts JO - 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation PY - 2011/01/01 AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1109/icst.2011.29 PB - IEEE SN - 9781612841748 Y2 - 2024/10/23 ER -