A Directed Fuzzing Based on the Dynamic Symbolic Execution and Extended Program Behavior Model

2012 ◽  
Author(s):  
Zhe Chen ◽  
Shize Guo ◽  
Damao Fu
Keyword(s):  
Symbolic Execution ◽  
Behavior Model ◽  
Program Behavior ◽  
Dynamic Symbolic Execution ◽  
Extended Program

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

2019 ◽  
pp. 41-54
Author(s):  
Timotej Kapus ◽  
Martin Nowack ◽  
Cristian Cadar
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

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

2021 ◽  
pp. 192-209
Author(s):  
Roberto Amadini ◽  
Graeme Gange ◽  
Peter Schachte ◽  
Harald Søndergaard ◽  
Peter J. Stuckey
Keyword(s):  
Symbolic Execution ◽  
Algorithm Selection ◽  
Dynamic Symbolic Execution ◽  
Preliminary Study ◽  
Selection For

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

Method sequence generation for multiple object states using dynamic symbolic execution

2014 ◽  
Author(s):  
Hiroki Takamatsu ◽  
Haruhiko Sato ◽  
Satoshi Oyama ◽  
Masahito Kurihara
Keyword(s):  
Symbolic Execution ◽  
Sequence Generation ◽  
Multiple Object ◽  
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