{"id":"W1585743220","doi":"10.1109/icnp.1995.524814","title":"Verification and diagnosis of testing equivalence and reduction relation","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Formal specification; Conformance testing; Equivalence (formal languages); Specification language; Reduction (mathematics); Language Of Temporal Ordering Specification; System requirements specification; Graph; Programming language; Reliability engineering; Theoretical computer science; Software engineering; Engineering; Mathematics; Operating system","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.005537761,0.001078581,0.001257481,0.001954223,0.0008941738,0.001549592,0.002004962,0.001714757,0.00276571],"category_scores_gemma":[0.03505623,0.0006083649,0.002214398,0.001167906,0.005310409,0.004479258,0.00284972,0.0027405,0.0005386904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00137069,"about_ca_system_score_gemma":0.002553752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003617759,"about_ca_topic_score_gemma":0.001983118,"domain_scores_codex":[0.9856575,0.004716359,0.000842915,0.00309639,0.004489349,0.001197486],"domain_scores_gemma":[0.9720657,0.02036165,0.00133024,0.00368959,0.002286477,0.0002662574],"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.0007565881,0.0004115062,0.006885808,0.0005388901,0.000205526,0.001421937,0.00128647,0.0791387,0.0310507,0.6622289,0.002786821,0.2132881],"study_design_scores_gemma":[0.0002064144,0.00030053,0.001459701,0.00005748332,0.0001500258,0.000716237,0.0002165209,0.3525909,0.05400823,0.584852,0.005370807,0.0000711727],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.053788,0.0001277041,0.9399938,0.0004672102,0.00005003889,0.0002527066,0.0001493541,0.00177465,0.003396603],"genre_scores_gemma":[0.6058108,0.0001690416,0.3906516,0.0002714395,0.00006948376,0.0004833402,0.0007980363,0.0002742426,0.001472084],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005537761,"threshold_uncertainty_score":0.02928686,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1010984233099527,"score_gpt":0.2838532014039411,"score_spread":0.1827547780939884,"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."}}