@inproceedings{inproceedings, title = {{Using adaptive distinguishing sequences in checking sequence constructions}}, publisher = {{ACM}}, url = {{https://doi.org/10.1145/1363686.1363850 }}, year = {{2008}}, month = {{3}}, author = {{Hierons RM and Jourdan G-V and Ural H and Yenigun H}}, doi = {{10.1145/1363686.1363850}}, journal = {{Proceedings of the 2008 ACM symposium on Applied computing}}, pages = {{682-687}}, note = {{Accessed on 2025/12/08}}}