Automata-based Model Counting String Constraint Solver for Vulnerability Analysis
- Degree Grantor:
- 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,
Model counting, and
String constraint solving - Format:
- Text
- Collection(s):
- UCSB electronic theses and dissertations
- ARK:
- ark:/48907/f3xp754k
- Catalog System Number:
- 990047728990203776
- Copyright:
- Abdulbaki AYDIN, 2017
- Rights:
In Copyright- Copyright Holder:
- Abdulbaki AYDIN
| File | Description |
|---|---|
| Access: Public access | |
| AYDIN_ucsb_0035D_13374.pdf | pdf (Portable Document Format) |