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

Afficher la notice abrégée

dc.contributor.author Rosner, Nicolas
dc.contributor.author Geldenhuys, Jaco
dc.contributor.author Aguirre, Nazareno M.
dc.contributor.author Visser, Willem
dc.contributor.author Frias, Marcelo F.
dc.date.accessioned 2022-03-23T09:06:16Z
dc.date.available 2022-03-23T09:06:16Z
dc.date.issued 2015
dc.identifier.issn 0098-5589
dc.identifier.uri http://repository.usthb.dz//xmlui/handle/123456789/9140
dc.description 639-660 p. ;1.579 ko. en_US
dc.language.iso en en_US
dc.publisher Institute of electrical and electronics engineers en_US
dc.subject Génie logiciel en_US
dc.subject Système Bliss en_US
dc.subject PathFinder en_US
dc.subject Langues artificielles en_US
dc.title BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support en_US
dc.type Article en_US


Fichier(s) constituant ce document

Icon
Nom: nl3243.pdf
Taille: 1.541Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte