{"id":"W1564813932","doi":"10.1109/icnp.1993.340889","title":"A framework for interoperability testing of network protocols","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Interoperability; Computer science; Programming language; Protocol (science); Implementation; Formal specification; Relation (database); Interpretation (philosophy); Formal methods; Expressive power; Theoretical computer science; Data mining; World Wide Web","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.01041243,0.002335713,0.001497899,0.004383448,0.002002148,0.005848632,0.005326516,0.00353942,0.005122358],"category_scores_gemma":[0.01478818,0.001484804,0.004446773,0.002945922,0.009757335,0.008959183,0.004510133,0.006968403,0.001317848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003927085,"about_ca_system_score_gemma":0.004497054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006952662,"about_ca_topic_score_gemma":0.004111391,"domain_scores_codex":[0.9891016,0.0052316,0.0009455423,0.001057106,0.002969671,0.000694535],"domain_scores_gemma":[0.9903283,0.005447358,0.0005318722,0.002016778,0.00129007,0.0003856203],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001110402,0.00003706881,0.0001135487,0.00008266654,0.00002062129,0.000165937,0.0002282553,0.009983758,0.0005632397,0.9725018,0.001357019,0.01493495],"study_design_scores_gemma":[0.00004263034,0.00006218847,0.00008657604,0.0002144941,0.0000389675,0.000241644,0.0001216988,0.08073671,0.001360859,0.875631,0.04142501,0.0000381151],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008848368,0.0003389704,0.9919551,0.0007056824,0.00009641194,0.0001491437,0.00006499321,0.0005439515,0.005260793],"genre_scores_gemma":[0.06500478,0.0008389996,0.9277679,0.0006594543,0.0002326294,0.0009921457,0.0004181452,0.0002092326,0.003876763],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01041243,"threshold_uncertainty_score":0.05506682,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.152364362992072,"score_gpt":0.3469682107810886,"score_spread":0.1946038477890166,"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."}}