@article{Rosner_2015,
    doi = {10.1109/tse.2015.2389225},
    url = {https://doi.org/10.1109%2Ftse.2015.2389225},
    year = {2015},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    pages = {1--1},
    author = {Nicolas Rosner and Jaco Geldenhuys and Nazareno Aguirre and Willem Visser and Marcelo Frias},
    title = {{BLISS}: Improved Symbolic Execution by{\textbackslash}{\textbackslash} Bounded Lazy Initialization with {SAT} Support},
    journal = {{IEEE} Transactions on Software Engineering}
}

@article{Rosner_2015, doi = {10.1109/tse.2015.2389225}, url = {https://doi.org/10.1109%2Ftse.2015.2389225}, year = {2015}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, pages = {1--1}, author = {Nicolas Rosner and Jaco Geldenhuys and Nazareno Aguirre and Willem Visser and Marcelo Frias}, title = {{BLISS}: Improved Symbolic Execution by{\textbackslash}{\textbackslash} Bounded Lazy Initialization with {SAT} Support}, journal = {{IEEE} Transactions on Software Engineering} }