@inproceedings{Xiao_2011,
    doi = {10.1145/1985793.1985876},
    url = {https://doi.org/10.1145%2F1985793.1985876},
    year = {2011},
    month = {may},
    publisher = {{ACM}},
    author = {Xusheng Xiao and Tao Xie and Nikolai Tillmann and Jonathan de Halleux},
    title = {Precise identification of problems for structural test generation},
    booktitle = {Proceedings of the 33rd International Conference on Software Engineering}
}

@inproceedings{Xiao_2011, doi = {10.1145/1985793.1985876}, url = {https://doi.org/10.1145%2F1985793.1985876}, year = {2011}, month = {may}, publisher = {{ACM}}, author = {Xusheng Xiao and Tao Xie and Nikolai Tillmann and Jonathan de Halleux}, title = {Precise identification of problems for structural test generation}, booktitle = {Proceedings of the 33rd International Conference on Software Engineering} }