Alexandria Digital Research Library

Automata-based Model Counting String Constraint Solver for Vulnerability Analysis

Author:
AYDIN, Abdulbaki and University of California, Santa Barbara. Computer Science
Place of Publication:
[Santa Barbara, Calif.]
Publisher:
University of California, Santa Barbara
Creation Date:
2017
Issued Date:
2017
Keywords:
Automata-based string analysis
Test case generation
String constraint solving
Model counting
Format:
Text
Collection(s):
UCSB electronic theses and dissertations
ARK:
ark:/48907/f3xp754k
Merritt ARK:
ark:/13030/m51g5k47
Catalog System Number:
990047728990203776
Rights:
Inc.icon only.dark In Copyright
Copyright Holder:
Abdulbaki AYDIN
File Description
Access: Public access
AYDIN_ucsb_0035D_13374.pdf pdf (Portable Document Format)