@inproceedings{Lai_2006,
    doi = {10.1109/qsic.2006.25},
    url = {https://doi.org/10.1109%2Fqsic.2006.25},
    year = {2006},
    month = {oct},
    publisher = {{IEEE}},
    author = {Zhifeng Lai and S.c. Cheung and Yunfei Jiang},
    title = {Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework},
    booktitle = {2006 Sixth International Conference on Quality Software ({QSIC}{\textquotesingle}06)}
}

@inproceedings{Lai_2006, doi = {10.1109/qsic.2006.25}, url = {https://doi.org/10.1109%2Fqsic.2006.25}, year = {2006}, month = {oct}, publisher = {{IEEE}}, author = {Zhifeng Lai and S.c. Cheung and Yunfei Jiang}, title = {Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework}, booktitle = {2006 Sixth International Conference on Quality Software ({QSIC}{\textquotesingle}06)} }