{"id":"W2122097722","doi":"10.1109/ftcs.1996.534610","title":"A framework for conformance testing of systems communicating through rendezvous","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Conformance testing; Computer science; Rendezvous; Set (abstract data type); Fault (geology); Test case; Fault coverage; Test (biology); System under test; Finite-state machine; Model-based testing; Reliability engineering; System testing; Non-regression testing; Test suite; Code coverage; Algorithm; Programming language; Engineering; Software; Machine learning; Software system; Standardization","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.0003335502,0.0001002014,0.000188961,0.00003862468,0.0001439486,0.00008125052,0.001012791,0.00006718525,0.000002020807],"category_scores_gemma":[0.001807502,0.00008822277,0.00003996206,0.0003593727,0.00004851316,0.0002449909,0.0002209535,0.0001224294,0.000004657159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001608448,"about_ca_system_score_gemma":0.00001185528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000178223,"about_ca_topic_score_gemma":5.13172e-7,"domain_scores_codex":[0.9991039,0.00002989644,0.0003248971,0.0001794908,0.0001439084,0.0002178965],"domain_scores_gemma":[0.9959082,0.002714949,0.0002357841,0.000934849,0.0001774673,0.00002877584],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002567244,0.0001233059,0.005990635,0.0003253142,0.00002649549,0.000002481502,0.003487765,0.000286085,0.0001079961,0.8676549,0.02337197,0.09862053],"study_design_scores_gemma":[0.0001351425,0.0001851125,0.00007673818,0.0005591715,0.000004393739,0.00003934345,0.00002441498,0.8727275,0.000880626,0.12332,0.00185159,0.0001960596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006653494,0.0005880859,0.9833104,0.0001575987,0.0001096972,0.000202639,0.000001421087,0.005976108,0.008988697],"genre_scores_gemma":[0.4153113,0.000006129614,0.5844614,0.0001116189,0.00001745262,0.0000307301,2.457687e-7,0.000005606586,0.00005554688],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8724414,"threshold_uncertainty_score":0.359762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1502830300288753,"score_gpt":0.3253820635826398,"score_spread":0.1750990335537645,"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."}}