scholarly journals Dynamic Symbolic Execution for Testing Distributed Objects

2009 ◽  
pp. 105-120 ◽  
Author(s):  
Andreas Griesmayer ◽  
Bernhard Aichernig ◽  
Einar Broch Johnsen ◽  
Rudolf Schlatte
Keyword(s):  
Symbolic Execution ◽  
Distributed Objects ◽  
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
Sign in / Sign up

Export Citation Format

Share Document