Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms

2021 ◽  
Author(s):  
Lannan Luo ◽  
Qiang Zeng ◽  
Bokai Yang ◽  
Fei Zuo ◽  
Junzhe Wang
Keyword(s):  
Symbolic Execution ◽  
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

scholarly journals Employing Dynamic Symbolic Execution for Equivalent Mutant Detection

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 163767-163777 ◽  
Author(s):  
Ahmed S. Ghiduk ◽  
Moheb R. Girgis ◽  
Marwa H. Shehata
Keyword(s):  
Symbolic Execution ◽  
Dynamic Symbolic Execution ◽  
Mutant Detection
Sign in / Sign up

Export Citation Format

Share Document