Automata-based Model Counting String Constraint Solver for Vulnerability Analysis
-
주제(키워드)
ANALYSIS
, AUTOMATA
, AUTOMATA-BASED STRING ANALYSIS
, Automata-based string analysis
, BASED
, CONSTRAINT
, COUNTING
, MODEL
, MODEL COUNTING
, Model counting
, SOLVER
, STRING
, STRING CONSTRAINT SOLVING
, String constraint solving
, TEST CASE GENERATION
, Test case generation
, VULNERABILITY
-
발행기관
University of California, Santa Barbara.
-
발행년도
2017
-
학위명
박사
-
학과 및 전공
Computer Science
-
UCI
I804:11009-000000151657
-
DOI
10.23186/korea.000000151657.11009.0001050
-
제출원본
PQDT10262499
LOADING...
