{"id":"W2096914257","doi":"10.1109/test.1997.639710","title":"Supervisors for testing non-deterministically specified systems","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":"Bell (Canada); University of Waterloo","funders":"","keywords":"Supervisor; Computer science; Reliability engineering; System testing; Determinism; Software engineering; Engineering","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.002166708,0.0008271892,0.0006929259,0.0009198827,0.0003999959,0.001087484,0.001133707,0.0007107503,0.002600995],"category_scores_gemma":[0.006706322,0.0005875046,0.0005881288,0.0004214224,0.00129266,0.0009803347,0.0009573591,0.002043751,0.0006982367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006060599,"about_ca_system_score_gemma":0.001318476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007903429,"about_ca_topic_score_gemma":0.001092165,"domain_scores_codex":[0.9970805,0.001207946,0.000183416,0.0002958506,0.00108724,0.0001450096],"domain_scores_gemma":[0.9922411,0.005399137,0.000766978,0.0009164476,0.0004679464,0.0002084072],"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.001134678,0.0005021364,0.006444641,0.001495332,0.0001382426,0.001584106,0.001649782,0.1979712,0.08493925,0.3749464,0.008138022,0.3210562],"study_design_scores_gemma":[0.0002187012,0.0005842563,0.001056949,0.0002448683,0.00008816511,0.0006664413,0.000175602,0.8067726,0.0531918,0.1162156,0.02072479,0.00006028471],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01222096,0.000354079,0.9804302,0.0001116289,0.00004012357,0.000157974,0.0001018075,0.004853918,0.00172929],"genre_scores_gemma":[0.4116771,0.0004631346,0.5825462,0.0001514847,0.00006508446,0.0007590877,0.0006288444,0.000437597,0.003271595],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002600995,"threshold_uncertainty_score":0.01145875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1158418198545366,"score_gpt":0.2614392815401561,"score_spread":0.1455974616856195,"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."}}