@inproceedings{Majumdar_2007,
    doi = {10.1109/icse.2007.41},
    url = {https://doi.org/10.1109%2Ficse.2007.41},
    year = {2007},
    month = {may},
    publisher = {{IEEE}},
    author = {Rupak Majumdar and Koushik Sen},
    title = {Hybrid Concolic Testing},
    booktitle = {29th International Conference on Software Engineering ({ICSE}{\textquotesingle}07)}
}

@inproceedings{Majumdar_2007, doi = {10.1109/icse.2007.41}, url = {https://doi.org/10.1109%2Ficse.2007.41}, year = {2007}, month = {may}, publisher = {{IEEE}}, author = {Rupak Majumdar and Koushik Sen}, title = {Hybrid Concolic Testing}, booktitle = {29th International Conference on Software Engineering ({ICSE}{\textquotesingle}07)} }