Keywords: اعدام نمادین; Hardware Trojan; Symbolic execution; Satisfiability modulo theory; Metamorphic testing; Control flow graph;
مقالات ISI اعدام نمادین (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اعدام نمادین; Timing model; Symbolic execution; Computational offloading;
Keywords: اعدام نمادین; Test generation; Symbolic execution; Information flow; Declassification; Information erasure; Bug finding;
Keywords: اعدام نمادین; Logical errors; Dynamic invariants; Symbolic execution; Fuzzy logic; Information gain; Computational density;
Keywords: اعدام نمادین; Symbolic execution; Programming language; Formal operational semantics; Reachability logic; Circular coinduction; Program verification;
Keywords: اعدام نمادین; Concolic testing; Symbolic execution; Pattern matching; Erlang;
Keywords: اعدام نمادین; Semantic code search; Symbolic execution; SMT solvers
Keywords: اعدام نمادین; Software testing; Symbolic execution; Test data generation;
Keywords: اعدام نمادین; Operational semantics; Rewrite theories; Symbolic execution; K Framework; Maude
Keywords: اعدام نمادین; Program termination; Symbolic execution; Program analysis
Keywords: اعدام نمادین; Symbolic execution; Formal semantics; Programming languages; Program analysis
Symbolic execution for a clash-free subset of ASMs
Keywords: اعدام نمادین; Abstract state machines; Symbolic execution; Synchronous parallelism; Clashes;
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
Keywords: اعدام نمادین; Termination analysis; Bitvectors; Symbolic execution; LLVM; Runtime complexity;
Automatic path-oriented test data generation by boundary hypercuboids
Keywords: اعدام نمادین; Path-oriented testing; Boundary hypercuboid; Symbolic execution; Fault detection probability; Fault detection speed
Systematically testing OpenFlow controller applications
Keywords: اعدام نمادین; Software-defined networking; OpenFlow; Reliability; Model checking; Symbolic execution
Relational symbolic execution of SQL code for unit testing of database programs
Keywords: اعدام نمادین; Software testing; Symbolic execution; Satisfiability modulo theories (SMT); Database; Structured query language (SQL)
Symbolic execution of Reo circuits using constraint automata
Keywords: اعدام نمادین; Symbolic execution; Reo; Constraint automata; Coordination languages; Program verification; Program validation
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Keywords: اعدام نمادین; Automated test data generation; Search based testing; Concolic testing; Symbolic execution
Applying static analysis for automated extraction of database interactions in web applications
Keywords: اعدام نمادین; Database interactions; Web applications; Automated extraction; Symbolic execution; Slicing
Combining test case generation and runtime verification
Keywords: اعدام نمادین; Automated testing; Test case generation; Model checking; Symbolic execution; Runtime verification; Temporal logic; Concurrency analysis; NASA rover controller;