Erscheinungsjahr
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Symbolic execution
Suche ohne Synonyme: keywords:("Symbolic execution")
Verwendete Synonyme:
- symbolische ausfuhrung
-
Computer algebra in scientific computing : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings
TIBKAT | 2022|Schlagwörter: Symbolische Ausführung -
Tuning parallel symbolic execution engine for better performance
Online Contents | 2017|Schlagwörter: symbolic execution, parallelizing symbolic execution -
Analyzing system software components using API model guided symbolic execution
Online Contents | 2020|Schlagwörter: Symbolic execution -
SymFusion: Hybrid Instrumentation for Concolic Execution
Freier ZugriffBASE | 2022|Schlagwörter: symbolic execution -
SymFusion: Hybrid Instrumentation for Concolic Execution
Freier ZugriffBASE | 2022|Schlagwörter: symbolic execution -
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Online Contents | 2013|Schlagwörter: Symbolic execution -
A Survey of Symbolic Execution Techniques
Freier ZugriffBASE | 2018|Schlagwörter: Symbolic execution -
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Online Contents | 2013|Schlagwörter: Symbolic execution -
Testing concolic execution through consistency checks
Elsevier | 2024|Schlagwörter: Symbolic execution -
Symbiotic 6: generating test cases by slicing and symbolic execution
Online Contents | 2020|Schlagwörter: Symbolic execution -
Tuning parallel symbolic execution engine for better performance
Springer Verlag | 2017|Schlagwörter: symbolic execution, parallelizing symbolic execution -
Design and provability of a statically configurable hypervisor
Freier ZugriffDataCite | 2017|Schlagwörter: symbolische Ausführung, symbolic execution -
Code search with input/output queries: Generalizing, ranking, and assessment
Elsevier | 2015|Schlagwörter: Symbolic execution -
Learning to Accelerate Symbolic Execution via Code Transformation
Freier ZugriffDataCite | 2018|Schlagwörter: Symbolic Execution -
KLEE symbolic execution engine in 2019
Online Contents | 2020|Schlagwörter: Dynamic symbolic execution -
Proactive Energy-Aware Computing ; Proaktive energiebewusste Rechenvorgänge
Freier ZugriffBASE | 2017|Schlagwörter: Symbolische Ausführung -
Overfitting in semantics-based automated program repair
Online Contents | 2018|Schlagwörter: Symbolic execution -
PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases
Elsevier | 2024|Schlagwörter: Symbolic execution -
Extended abstract - Detection and classification of malware based on symbolic execution and machine learning methods
Freier ZugriffBASE | 2021|Schlagwörter: Symbolic Execution -
Report on the Differential Testing of Static Analyzers
Freier ZugriffBASE | 2020|Schlagwörter: symbolic execution
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.