chubbymaggie/sette-results
Evaluation results of different test input generator tools
This is a fork of the Linux Kernel Virtual Machine (KVM) with Nitro extensions.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Evaluation results of different test input generator tools
Code snippets for evaluating test input generator tools with SETTE
Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
Public repository.