2026-08-12
3 items 85 entities 112 connections
Automatic test program generation using extended conditional constraint satisfaction - Intranational Business Machines Corporation
source →Processed 30 entities and 46 relations.
Constraint Satisfaction Problem Conditional Constraint Satisfaction Problem Extended Conditional Constraint Satisfaction Problem Automatic Test Program Generation Micro-architectural Model Design Under Test Operator Semantics Table Parse Tree Directed Acyclic Graph Shadow Variable Preserved Semantics Activation Requirement Random Test Program Generation Microprocessor Verification Piparazzi ECondCSP Builder CondCSP Solver Test Generator Algorithms for Constraint Satisfaction Problems: A Survey Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation Piparazzi: A Test Program Generator for Micro-architecture Flow Verification Kumar Bin Adir Compatibility Constraint Activity Constraint Micro-architectural Event Atomic Constraint Composition Method Compose Pseudocode
Processed 32 entities and 45 relations.
SearchSYS gem5 AFL++ Fuzzing Differential Testing LLM-based Test Generation ARM ISA Seed Corpus cm-gem5c.so cm-gem5c-bin.so cm-gem5c-types.so TinyLlama CodeBooga Magicoder Phi Llama GPT-3.5 Search+LLM-based Testing for ARM Simulators Karine Even-Mendoza Hector D. Menendez W.B. Langdon Aidan Dakhama Justyna Petke Bobby R. Bruce ARM Custom Mutator Binary Instrumentation hello-custom-binary-Ex.py 1-run-diff-test.sh 2-test-input.sh Experiment-ARM-24h.sh C Program Generation
Processed 23 entities and 21 relations.
reset_pc memory map DRAM region IO region HTIF RV64 RISC-V I extension RISC-V M extension RISC-V A extension RISC-V F extension RISC-V D extension RISC-V C extension RISC-V H extension RISC-V V extension RISC-V U mode RISC-V S mode test generation secure access probability secure page table probability A/D bit randomization PBMT NCIO randomization feature randomization CPU stimulus configuration JSON