{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003102839,0.00004568132,0.00005381584,0.00006020186,0.00006129206,0.00003099041,0.00009623208,0.00003341728,0.00000813378],"category_scores_gemma":[0.0003273985,0.00004494609,0.000006010948,0.0002692804,0.00005391235,0.0007287029,0.00004609661,0.00004051373,0.000003424805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001216569,"about_ca_system_score_gemma":0.000002697444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001446825,"about_ca_topic_score_gemma":1.479568e-7,"domain_scores_codex":[0.9994486,0.00004932164,0.0001563177,0.0001828804,0.00009798707,0.00006489496],"domain_scores_gemma":[0.9995092,0.00008908102,0.000104332,0.0002061613,0.00006551523,0.00002568505],"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.000001730779,0.00003541531,0.01925184,0.00004743092,0.000003191379,1.498597e-7,0.001114908,0.0000478534,0.0240215,0.1590808,0.00008561723,0.7963095],"study_design_scores_gemma":[0.0001561882,0.0001615397,0.2221608,0.00004963431,0.000007605034,0.00003962057,0.00005667125,0.7254506,0.04664179,0.004983356,0.0001539677,0.000138307],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4033089,0.0003460585,0.5916918,0.0003215648,0.0001224913,0.000133816,3.013897e-7,0.00008234059,0.00399271],"genre_scores_gemma":[0.5555848,0.0001286533,0.4442217,0.000005672046,0.000008282841,0.000008165922,1.492953e-7,0.000001409253,0.00004113355],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7961712,"threshold_uncertainty_score":0.1832848,"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."}}