Technique
Technique
1259 entities#
1 Hybrid Automata Modeling
3 2 arc consistency algorithm
3 3 Variant of Ant Colony Optimization
3 4 Hierarchical Constrained-Random Test Generation
3 5 Proxy-Based Fuzzing
3 6 Bayesian Network
3 7 Graph Neural Network (GNN)
3 8 Genetic Algorithm (GA)
3 9 agile co-verification methodology
3 10 differential fuzz testing for CPU verification
3 11 Template-Based Instruction Generation
3 12 Feedback-Adjusted Markov Model
3 13 Natural Language Processing (NLP)
3 14 Exhaustive Dynamic Power Capturing
3 15 Random Binary Generation
3 16 Exception Condition Stimulus Planning
3 17 Single-Class Randomization
3 18 Hardware Dynamic Information Flow Tracking
3 19 Instruction Scenario Generation
3 20 feedback-based verification methodology
3 21 Genetic Algorithm
3 22 Taint Liveness Annotation
3 23 Taint Coverage Matrix
3 24 control register coverage
3 25 Mutational Fuzzing
3 26 Compiler Instrumentation
3 27 RefineBound procedure
3 28 Coverage-Feedback Prompting Template
3 29 Unbounded Model Checking
3 30 Emulation-Based Fuzzing
3 31 Coverage feedback
3 32 multiplexer select coverage
3 33 Design Verification
3 34 PPO
3 35 Hybrid Verification Methodology
3 36 sequential modeling task for test generation
3 37 Dialogue Restarting
3 38 Pre-Silicon Verification
3 39 LSTM
3 40 SAT Solving
3 41 Address-based Coverage Filtering
3 42 tree-based branching mutation strategy
3 43 VM Snapshot Save and Restore
3 44 Transformer architecture
3 45 Test Stimuli Generation
3 46 coverage score prediction
3 47 Majority Vote Differential Analysis
3 48 Jinja2 Template Engine
3 49 Snapshot-based Fuzzing
3 50 inversion tactic
3 51 CP search strategies
3 52 depth-bounded search
3 53 Code Coverage Measurement
3 54 static formal analysis
3 55 Mutation-Based Test Generation
3 56 cross-entropy loss for sequence generation
3 57 Binary Rewriting
3 58 Multi-Class Randomization
3 59 CSR-transition coverage metric
3 60 GenRandNum procedure
3 61 Crash Bucket Analysis
3 62 whitebox testing
3 63 Rule-Based Code Generation
3 64 Marching-Sticks Model
3 65 RTL verification stimuli generation
2 66 Evolutionary algorithm-based test generation
2 67 Slow Responder Task
2 68 FLUSH+RELOAD
2 69 Fast Responder Task
2 70 PRIME+PROBE
2 71 step&compare
2 72 Backward Data-Flow Analysis
2 73 Contrastive Learning
2 74 Cross-product Coverage Points
2 75 pipeline interaction coverage
2 76 Object-Oriented Constraint Partitioning
2 77 temporal-difference learning
2 78 experience replay
2 79 Coverage-guided Aging Counter
2 80 Basic Block Similarity Metric
2 81 Markov decision process
2 82 positive and negative testing
2 83 Rainbow DQN
2 84 Masked Language Modeling
2 85 Fork-Based Fast Checkpointing
2 86 Graph-based Functional Test Program Generation
2 87 Pipelined Execution
2 88 Adam optimizer
2 89 curriculum learning
2 90 user-assisted code generation
2 91 evolutionary test program generation
2 92 software-assisted classification
2 93 Mismatch Reporting at Point of Failure
2 94 Direct Testing
2 95 labeling phase
2 96 Profiling
2 97 Evict+Time
2 98 Sequence Import/Export
2 99 Illegal Instruction Interrupt Handler for Branch Completion
2 100 Counterexample-Driven Development
2