@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 2024/12/21}}}