{"id":"W4293870966","doi":"","title":"Third International Competition on Runtime Verification CRV 2016","year":2016,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Competition (biology); Runtime verification; Programming language; Formal verification","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.01844872,0.003646456,0.004547644,0.004437382,0.002384352,0.009057382,0.005029366,0.004682194,0.09920961],"category_scores_gemma":[0.024684,0.001190945,0.00369422,0.003688284,0.0015899,0.005937939,0.007750778,0.005174982,0.06350431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004241017,"about_ca_system_score_gemma":0.008392742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006198768,"about_ca_topic_score_gemma":0.008275033,"domain_scores_codex":[0.9835079,0.004565334,0.0008736256,0.00268233,0.006311734,0.002059066],"domain_scores_gemma":[0.9717646,0.004266067,0.0005836856,0.006945573,0.009956534,0.006483538],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006728388,0.0002328242,0.0003324209,0.0006571303,0.0001031989,0.0001334205,0.0001184133,0.003731296,0.004472274,0.01714374,0.7261881,0.2462144],"study_design_scores_gemma":[0.000333237,0.0004161282,0.001415974,0.0005154945,0.00007707176,0.0003165087,0.0001203362,0.02178698,0.00604449,0.03422465,0.9346609,0.00008828529],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02200619,0.04068939,0.4097513,0.04193065,0.1764762,0.002219597,0.01042072,0.05174542,0.2447605],"genre_scores_gemma":[0.119902,0.0150462,0.1483557,0.005857363,0.02600213,0.001245743,0.05625002,0.03591716,0.5914236],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.09920961,"threshold_uncertainty_score":0.3318892,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01578126948584593,"score_gpt":0.2393602165475003,"score_spread":0.2235789470616543,"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."}}