BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

Simple item page
dc.contributor.authorRosner, Nicolas
dc.contributor.authorGeldenhuys, Jaco
dc.contributor.authorAguirre, Nazareno M.
dc.contributor.authorVisser, Willem
dc.contributor.authorFrias, Marcelo F.
dc.date.accessioned2022-03-23T09:06:16Z
dc.date.available2022-03-23T09:06:16Z
dc.date.issued2015
dc.description639-660 p. ;1.579 ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9140
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectGénie logicielen_US
dc.subjectSystème Blissen_US
dc.subjectPathFinderen_US
dc.subjectLangues artificiellesen_US
dc.titleBLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Supporten_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3243.pdf
Size:
1.54 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques