„dynamic symbolic execution“

Suchergebnisse

18 Treffer

• Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
  Ibing, Andreas ; Eckert, Claudia ; Pretschner, Alexander 2017 Universitätsbibliothek der TU München
• Optimal Concolic Dynamic Partial Order Reduction
  Khoshechin Jorshari, Mohammad Hossein ; Kokologiannakis, Michalis ; Majumdar, Rupak ; Nagendra, Srinidhi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
  Arvay, Barnabas ; Doan, Thi Thu Ha ; Thiemann, Peter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 10161 Abstracts Collection – Decision Procedures in Software, Hardware and Bioware
  Bjorner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei
• A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)
  Schemmel, Daniel ; Büning, Julian ; Busse, Frank ; Nowack, Martin ; Cadar, Cristian
• A Deterministic Memory Allocator for Dynamic Symbolic Execution
  Schemmel, Daniel ; Büning, Julian ; Busse, Frank ; Nowack, Martin ; Cadar, Cristian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution
  Abaza, Hazem ; Haj Hammadeh, Zain Alabedin ; Lüdtke, Daniel 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstract Interpretation, Symbolic Execution and Constraints
  Amadini, Roberto ; Gange, Graeme ; Schachte, Peter ; Søndergaard, Harald ; Stuckey, Peter J. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
  Bjorner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei
• Energy Efficient High Performance Processors – Recent Approaches for Designing Green High Performance Computing
  Haj-Yahya, Jawad ; Mendelson, Avi ; Asher, Yosi Ben ; Chattopadhyay, Anupam 2018 Springer Singapore
• Runtime Verification – 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
  2014 Springer International Publishing
• Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"
  Arvay, Barnabas ; Thiemann, Peter 2024 Universität
• The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis
  Mues, Malte ; Howar, Falk ; Beyer, Dirk 2023 Universitätsbibliothek Dortmund
• Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
  Lacombe, Guilhem ; Feliot, David ; Boespflug, Etienne ; Potet, Marie-Laure
• Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
  Ovasapyan, T. D. ; Knyazev, P. V. ; Moskvin, D. A.
• An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
  Gerasimov, A. Yu ; Kruglov, L. V. ; Ermakov, M. K. ; Vartanov, S. P.
• Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
  Gerasimov, A. Yu
• Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
  Gouw, Stijn de ; Boer, Frank de ; Ahrendt, Wolfgang ; Bubel, Richard