@inproceedings{Visser_2004,
    doi = {10.1145/1007512.1007526},
    url = {https://doi.org/10.1145%2F1007512.1007526},
    year = {2004},
    month = {jul},
    publisher = {{ACM}},
    author = {Willem Visser and Corina S. Pǎsǎreanu and Sarfraz Khurshid},
    title = {Test input generation with java {PathFinder}},
    booktitle = {Proceedings of the 2004 {ACM} {SIGSOFT} international symposium on Software testing and analysis}
}

@inproceedings{Visser_2004, doi = {10.1145/1007512.1007526}, url = {https://doi.org/10.1145%2F1007512.1007526}, year = {2004}, month = {jul}, publisher = {{ACM}}, author = {Willem Visser and Corina S. Pǎsǎreanu and Sarfraz Khurshid}, title = {Test input generation with java {PathFinder}}, booktitle = {Proceedings of the 2004 {ACM} {SIGSOFT} international symposium on Software testing and analysis} }