Alexandria Digital Research Library

Automata-based Model Counting String Constraint Solver for Vulnerability Analysis

Author:
AYDIN, Abdulbaki
Place of Publication:
[Santa Barbara, Calif.]
Publisher:
University of California, Santa Barbara
Creation Date:
2017
Issued Date:
2017
Keywords:
Automata-based string analysis
Model counting
Test case generation
String constraint solving
Degree Grantor:
University of California, Santa Barbara. Computer Science
Format:
Text
Collection(s):
UCSB electronic theses and dissertations
ARK:
ark:/48907/f3xp754k
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)