BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
No Thumbnail Available
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