@inproceedings{inproceedings, title = {{Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)}}, publisher = {{Springer Berlin Heidelberg}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Derderian K and Hierons RM and Harman M and Guo Q}}, doi = {{10.1007/978-3-540-24855-2_164}}, isbn = {{9783540223436}}, pages = {{1429-1430}}, note = {{Accessed on 2025/05/30}}}