scholarly journals Using Metamorphic Testing to Improve Dynamic Symbolic Execution

2015 ◽  
Author(s):  
Eman Alatawi ◽  
Tim Miller ◽  
Harald Sondergaard
Keyword(s):  
Symbolic Execution ◽  
Metamorphic Testing ◽  
Dynamic Symbolic Execution

scholarly journals Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

2021 ◽  
pp. 1-1
Author(s):  
Sooyoung Cha ◽  
Seongjoon Hong ◽  
Jiseong Bak ◽  
Jingyoung Kim ◽  
Junhee Lee ◽  
...  
Keyword(s):  
Symbolic Execution ◽  
Search Heuristics ◽  
Dynamic Symbolic Execution

SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

2019 ◽  
Author(s):  
Nikita Malyshev ◽  
Irina Dudina ◽  
Daniil Kutz ◽  
Alexander Novikov ◽  
Sergey Vartanov
Keyword(s):  
Symbolic Execution ◽  
Smt Solvers ◽  
Dynamic Symbolic Execution

Generating Test Suites with Augmented Dynamic Symbolic Execution

2013 ◽  
pp. 152-167 ◽  
Author(s):  
Konrad Jamrozik ◽  
Gordon Fraser ◽  
Nikolai Tillman ◽  
Jonathan de Halleux
Keyword(s):  
Symbolic Execution ◽  
Dynamic Symbolic Execution ◽  
Test Suites
Sign in / Sign up

Export Citation Format

Share Document