{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004812689,0.001456265,0.000998323,0.002931722,0.0004327792,0.001833098,0.001349292,0.001172563,0.003032741],"category_scores_gemma":[0.03315483,0.0003365497,0.0009038876,0.0009797623,0.001034289,0.001514142,0.0009271959,0.0006417197,0.0002831379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001547237,"about_ca_system_score_gemma":0.001017848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271994,"about_ca_topic_score_gemma":0.001667607,"domain_scores_codex":[0.9916471,0.004859587,0.0005569334,0.0005095488,0.001906242,0.0005206736],"domain_scores_gemma":[0.9389895,0.05161284,0.003043493,0.0008645884,0.004569215,0.0009202784],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001894632,0.0004030977,0.01614848,0.0007251286,0.0003043911,0.001682419,0.000366732,0.839147,0.01501621,0.03224766,0.002465911,0.08959837],"study_design_scores_gemma":[0.00007343208,0.0002463456,0.0008101193,0.00004255454,0.00004711257,0.0001343985,0.00005533436,0.9841473,0.005609892,0.008380693,0.0004351061,0.00001775901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3340212,0.0005861796,0.6553895,0.0005889244,0.00007082949,0.0004037488,0.0003544182,0.001901444,0.006683769],"genre_scores_gemma":[0.9605911,0.00005635241,0.03820672,0.00004303672,0.00001977403,0.0001723481,0.0002615034,0.00007652745,0.0005725707],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004812689,"threshold_uncertainty_score":0.02545226,"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."}}