@article{P_s_reanu_2009,
    doi = {10.1007/s10009-009-0118-1},
    url = {https://doi.org/10.1007%2Fs10009-009-0118-1},
    year = {2009},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {11},
    number = {4},
    pages = {339--353},
    author = {Corina S. P{\u{a}}s{\u{a}}reanu and Willem Visser},
    title = {A survey of new trends in symbolic execution for software testing and analysis},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{P_s_reanu_2009, doi = {10.1007/s10009-009-0118-1}, url = {https://doi.org/10.1007%2Fs10009-009-0118-1}, year = {2009}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {11}, number = {4}, pages = {339--353}, author = {Corina S. P{\u{a}}s{\u{a}}reanu and Willem Visser}, title = {A survey of new trends in symbolic execution for software testing and analysis}, journal = {International Journal on Software Tools for Technology Transfer} }