2026-07-07
6 items 196 entities 234 connections
Processed 38 entities and 41 relations.
Constraint Satisfaction Problem Large Language Model Test-Driven Development Knowledge Acquisition Knowledge Base Generation Constraint Model Iterative Prompt Feedback Loop Semantic Validation One-Shot Learning Traveling Salesman Problem N-Queens Problem Magic Square Problem Map Coloring Problem Syntactic Validation Chain of Thought Prompting Program of Thoughts PyChoco Choco Solver ChatGPT ChatGPT-4.1 GitHub Copilot LangChain GPT-Engineer SATzilla Protégé MCP-Solver Model Context Protocol ReAct verify_solutions method run_loop function TSP constraint model (LLM-generated) Test-Driven Generation of CSPs Using LLMs Christian Bähnisch Lothar Hotz Alexander Felfernig Sebastian Lubos Hamburger Informatik Technologie-Center Graz University of Technology
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
source →Processed 28 entities and 36 relations.
catnap Constrained Combinatorial Testing Answer Set Programming clingo CASA TCA ACTS Cascade Covering Array Constrained Mixed Covering Array Combinatorial Testing test suite generation soft constraints multi-criteria optimization prioritized combinatorial testing Constraint Answer Set Programming event-sequence testing Mutsunori Banbara Katsumi Inoue Torsten Schaub Naoyuki Tamura Kobe University NII catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming ASP encoding for strength-2 CMCA finding ASP encoding for optimal strength-2 CMCA finding ASP encoding for strength-2 CCT solving with weak coverage constraints gringo
Processed 48 entities and 68 relations.
Hardware accelerated constrained random test generation B. Pal A. Sinha P. Dasgupta P.P. Chakrabarti K. De Indian Institute of Technology Kharagpur Synopsys India constrained random test generation hardware accelerated simulation coverage-driven randomised verification constrained random value selection layered test bench architecture entailed regions constraint pre-processing strip computation overlapping constraint set strip weight integer linear programming linear feedback shift register pseudo-random number generation bound refinement bi-variate linear constraints solution space projection inequality constraint splitting Bus Functional Model field programmable gate array two-step constrained random synthesis GenRandNum procedure RefineBound procedure ReCompTotWt procedure GenerateSolution algorithm ComputeStrip algorithm constraint backtracking search SystemVerilog OpenVera Specman-Elite ILOG CPLEX Synopsys Design Compiler Reference Verification Methodology Verification Methodology ARM AMBA AHB IBM CoreConnect PCI Bus convex polygon solution region constrained random test bench for ARM AMBA constrained random test bench for IBM CoreConnect design-under-test
Processed 35 entities and 36 relations.
μGP Evolutionary Algorithm Test Program Generation Pseudo-Random Test Generation Feedback-Based Test Generation Hardware Acceleration Tournament Selection Self-Adaptation Local Mutation Operator Individual Aging Elite Population Selection Fault Simulation FPGA-Based Hardware Emulation Stuck-At Fault Coverage Assembly Program Generation Pipeline Testability Functional Test Post-Production Test Turing-Complete Program Fitness Function Elitism CPU Microprocessor Core SPARCv8 Virtex 2000E FPGA Politecnico di Torino E. Sanchez M. Schillaci M. Sonza Reorda G. Squillero L. Sterpone M. Violante VHDL Model Netlist Functional Built-In Self Test MicroGP — An Evolutionary Assembly Program Generator Fully Automatic Test Program Generation for Microprocessor Cores
Processed 36 entities and 44 relations.
A Framework for Guided Test Case Generation in Constraint Logic Programming José Miguel Rojas Miguel Gómez-Zamalloa Technical University of Madrid Complutense University of Madrid Symbolic Execution Test Case Generation Guided Test Case Generation Constraint Logic Programming Path Explosion Problem Trace Abstraction Coverage Criterion All-Local-Paths Coverage Criterion Program-Points Coverage Criterion Trace-Guided TCG Selective Testing Unit Testing CLP-Translated Program Trace Term Termination Criterion Partial Evaluation Program Slicing Trace-Abstraction Refinement Instantiation Mode Analysis Predicate Abstraction Loop-K Termination Criterion Dynamic Memory Allocation PET jPET guidedTCG Prolog Implementation net.datastructures library Structural Coverage Criteria Control Flow Graph Trace Generator Java Bytecode Fixpoint Computation