{"id":"W2011860366","doi":"10.1108/17440080710848080","title":"Test selection criteria for real‐time systems modeled as timed input‐output automata","year":2007,"lang":"en","type":"article","venue":"International Journal of Web Information Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Timed automaton; Selection (genetic algorithm); Test (biology); Real-time operating system; Theoretical computer science; Embedded system; Artificial intelligence","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.005178289,0.0002010846,0.0003390863,0.0009404409,0.0001231435,0.001008995,0.001448562,0.0001702949,0.000007379545],"category_scores_gemma":[0.0009235168,0.0001851785,0.0001502747,0.0003846676,0.00003045888,0.006424315,0.00009733171,0.0001888116,0.0001874126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00058522,"about_ca_system_score_gemma":0.0003332582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005825991,"about_ca_topic_score_gemma":5.76243e-7,"domain_scores_codex":[0.9961715,0.0001297082,0.001990436,0.0001523302,0.001269897,0.0002860794],"domain_scores_gemma":[0.9934537,0.0004283765,0.002134165,0.0002941792,0.003532808,0.0001567462],"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.001854668,0.0009163601,0.00227796,0.001035548,0.001680092,0.00004598438,0.01189506,0.06687927,0.09599327,0.5966861,0.0767969,0.1439389],"study_design_scores_gemma":[0.001148386,0.0003113239,0.0005617419,0.0001939167,0.000015341,0.0006604086,0.0002094975,0.9468696,0.001998082,0.0001784998,0.04764385,0.0002093738],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01734973,0.00003680774,0.9667468,0.0002148876,0.008205252,0.0006063991,0.00004178881,0.0001858374,0.006612469],"genre_scores_gemma":[0.8741317,0.00004724948,0.1235599,0.00012208,0.001310113,0.00004417473,0.00004936278,0.00001972245,0.0007157783],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8799903,"threshold_uncertainty_score":0.9729764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0253087063252559,"score_gpt":0.3323912857186224,"score_spread":0.3070825793933665,"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."}}