{"id":"W2096045495","doi":"10.1109/csmr.2005.46","title":"Recovering Behavioral Design Models from Execution Traces","year":2005,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":89,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Notation; Task (project management); Behavioral modeling; Programming language; Artificial intelligence; Machine learning","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":[],"consensus_categories":[],"category_scores_codex":[0.00022701,0.0001049621,0.0001099432,0.00004976338,0.0000458617,0.00006428738,0.0004438405,0.00005337867,0.000011974],"category_scores_gemma":[0.00004721541,0.00009901258,0.00003291352,0.0001169183,0.00001327366,0.001481167,0.0001018137,0.00009158857,0.00002295188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006411242,"about_ca_system_score_gemma":0.00001518359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003368357,"about_ca_topic_score_gemma":0.000005767934,"domain_scores_codex":[0.9992151,0.00006098929,0.0001356478,0.0002689877,0.0001276224,0.0001916472],"domain_scores_gemma":[0.9992561,0.0003181889,0.00003140502,0.0003282478,0.00002226682,0.0000437824],"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.00000202809,0.00001337504,0.000004712598,5.652927e-7,0.000002202708,0.000001955497,0.0002830141,0.8434924,0.002946,0.00241322,0.00007263892,0.1507678],"study_design_scores_gemma":[0.0001655077,0.00005872223,0.0001610657,0.00001126561,0.000004755188,0.00000488957,0.00002932369,0.8476778,0.07044236,0.08079916,0.0003646546,0.0002804508],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01085834,0.0001773128,0.9873117,0.0001185544,0.0002378945,0.00007362506,9.349898e-7,0.001063884,0.0001577274],"genre_scores_gemma":[0.1789294,0.0000159345,0.820812,0.00003977447,0.00005109539,0.00001049133,7.362625e-7,0.000006816801,0.0001336328],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1680711,"threshold_uncertainty_score":0.4037616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1459487302244602,"score_gpt":0.3150343614912208,"score_spread":0.1690856312667606,"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."}}