String Analysis for Software Verification and Security
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783319686684, 9783319686707
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstraction and Approximation

2017 ◽  
pp. 69-81
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin

Conclusions

2017 ◽  
pp. 165-166
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin

A Brief Survey of Related Work

2017 ◽  
pp. 155-164
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin

Differential String Analysis and Repair

2017 ◽  
pp. 123-147
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin
Keyword(s):  
String Analysis

Constraint-Based String Analysis

2017 ◽  
pp. 83-102
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin
Keyword(s):  
String Analysis

State Space Exploration

2017 ◽  
pp. 23-35
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin
Keyword(s):  
State Space ◽  
Space Exploration ◽  
State Space Exploration

Introduction

2017 ◽  
pp. 1-13
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin

Vulnerability Detection and Sanitization Synthesis

2017 ◽  
pp. 103-122
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin
Keyword(s):  
Vulnerability Detection

String Manipulating Programs and Difficulty of Their Analysis

2017 ◽  
pp. 15-22
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin

Tools

2017 ◽  
pp. 149-154
Author(s):  
Tevfik Bultan ◽  
Fang Yu ◽  
Muath Alkhalaf ◽  
Abdulbaki Aydin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document