Symbolic execution and program testing

1976 ◽  
Vol 19 (7) ◽  
pp. 385-394 ◽  
Author(s):  
James C. King
Keyword(s):  
Symbolic Execution ◽  
Program Testing

Applications of Symbolic Execution to Program Testing

Computer ◽  
1978 ◽  
Vol 11 (4) ◽  
pp. 51-60 ◽  
Author(s):  
J.A. Darringer ◽  
J.C. King
Keyword(s):  
Symbolic Execution ◽  
Program Testing

Multiplex symbolic execution

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

Exploiting Symbolic Execution to Accelerate Deterministic Databases

2020 ◽  
Author(s):  
Shady Issa ◽  
Miguel Viegas ◽  
Pedro Raminhas ◽  
Nuno Machado ◽  
Miguel Matos ◽  
...  
Keyword(s):  
Symbolic Execution

Machine learning steered symbolic execution framework for complex software code

2021 ◽  
Author(s):  
Lei Bu ◽  
Yongjuan Liang ◽  
Zhunyi Xie ◽  
Hong Qian ◽  
Yi-Qi Hu ◽  
...  
Keyword(s):  
Machine Learning ◽  
Symbolic Execution ◽  
Software Code
Sign in / Sign up

Export Citation Format

Share Document