{"id":"W1923175529","doi":"10.1109/newcas.2004.1359103","title":"Towards software model checking using MDGs","year":2004,"lang":"en","type":"article","venue":"The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004.","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Programming language; Java; Software engineering; Software; Schema (genetic algorithms); Metamodeling; Theoretical computer science; Machine learning","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.005983407,0.001278659,0.001142288,0.001883705,0.0006296518,0.002631231,0.002319084,0.001960111,0.002239855],"category_scores_gemma":[0.01404789,0.001042364,0.001847682,0.00105937,0.002717963,0.002852408,0.003536019,0.004539483,0.0007189377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001246142,"about_ca_system_score_gemma":0.002529165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003230006,"about_ca_topic_score_gemma":0.002573906,"domain_scores_codex":[0.9952178,0.002263581,0.0002225134,0.0004285684,0.001651637,0.0002158147],"domain_scores_gemma":[0.9946854,0.003523201,0.0002978686,0.0008037292,0.0005818718,0.0001079303],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009824803,0.00007298612,0.000658423,0.0003163137,0.0001172221,0.0002227034,0.0002873987,0.5560791,0.004687641,0.3898697,0.0009155152,0.04667481],"study_design_scores_gemma":[0.00003592413,0.0000363736,0.00003939099,0.00007853162,0.00003051684,0.00003719075,0.00003015331,0.7928325,0.003791265,0.1955291,0.007543139,0.00001587205],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001523237,0.00009583189,0.9973061,0.0001300566,0.00002351146,0.00003415301,0.0000184539,0.0003659881,0.0005026339],"genre_scores_gemma":[0.08276661,0.0006552488,0.9144967,0.0002386716,0.00003871565,0.0003216291,0.0001732557,0.0001977684,0.001111458],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005983407,"threshold_uncertainty_score":0.03164369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08429744369017628,"score_gpt":0.3143682952937805,"score_spread":0.2300708516036042,"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."}}