scholarly journals SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning

2021 ◽  
Author(s):  
Nicola Ruaro ◽  
Kyle Zeng ◽  
Lukas Dresel ◽  
Mario Polino ◽  
Tiffany Bao ◽  
...  
Keyword(s):  
Symbolic Execution ◽  
Pattern Learning

Visual cues and spatial pattern learning

2001 ◽  
Author(s):  
Michael F. Brown ◽  
Sue Yang ◽  
Kelly Digian
Keyword(s):  
Spatial Pattern ◽  
Visual Cues ◽  
Pattern Learning

Multiplex symbolic execution

2020 ◽  
Author(s):  
Yufeng Zhang ◽  
Zhenbang Chen ◽  
Ziqi Shuai ◽  
Tianqi Zhang ◽  
Kenli Li ◽  
...  
Keyword(s):  
Symbolic Execution
Sign in / Sign up

Export Citation Format

Share Document