{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00244987,0.001202075,0.0008732699,0.001072841,0.001151215,0.002244991,0.001868245,0.001156545,0.01098336],"category_scores_gemma":[0.007923648,0.001110185,0.001498637,0.0009965517,0.003458899,0.003887009,0.004495637,0.004133678,0.003444485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001359418,"about_ca_system_score_gemma":0.001982649,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00222033,"about_ca_topic_score_gemma":0.003338517,"domain_scores_codex":[0.9967642,0.0008642705,0.0002237592,0.0004422687,0.001359572,0.0003459518],"domain_scores_gemma":[0.9955422,0.002201383,0.0001834889,0.001506765,0.0004659042,0.0001001786],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000313325,0.0001067119,0.0003568668,0.0003485865,0.0000477489,0.0002295699,0.0005224579,0.04980182,0.009108022,0.7508178,0.005612283,0.1827348],"study_design_scores_gemma":[0.00004204533,0.00005540439,0.0001031953,0.0001084288,0.00004460171,0.0001093315,0.0000426331,0.2419707,0.01621464,0.7186428,0.02262896,0.00003715264],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004589986,0.0001188177,0.9863045,0.0001006687,0.00007002259,0.0001017346,0.00005136661,0.001852209,0.006810735],"genre_scores_gemma":[0.2979541,0.000550342,0.6697184,0.0003843315,0.0001568816,0.0004388716,0.0006993765,0.002606537,0.02749116],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01098336,"threshold_uncertainty_score":0.03674299,"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."}}