@article {438,
	title = {BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support},
	journal = {{IEEE} Trans. Software Eng.},
	volume = {41},
	year = {2015},
	pages = {639{\textendash}660},
	doi = {10.1109/TSE.2015.2389225},
	url = {http://dx.doi.org/10.1109/TSE.2015.2389225},
	author = {Nicol{\'a}s Rosner and Jaco Geldenhuys and Nazareno Aguirre and Willem Visser and Frias, Marcelo F.}
}