{"id":"W4247954915","doi":"10.1109/icse.1993.346059","title":"Simulating the behaviour of software modules by trace rewriting","year":2002,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"TRACE (psycholinguistics); Rewriting; Computer science; Assertion; Programming language; Term (time); Theoretical computer science","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.002422219,0.0007351906,0.0005756132,0.0007160784,0.0004001145,0.001182238,0.002331846,0.001329359,0.003665927],"category_scores_gemma":[0.008793394,0.000686591,0.001378781,0.0004362369,0.001415757,0.002209898,0.00116666,0.001250685,0.0007794248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006479979,"about_ca_system_score_gemma":0.001276808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002696906,"about_ca_topic_score_gemma":0.002418873,"domain_scores_codex":[0.9972499,0.001144228,0.0001876023,0.0002971094,0.000943641,0.0001774142],"domain_scores_gemma":[0.9950288,0.003113736,0.0002947208,0.001059715,0.0004168177,0.00008625088],"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.0003034716,0.0003110734,0.003128049,0.0003292537,0.0001570421,0.0008529609,0.001658637,0.5200408,0.08926129,0.2614934,0.001856993,0.120607],"study_design_scores_gemma":[0.00006373278,0.0001087833,0.0001248657,0.00001892227,0.00003410797,0.0001275871,0.00003215109,0.9260517,0.03781107,0.02998135,0.005614318,0.00003138738],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01350347,0.00001577341,0.9824005,0.0000362881,0.00001229243,0.00007012487,0.00003062001,0.002700017,0.001231027],"genre_scores_gemma":[0.3297338,0.0001172321,0.6643384,0.00007976204,0.00002103582,0.0003140142,0.0002757069,0.001048796,0.004071229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003665927,"threshold_uncertainty_score":0.01281005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01728732092483993,"score_gpt":0.2329433925961896,"score_spread":0.2156560716713496,"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."}}