Technique
Technique
1259 entities#
1 Automatic Test Pattern Generation
5 2 Sudoku Constraint Solving
5 3 multiplexer toggle coverage
5 4 Dependency-Based Test-Case Minimization
5 5 Golden Reference Model Comparison
5 6 Randomized Instruction Stream Generation
5 7 post-silicon fuzzing
5 8 Constraint Satisfaction Problem Solving
5 9 Grammar-Based FP Instruction Sequence Generation
5 10 Large Language Models (LLMs)
5 11 SMT-based Verification
5 12 Training Derivation Strategy
5 13 Pseudo-Random Test Generation
5 14 Differential Execution
5 15 satisfiability modulo theories
5 16 UniGen
5 17 control-flow anchors
5 18 FlexMem
5 19 Hardware-based Seed Selection
5 20 AI-Driven Test Generation
5 21 Priming-Guided State Reconstruction
5 22 Automated Design Inspection
5 23 Golden Predictor Model
5 24 Test Compaction
5 25 reference model comparison
5 26 FSM Coverage-Directed Test Generation
5 27 Snapshot-Based Debugging
5 28 RISC-V assembly generation
5 29 Constraint-Based Test Data Generation
5 30 Fault Equivalence Pruning (FEP)
5 31 SMT-based Constraint Solving
5 32 Mixed-level Simulation (MLS)
5 33 Loop Unrolling
5 34 communicating extended finite state machines
5 35 Machine State Detection and Restoration Mechanism
5 36 SIMT Program Generator
5 37 Branch-Not-Taken (BNT) Mechanism
5 38 positive testing
5 39 Code Generation
5 40 Maintaining Arc Consistency
5 41 CPU-assisted test-case generation
5 42 Security-Aware Instruction Stream Post-Processing
5 43 Leakage contracts
5 44 functional coverage measurement
5 45 Single Instruction Isolation with Code Minimization
5 46 Protobuf-to-Bundle Conversion
5 47 Standard-Cell Design Flow
5 48 Dependency Chain Generation
5 49 Deep Q-Network
5 50 Test Bench Generation
5 51 Probabilistic Context-Free Grammar
5 52 coverage-driven generation
5 53 Directed-Random Test Sequence Generation
5 54 instruction structure inference
5 55 structured random testing
5 56 Correspondence Checking
5 57 reinforcement learning for language models
5 58 XOR-based Hash Partitioning
5 59 Variable-Group Indexing
5 60 Enhanced Havoc Mutation
5 61 Symbolic Ternary Simulation
5 62 partial intermediate state verification without re-initialization
5 63 Semantic-Aware Communication
5 64 Cycle-Accurate Replay
5 65 State Prioritization
4 66 Binary Decision Diagrams
4 67 Instruction Scenario Modeling
4 68 Recurrent Neural Network (RNN)
4 69 Directed Stimulus
4 70 Interpretive Simulation
4 71 Fast Exploration Mutation
4 72 counter-based node monitoring
4 73 dependency annotation
4 74 BART
4 75 Instruction Distillation
4 76 Biased Random Test Generation
4 77 congestor
4 78 code-based test generation
4 79 Pre-silicon fuzzing
4 80 bug detection via program non-termination
4 81 two-step constrained random synthesis
4 82 Constant Time Execution Analysis
4 83 Control Flow Over-Tainting Mitigation
4 84 Coverage-Guided Mutation-Based Fuzzing
4 85 Constraint-based Random Stimuli Generation
4 86 Basic Block Coverage Tracing
4 87 Coverage-Directed Test Selection
4 88 TCG-based Instrumentation
4 89 functional test program generation
4 90 Parameterised Invariants
4 91 Flat Constraint Composition (FLAT)
4 92 Tandem Verification
4 93 Ternary Simulation
4 94 Differential CPU Fuzzing
4 95 Equivalent Program Execution
4 96 Upper Confidence Bound
4 97 Decision Tree Learning
4 98 Coverage-Driven Instruction Generation
4 99 Multi-Armed Bandit
4 100 structural coverage
4