{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002048451,0.0008777772,0.0004056772,0.001093603,0.0004646017,0.001265678,0.0009839672,0.001101106,0.00138576],"category_scores_gemma":[0.01391649,0.0005483169,0.0008092317,0.000730415,0.001231447,0.001336894,0.0009455997,0.001581937,0.0004446253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001145994,"about_ca_system_score_gemma":0.002554209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002337235,"about_ca_topic_score_gemma":0.002182155,"domain_scores_codex":[0.9972089,0.0008843078,0.0001810785,0.0002745649,0.001290112,0.0001610128],"domain_scores_gemma":[0.9928538,0.003043519,0.0006780582,0.002369154,0.0009864758,0.00006887522],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003561428,0.0002405662,0.005821737,0.0004398039,0.00007588603,0.001205474,0.001347462,0.5620795,0.0744513,0.1830425,0.002495465,0.1684443],"study_design_scores_gemma":[0.00003258121,0.0001020285,0.0005997836,0.00005087286,0.00003526388,0.0002217676,0.0001000771,0.8781145,0.06472629,0.04648799,0.009500043,0.00002877188],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04814777,0.00004140277,0.9474083,0.0001444716,0.00002724087,0.0002039185,0.0002791498,0.002156589,0.001591158],"genre_scores_gemma":[0.370155,0.000175313,0.624018,0.00005251321,0.00001723132,0.0006434236,0.001442484,0.0005095113,0.002986493],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002337235,"threshold_uncertainty_score":0.01083338,"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."}}