{"id":"W2100104470","doi":"10.1109/ccece.2004.1349694","title":"A new approach to test case generation based on real-time process algebra (RTPA)","year":2004,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Process (computing); Software; Set (abstract data type); Code (set theory); Reliability engineering; Programming language; Software engineering; Engineering","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.0002131637,0.0001495017,0.0001196084,0.0001078873,0.0001603011,0.0001969581,0.0003237992,0.00005319337,0.00002089384],"category_scores_gemma":[0.00007694457,0.0001322164,0.00004023879,0.0006221116,0.00000749849,0.0001251916,0.00007583726,0.00009756479,0.0002661929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005510781,"about_ca_system_score_gemma":0.0002078471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001378473,"about_ca_topic_score_gemma":0.00002398006,"domain_scores_codex":[0.9987839,0.00003213119,0.0001519273,0.000548823,0.00022331,0.0002598467],"domain_scores_gemma":[0.9991301,0.0001129837,0.00003845331,0.0003836856,0.0001176956,0.0002170292],"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.00003368054,0.001808832,0.0001471725,0.00003882031,0.00002189936,0.0007603467,0.002057055,0.5992606,0.00237476,0.01923792,0.0309345,0.3433245],"study_design_scores_gemma":[0.0005314529,0.0002669013,0.00009619448,0.00003380532,0.00000447214,0.0001600525,0.000007358314,0.9949681,0.003144007,0.0004811801,0.00007898976,0.0002275388],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02728854,0.000003875863,0.9377044,0.0007480221,0.00008772879,0.0002468316,7.304524e-7,0.0003475608,0.03357228],"genre_scores_gemma":[0.816276,5.589026e-7,0.1810062,0.00153249,0.0003401625,0.00001502382,0.000006982187,0.00001093343,0.0008116278],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7889875,"threshold_uncertainty_score":0.5391628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02572375301491274,"score_gpt":0.2576556536889225,"score_spread":0.2319319006740098,"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."}}