Line Coverage on JSON Fuzzing
3,240Line CoverageCARS
Evaluation Results
| Method | Links | |
|---|---|---|
| CARSGrammar in Prompt=true, Backbone=Qwen-14B2025.10 | 3,240 | |
| MCMCGrammar in Prompt=true, Backbone=Qwen-14B2025.10 | 3,240 | |
| CARSGrammar in Prompt=false, Backbone=Llama-8B2025.10 | 3,230 | |
| MCMCGrammar in Prompt=false, Backbone=Qwen-14B2025.10 | 3,220 | |
| CARSGrammar in Prompt=false, Backbone=Qwen-14B2025.10 | 3,200 | |
| MCMCGrammar in Prompt=false, Backbone=Qwen-7B2025.10 | 3,190 | |
| CARSGrammar in Prompt=true, Backbone=Llama-8B2025.10 | 3,180 | |
| MCMCGrammar in Prompt=true, Backbone=Qwen-7B2025.10 | 3,170 | |
| MCMCGrammar in Prompt=true, Backbone=Llama-8B2025.10 | 3,150 | |
| RSFTGrammar in Prompt=true, Backbone=Qwen-14B2025.10 | 3,140 | |
| RSFTGrammar in Prompt=false, Backbone=Llama-8B2025.10 | 3,120 | |
| RSFTGrammar in Prompt=false, Backbone=Qwen-14B2025.10 | 3,110 | |
| MCMCGrammar in Prompt=false, Backbone=Llama-8B2025.10 | 3,100 | |
| CARSGrammar in Prompt=false, Backbone=Qwen-7B2025.10 | 3,090 | |
| CARSGrammar in Prompt=true, Backbone=Qwen-7B2025.10 | 3,090 | |
| RSFTGrammar in Prompt=true, Backbone=Llama-8B2025.10 | 3,080 | |
| RSFTGrammar in Prompt=true, Backbone=Qwen-7B2025.10 | 3,060 | |
| RSFTGrammar in Prompt=false, Backbone=Qwen-7B2025.10 | 3,050 | |
| GCDGrammar in Prompt=true, Backbone=Qwen-14B2025.10 | 2,950 | |
| GCDGrammar in Prompt=false, Backbone=Qwen-14B2025.10 | 2,940 | |
| GCDGrammar in Prompt=true, Backbone=Llama-8B2025.10 | 2,890 | |
| GCDGrammar in Prompt=false, Backbone=Llama-8B2025.10 | 2,870 | |
| GCDGrammar in Prompt=true, Backbone=Qwen-7B2025.10 | 2,860 | |
| GCDGrammar in Prompt=false, Backbone=Qwen-7B2025.10 | 2,850 |