paper_type.json (280B)
1 { 2 "paper_type": "empirical", 3 "reason": "Runs controlled experiments on real-world Solidity contracts (Code4Arena) with quantitative results (test correctness 3%→33%, mutant kill rates), where the primary contribution is the experimental validation of the PRIMG technique." 4 }