{"id":"W1546593066","doi":"10.1109/ccece.2001.933644","title":"Component interaction testing using model-checking","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Component (thermodynamics); Model checking; Model-based testing; Programming language; Simple (philosophy); Semantics (computer science); Test case; Formal semantics (linguistics); Object-oriented programming; Formal specification; Formal methods; Theoretical computer science; Software engineering; 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.006784426,0.001434054,0.00106699,0.002267105,0.0007034943,0.00262239,0.003093516,0.001814326,0.00281642],"category_scores_gemma":[0.02553552,0.0008860653,0.002245666,0.001493205,0.002246868,0.004526674,0.002256299,0.002175689,0.0005739726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001640673,"about_ca_system_score_gemma":0.002429216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005038037,"about_ca_topic_score_gemma":0.003664302,"domain_scores_codex":[0.987883,0.005795281,0.0005610509,0.000944322,0.004315321,0.0005009468],"domain_scores_gemma":[0.9806423,0.01297199,0.0007239758,0.003793242,0.001691185,0.0001773282],"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.0003795271,0.0005406355,0.005362004,0.0005622829,0.0004003991,0.0005671103,0.0004586275,0.5337317,0.02868388,0.1783906,0.005195298,0.2457279],"study_design_scores_gemma":[0.00009486001,0.00010954,0.0002655234,0.0000632788,0.0000643522,0.0001719237,0.00002023886,0.9247739,0.01955207,0.05096097,0.003892095,0.0000313138],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008197887,0.00009436879,0.9870526,0.0001243098,0.00002291028,0.00007159528,0.00003996573,0.002794408,0.001601784],"genre_scores_gemma":[0.3094322,0.0002922979,0.6873094,0.0001423578,0.00003299857,0.0003199435,0.0004261567,0.0006673097,0.001377363],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006784426,"threshold_uncertainty_score":0.03587991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2274275624985504,"score_gpt":0.3114050500687361,"score_spread":0.08397748757018575,"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."}}