ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Directed Fuzzing Based on the Dynamic Symbolic Execution and Extended Program Behavior Model
2012 Second International Conference on Instrumentation, Measurement, Computer, Communication and Control
◽
10.1109/imccc.2012.382
◽
2012
◽
Cited By ~ 1
Author(s):
Zhe Chen
◽
Shize Guo
◽
Damao Fu
Keyword(s):
Symbolic Execution
◽
Behavior Model
◽
Program Behavior
◽
Dynamic Symbolic Execution
◽
Extended Program
Download Full-text
Related Documents
Cited By
References
Directed dynamic symbolic execution of programs to confirm errors in programs
Программирование
◽
10.31857/s013234740001213-9
◽
2018
◽
pp. 31-42
Author(s):
A. Gerasimov
◽
Keyword(s):
Symbolic Execution
◽
Dynamic Symbolic Execution
Download Full-text
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric
2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)
◽
10.1109/icsme.2018.00015
◽
2018
◽
Cited By ~ 2
Author(s):
Ziming Zhu
◽
Li Jiao
◽
Xiong Xu
Keyword(s):
Symbolic Execution
◽
Dynamic Symbolic Execution
Download Full-text
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Tests and Proofs - Lecture Notes in Computer Science
◽
10.1007/978-3-030-31157-5_3
◽
2019
◽
pp. 41-54
Author(s):
Timotej Kapus
◽
Martin Nowack
◽
Cristian Cadar
Keyword(s):
Symbolic Execution
◽
Dynamic Symbolic Execution
Download Full-text
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
IEEE Transactions on Software Engineering
◽
10.1109/tse.2021.3101870
◽
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
Download Full-text
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
◽
10.1007/978-3-030-68446-4_10
◽
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
Download Full-text
SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
2019 Ivannikov Ispras Open Conference (ISPRAS)
◽
10.1109/ispras47671.2019.00008
◽
2019
◽
Author(s):
Nikita Malyshev
◽
Irina Dudina
◽
Daniil Kutz
◽
Alexander Novikov
◽
Sergey Vartanov
Keyword(s):
Symbolic Execution
◽
Smt Solvers
◽
Dynamic Symbolic Execution
Download Full-text
The Method of Software Behavior Detection Based-On Dynamic Symbolic Execution
International Conference on Computer Technology and Development, 3rd (ICCTD 2011)
◽
10.1115/1.859919.paper101
◽
2011
◽
pp. 605-610
Keyword(s):
Symbolic Execution
◽
Behavior Detection
◽
Dynamic Symbolic Execution
Download Full-text
Method sequence generation for multiple object states using dynamic symbolic execution
2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
◽
10.1109/smc.2014.6974494
◽
2014
◽
Author(s):
Hiroki Takamatsu
◽
Haruhiko Sato
◽
Satoshi Oyama
◽
Masahito Kurihara
Keyword(s):
Symbolic Execution
◽
Sequence Generation
◽
Multiple Object
◽
Dynamic Symbolic Execution
Download Full-text
Generating Test Suites with Augmented Dynamic Symbolic Execution
Tests and Proofs - Lecture Notes in Computer Science
◽
10.1007/978-3-642-38916-0_9
◽
2013
◽
pp. 152-167
◽
Cited By ~ 12
Author(s):
Konrad Jamrozik
◽
Gordon Fraser
◽
Nikolai Tillman
◽
Jonathan de Halleux
Keyword(s):
Symbolic Execution
◽
Dynamic Symbolic Execution
◽
Test Suites
Download Full-text
Employing Dynamic Symbolic Execution for Equivalent Mutant Detection
IEEE Access
◽
10.1109/access.2019.2952246
◽
2019
◽
Vol 7
◽
pp. 163767-163777
◽
Cited By ~ 2
Author(s):
Ahmed S. Ghiduk
◽
Moheb R. Girgis
◽
Marwa H. Shehata
Keyword(s):
Symbolic Execution
◽
Dynamic Symbolic Execution
◽
Mutant Detection
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close