{"id":"W4413087881","doi":"10.1007/s10664-025-10685-3","title":"On state reverting in solidity smart contracts: Developer practices, fault categorization, and tool evaluation","year":2025,"lang":"en","type":"article","venue":"Empirical Software Engineering","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Solidity; Categorization; Computer science; State (computer science); Fault (geology); Mean reversion; Engineering; Artificial intelligence; Economics; Econometrics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.07718959,0.0006266157,0.000605365,0.004752953,0.00203845,0.003957597,0.002147618,0.001735403,0.002801327],"category_scores_gemma":[0.3149315,0.00047776,0.0004104882,0.003448493,0.003358795,0.01116753,0.003869488,0.002281659,0.0004404133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004854661,"about_ca_system_score_gemma":0.004674347,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007511491,"about_ca_topic_score_gemma":0.01422029,"domain_scores_codex":[0.9428689,0.0369058,0.003149201,0.00294721,0.0122631,0.001865822],"domain_scores_gemma":[0.4280976,0.4703194,0.02595822,0.03747336,0.03530375,0.002847748],"domain_codex":null,"domain_gemma":"methods","domain_candidate":"methods","domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.002021078,0.003189522,0.3922838,0.0005863275,0.0002717809,0.0003093362,0.02879385,0.03364071,0.004210719,0.0409616,0.004202213,0.4895291],"study_design_scores_gemma":[0.0005005216,0.004648585,0.242586,0.001185041,0.0004372773,0.0007821628,0.03652713,0.5531915,0.03260843,0.1123551,0.01471818,0.0004599536],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9591339,0.0003552586,0.03400391,0.0009553693,0.00002438349,0.0001550594,0.0001318869,0.0002306356,0.005009679],"genre_scores_gemma":[0.9860489,0.00007822725,0.01282901,0.00006528862,0.000005964884,0.00005152249,0.0001209363,0.00005516966,0.000744854],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9228104,"threshold_uncertainty_score":0.4082224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01938984923091066,"score_gpt":0.2983076032530166,"score_spread":0.278917754022106,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}