{"id":"W2129287039","doi":"10.1109/iceccs.1996.558423","title":"Recovery of communications protocol design from protocol execution traces","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Reverse engineering; Executable; Protocol (science); Software design; Software engineering; TRACE (psycholinguistics); Software construction; Finite-state machine; Software; Software design description; Communications protocol; Engineering design process; Programming language; Software system; Software development; Distributed computing; Operating system","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.0003579028,0.0001061992,0.000151756,0.00006896966,0.00006132563,0.00003482137,0.001278855,0.00005961982,0.0000535513],"category_scores_gemma":[0.000447743,0.00009174478,0.00004257005,0.0002691071,0.00006584184,0.0005786598,0.0002527258,0.0001138886,0.00002111342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003295075,"about_ca_system_score_gemma":0.0000167882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001800993,"about_ca_topic_score_gemma":0.00000191803,"domain_scores_codex":[0.9989415,0.0002810553,0.0002790503,0.0002096843,0.0001481595,0.0001404807],"domain_scores_gemma":[0.99726,0.00123248,0.0001318182,0.001272738,0.00007018898,0.00003278632],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009181595,0.0009469392,0.0001914327,0.000200622,0.00008439971,0.000006048824,0.002252439,0.1716585,0.02446066,0.0264893,0.008337853,0.7652801],"study_design_scores_gemma":[0.002492814,0.001104387,0.001371153,0.000245062,0.00001247942,0.00001160945,0.00008876686,0.5073436,0.2412712,0.2027753,0.04230617,0.0009775007],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000002329327,0.000003357495,0.7154645,0.0001164406,0.00002154521,0.2834076,0.000001038075,0.0003486743,0.0006344605],"genre_scores_gemma":[0.00009373834,6.861942e-7,0.530176,0.0000136277,0.000006294969,0.4695922,2.345506e-7,0.000004013017,0.0001131333],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7643026,"threshold_uncertainty_score":0.3741243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1852216812309579,"score_gpt":0.3578407954828979,"score_spread":0.17261911425194,"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."}}