@inproceedings{inproceedings, title = {{Input-output conformance testing based on featured transition systems}}, publisher = {{ACM}}, url = {{https://doi.org/10.1145/2554850.2554949 }}, year = {{2014}}, month = {{3}}, author = {{Beohar H and Mousavi MR}}, doi = {{10.1145/2554850.2554949}}, journal = {{Proceedings of the 29th Annual ACM Symposium on Applied Computing}}, pages = {{1272-1278}}, note = {{Accessed on 2025/11/20}}}