Search Results: Concolic execution
Redirect to:
Concolic testing
Sabtu, 2026-01-24 22:04:04Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs...
Click to read more »Dynamic program analysis
Sabtu, 2026-02-07 15:44:55guide input generation. Dynamic symbolic execution (also known as DSE or concolic execution) involves executing a test program on a concrete input, collecting...
Click to read more »Fuzzing
Minggu, 2026-05-24 20:25:49systematically explore different paths in the program (a technique known as concolic execution). If the program's specification is available, a whitebox fuzzer...
Click to read more »SAT solver
Senin, 2026-03-23 11:58:43execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Static program analysis
Senin, 2026-03-23 16:47:50execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Side effect (computer science)
Minggu, 2026-05-24 20:33:22execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Model checking
Selasa, 2025-11-18 15:25:09execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Safety and liveness properties
Jumat, 2025-10-10 17:14:34execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Hoare logic
Kamis, 2026-04-16 04:24:50execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »E-graph
Rabu, 2026-06-03 08:08:28execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Separation logic
Senin, 2026-04-06 04:34:20execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Program slicing
Minggu, 2026-05-24 20:25:33execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Typestate analysis
Minggu, 2026-01-18 05:24:27execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Dependence analysis
Minggu, 2026-05-24 20:24:01execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Hyperproperty
Selasa, 2025-08-26 18:50:24execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Abstract interpretation
Minggu, 2026-05-24 20:11:49execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Symbolic execution
Minggu, 2026-05-24 19:49:16system. Abstract interpretation Symbolic simulation Symbolic computation Concolic testing Control-flow graph Dynamic recompilation Anand, Saswat; Patrice...
Click to read more »Satisfiability modulo theories
Kamis, 2026-05-21 13:44:37solvers is symbolic execution for analysis and testing of programs (e.g., concolic testing), aimed particularly at finding security vulnerabilities.[citation...
Click to read more »Random testing
Kamis, 2026-05-28 15:29:19means) Constrained random generation in SystemVerilog Corner case Edge case Concolic testing Richard Hamlet (1994). "Random Testing". In John J. Marciniak (ed...
Click to read more »Program analysis
Minggu, 2025-09-21 21:32:34execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »Path explosion
Rabu, 2025-10-01 03:07:05execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »SIGSOFT
Rabu, 2026-05-06 16:35:43code clones. 2019 – Koushik Sen, Darko Marinov, and Gul Agha. CUTE: A concolic unit testing engine for C. 2020 – Willem Visser, Klaus Havelund, Guillaume...
Click to read more »Tao Xie
Jumat, 2026-05-29 12:14:15also worked on systematic testing approaches like symbolic execution and concolic testing, which improve the thoroughness of testing processes. Xie has received...
Click to read more »David L. Dill
Jumat, 2026-06-05 07:08:43development of a key application of SMT solvers to software testing known as concolic testing. In January 2003, Dill authored the "Resolution on Electronic Voting"...
Click to read more »Runtime verification
Rabu, 2026-04-29 17:49:55combination of concrete and symbolic execution is also referred to as concolic execution. Dynamic program analysis Profiling (computer programming) Runtime...
Click to read more »Polyvariance
Selasa, 2023-08-08 22:36:10execution Termination Type systems Typestate Dynamic Data-flow Taint tracking Concolic testing Fuzzing Invariant inference Program slicing Testing Formal methods...
Click to read more »