%0 Journal Article %1 journals/tse/RosnerGAVF15 %A Rosner, Nicolás %A Geldenhuys, Jaco %A Aguirre, Nazareno %A Visser, Willem %A Frias, Marcelo F. %D 2015 %J IEEE Trans. Software Eng. %K %N 7 %P 639-660 %T BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. %U http://dblp.uni-trier.de/db/journals/tse/tse41.html#RosnerGAVF15 %V 41

@article{journals/tse/RosnerGAVF15, added-at = {2023-12-12T19:14:30.000+0100}, author = {Rosner, Nicolás and Geldenhuys, Jaco and Aguirre, Nazareno and Visser, Willem and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/2cfc32bc63d0866c8694e988518e34805/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2389225}, interhash = {1dc9c46b8b0ab94331b0ec00bd9fe304}, intrahash = {cfc32bc63d0866c8694e988518e34805}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 7, pages = {639-660}, timestamp = {2023-12-12T19:14:30.000+0100}, title = {BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse41.html#RosnerGAVF15}, volume = 41, year = 2015 }