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

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

State of the art: Dynamic symbolic execution for automated test generation

2013 ◽  
Vol 29 (7) ◽  
pp. 1758-1773 ◽  
Author(s):  
Ting Chen ◽  
Xiao-song Zhang ◽  
Shi-ze Guo ◽  
Hong-yuan Li ◽  
Yue Wu
Keyword(s):  
Test Generation ◽  
State Of The Art ◽  
Symbolic Execution ◽  
Automated Test Generation ◽  
Automated Test ◽  
Dynamic Symbolic Execution
Sign in / Sign up

Export Citation Format

Share Document