Browsing by Author "Frias, Marcelo F."
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support(Institute of electrical and electronics engineers, 2015) Rosner, Nicolas; Geldenhuys, Jaco; Aguirre, Nazareno M.; Visser, Willem; Frias, Marcelo F.