{"id":"W2029447607","doi":"10.1049/ic:20040392","title":"A transformational framework for testing and model checking implicit-invocation systems","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Executable; Model checking; Debugging; Formal methods; Formal verification; Software engineering; Software system; Software","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.00534698,0.001240325,0.0008092835,0.001715148,0.0008923549,0.002658325,0.003420013,0.001271152,0.002727598],"category_scores_gemma":[0.009747094,0.0008058924,0.002595132,0.001035038,0.005928393,0.003353292,0.002610435,0.004943361,0.0009917917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001989711,"about_ca_system_score_gemma":0.003319207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005141203,"about_ca_topic_score_gemma":0.003123856,"domain_scores_codex":[0.9944959,0.001676757,0.000437743,0.0006485403,0.002367459,0.0003735259],"domain_scores_gemma":[0.9949261,0.002653069,0.0003302539,0.001264279,0.0006829889,0.0001433609],"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.00005524742,0.0001166865,0.000460684,0.0001872289,0.0000448512,0.0004318202,0.0006419892,0.07264125,0.005531106,0.8614073,0.001894491,0.05658741],"study_design_scores_gemma":[0.00007343355,0.0000925522,0.0001973152,0.0001132822,0.00005808933,0.0003237674,0.00009071665,0.3205665,0.009357837,0.6339613,0.03510721,0.0000580297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008182178,0.00005033661,0.9966138,0.0001057606,0.00001556736,0.00005674251,0.00003394204,0.0009131814,0.001392445],"genre_scores_gemma":[0.1103242,0.0002744756,0.8855929,0.000170183,0.00007088148,0.0004083205,0.0003137451,0.0004509935,0.002394141],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00534698,"threshold_uncertainty_score":0.02827787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08553096127345554,"score_gpt":0.3326031716873677,"score_spread":0.2470722104139121,"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."}}