BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
Files
Date
2015
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
639-660 p. ;1.579 ko.
Keywords
Génie logiciel, Système Bliss, PathFinder, Langues artificielles