{"id":"W1981053051","doi":"10.1109/rtcsa.2013.6732226","title":"INSTEP: A static instrumentation framework for preserving extra-functional properties","year":2013,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Instrumentation (computer programming); Correctness; Computer science; Tracing; Debugging; Software; Scalability; Leverage (statistics); Functional requirement; Embedded system; Programming language; Software engineering; Operating system; Artificial intelligence","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.005120616,0.001860095,0.001180073,0.002194389,0.001129283,0.002184697,0.004066706,0.001657155,0.005797715],"category_scores_gemma":[0.01444337,0.0018646,0.003123638,0.001255182,0.003187076,0.004712085,0.004739229,0.00373096,0.001648517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00170713,"about_ca_system_score_gemma":0.004681309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00455556,"about_ca_topic_score_gemma":0.006437428,"domain_scores_codex":[0.9946151,0.001168351,0.0004371374,0.000747631,0.002392642,0.0006390026],"domain_scores_gemma":[0.9917049,0.003898253,0.0007596485,0.002337941,0.001079983,0.0002192876],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005744746,0.0004873606,0.007451037,0.002016321,0.0003026928,0.001250178,0.00142438,0.1756411,0.03650782,0.3440688,0.02213987,0.408136],"study_design_scores_gemma":[0.0001787453,0.0003927578,0.001811045,0.0004112488,0.0002582177,0.001173592,0.0002303572,0.659074,0.07476647,0.1558118,0.105657,0.0002347206],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002449758,0.0001065333,0.9789386,0.00009117029,0.00002227452,0.0001163576,0.0002344601,0.01663166,0.001409273],"genre_scores_gemma":[0.1190575,0.0003226727,0.8688943,0.0002278002,0.00006912882,0.0005007121,0.001238615,0.006626672,0.003062493],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005797715,"threshold_uncertainty_score":0.02708077,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05159943198701764,"score_gpt":0.2549158894907326,"score_spread":0.203316457503715,"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."}}