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

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

Rosner, Nicolas; Geldenhuys, Jaco; Aguirre, Nazareno M.; Visser, Willem; Frias, Marcelo F.
URI: http://repository.usthb.dz//xmlui/handle/123456789/9140
Date: 2015

Description:

639-660 p. ;1.579 ko.

Afficher la notice complète

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)

Chercher dans le dépôt


Parcourir

Mon compte