{"id":"W4414912948","doi":"10.1007/978-3-032-07106-4_9","title":"Abstracting Concolic Execution for Soft Contract Verification","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Concolic testing; Symbolic execution; Rendering (computer graphics); Benchmark (surveying); Static analysis; Symbolic data analysis; Code coverage; Program analysis","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001392465,0.0004284186,0.0004694389,0.0006839056,0.0005567326,0.0007374053,0.002517786,0.0004107437,0.000009900028],"category_scores_gemma":[0.0004180602,0.0004628121,0.0001705538,0.0005329567,0.0003322015,0.0007031381,0.0004323961,0.0006842352,0.00001845892],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005168532,"about_ca_system_score_gemma":0.001033245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003134548,"about_ca_topic_score_gemma":0.00002296358,"domain_scores_codex":[0.9965203,0.00003331155,0.0007399411,0.001520893,0.0006046584,0.0005808813],"domain_scores_gemma":[0.9957796,0.001766779,0.0005859397,0.001221725,0.000527937,0.0001180131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009630251,0.00003085086,0.00001598823,0.00008570004,0.00001264626,0.000005449308,0.0006308083,0.01092566,0.0003259534,0.1486562,0.00009202714,0.8392091],"study_design_scores_gemma":[0.0003822077,0.00008920462,0.0001682955,0.0004645744,0.00001264446,0.0000232919,3.870871e-7,0.8906146,0.002631389,0.09086337,0.01419669,0.0005534116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005211331,0.000344999,0.9904089,0.001217178,0.002896623,0.0008221665,0.000009668372,0.0002650408,0.003983299],"genre_scores_gemma":[0.4193166,0.00005109725,0.5764754,0.002330049,0.001090454,0.00006779235,0.00003534363,0.00003602588,0.0005972047],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8796889,"threshold_uncertainty_score":0.9997824,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.025613513048347,"score_gpt":0.2855329825402949,"score_spread":0.2599194694919479,"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."}}