{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001584493,0.00009638933,0.00008910546,0.0001007628,0.0001463631,0.0001516834,0.0003240714,0.00003209631,0.000009186049],"category_scores_gemma":[0.0001935011,0.00008980975,0.00002966745,0.0002684338,0.00001343298,0.0004133045,0.0001856308,0.0001129599,0.00001913738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006476061,"about_ca_system_score_gemma":0.000007713173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001192765,"about_ca_topic_score_gemma":6.478712e-7,"domain_scores_codex":[0.999227,0.00002160578,0.0001628865,0.0002451875,0.0001532305,0.0001900175],"domain_scores_gemma":[0.9992886,0.0001995765,0.00007023296,0.0003261395,0.00006757605,0.00004784694],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003598508,0.000469448,0.01931974,0.00006037957,0.00003595505,0.00008238677,0.002743283,0.1817052,0.03005239,0.0164835,0.02238831,0.7266558],"study_design_scores_gemma":[0.0000424378,0.00001687316,0.00007005926,0.00005357594,0.000001989729,0.00007264054,0.000001594526,0.9906038,0.001020707,0.007949566,0.00004740157,0.0001193377],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03152224,0.00002407924,0.9513677,0.0001118591,0.0001179071,0.0000487334,8.793211e-8,0.01080279,0.006004645],"genre_scores_gemma":[0.5066623,4.506552e-7,0.4931241,0.0001460713,0.00001824734,0.000001663344,9.251281e-8,0.000004523712,0.0000425274],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8088986,"threshold_uncertainty_score":0.3662335,"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."}}