{"id":"W2102418068","doi":"10.1109/tse.2002.1049402","title":"Timed Wp-method: testing real-time systems","year":2002,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":135,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Nondeterministic algorithm; Correctness; Timed automaton; Automaton; System under test; Finite-state machine; Fault coverage; Real-time operating system; Test case; Real-time computing; Distributed computing; Algorithm; Theoretical computer science; Embedded system","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003782933,0.0003092425,0.0003082942,0.0003753713,0.0002229118,0.0002047865,0.0006200568,0.0001412799,0.0000297764],"category_scores_gemma":[0.0002562958,0.0003291331,0.0001115182,0.0009361383,0.00001723565,0.0003573619,0.000006264544,0.0003745235,0.0002462812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001278952,"about_ca_system_score_gemma":0.00001997557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001036231,"about_ca_topic_score_gemma":2.323379e-7,"domain_scores_codex":[0.9982241,0.00005960484,0.0003645822,0.0005223097,0.0003500289,0.0004793927],"domain_scores_gemma":[0.9972542,0.00164602,0.00008248465,0.0007287334,0.0001139025,0.0001746809],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004428416,0.0002325413,0.0001208326,0.0001807929,0.00009352344,0.0001175525,0.0006021577,0.8072634,0.005019221,0.0001839124,0.007396425,0.1787852],"study_design_scores_gemma":[0.0001599194,0.0001058971,0.00006467586,0.0002474296,0.00001506102,0.0001634677,0.000001141796,0.9947463,0.003706865,0.00005587337,0.0003263582,0.0004070195],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007546978,0.00006639904,0.9630008,0.00002651513,0.0007475171,0.0001954917,0.000007005068,0.0349737,0.000227834],"genre_scores_gemma":[0.1373837,0.00001150655,0.8617237,0.00003760563,0.00008093422,0.00009678226,6.460476e-7,0.00005885443,0.0006063022],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1874829,"threshold_uncertainty_score":0.9999161,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02672061398918014,"score_gpt":0.2342479938867207,"score_spread":0.2075273798975405,"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."}}