Old Web
English
Sign In
Acemap
>
Paper
>
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
2016
Nicolás Rosner
Jaco Geldenhuys
Nazareno Aguirre
Willem Visser
Keywords:
Lazy initialization
BLISS
Machine learning
Computer science
Theoretical computer science
Symbolic execution
Artificial intelligence
Bounded function
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]