{"id":"W4292946475","doi":"","title":"ntegrating Formal Program Verification with Testing","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Programming language; Formal verification; Formal methods; Software engineering","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.007023661,0.001524446,0.001468136,0.001635087,0.000758064,0.002124588,0.002479438,0.001803456,0.00920589],"category_scores_gemma":[0.03724254,0.001017188,0.002193922,0.0009878253,0.004250833,0.006692689,0.005038496,0.003672596,0.001960613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001227405,"about_ca_system_score_gemma":0.001413955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001332496,"about_ca_topic_score_gemma":0.001164447,"domain_scores_codex":[0.9863526,0.006892216,0.0007786551,0.001496474,0.003762803,0.0007173242],"domain_scores_gemma":[0.9656798,0.02474446,0.001084512,0.006652278,0.001525161,0.0003138167],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006985792,0.0003140472,0.002156177,0.001149688,0.0001650654,0.0009011347,0.0004994211,0.1131509,0.02023124,0.3933665,0.004442907,0.4629243],"study_design_scores_gemma":[0.00007798223,0.0001252786,0.0002393803,0.0001582403,0.00006453614,0.0002981765,0.00004869539,0.4891187,0.02203284,0.479792,0.008009535,0.00003472732],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006551031,0.0001952376,0.9866514,0.0003226831,0.00009028292,0.00006574696,0.00002865454,0.0022691,0.003825781],"genre_scores_gemma":[0.5032092,0.0006027443,0.4833412,0.0005564031,0.0002345946,0.0002744124,0.0003097299,0.001554342,0.009917299],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00920589,"threshold_uncertainty_score":0.03714514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.028285916040894,"score_gpt":0.2502259271547433,"score_spread":0.2219400111138493,"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."}}