@inproceedings{spin08_string,
    author = {Fang Yu and Tevfik Bultan and Marco Cova and Oscar H. Ibarra},
    title = {{Symbolic String Verification: An Automata-based Approach}},
    booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software},
    year = {2008},
    pages = {306--324},
    publisher = {Springer}
}