{"id":"W2237544177","doi":"10.1007/978-3-642-35813-5_5","title":"Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; University of Alberta; University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada; Ministère de l'Education Nationale, de l'Enseignement Superieur et de la Recherche; Universidad ICESI; International Business Machines Corporation","keywords":"Computer science; Adaptation (eye); Software engineering; Verification and validation; Software; Software quality; Field (mathematics); Software system; Software development; Software verification; Software construction; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00107121,0.0003731872,0.000514706,0.0004796209,0.0001004032,0.0002563392,0.001116622,0.0003063547,0.000003583108],"category_scores_gemma":[0.0008591714,0.0003444724,0.00005424347,0.0003693412,0.0003873447,0.001044687,0.0007573116,0.0005133334,0.00001348681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002323373,"about_ca_system_score_gemma":0.000381923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001838467,"about_ca_topic_score_gemma":6.484453e-7,"domain_scores_codex":[0.9973441,0.00008502699,0.0004809368,0.001021089,0.0007154541,0.0003534249],"domain_scores_gemma":[0.9965266,0.001555709,0.0004141449,0.0009646454,0.0004367968,0.0001021334],"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.00001037131,0.00004846985,0.00003803852,0.0002855828,0.00004686822,0.0000303365,0.001813924,0.3276303,0.0004307582,0.09757151,0.00002261862,0.5720713],"study_design_scores_gemma":[0.0003646062,0.0005352904,0.0006395189,0.000727658,0.00003625789,0.0002033479,0.000001330433,0.7211231,0.01005909,0.2646099,0.0004815762,0.001218353],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001052022,0.0004562598,0.9970936,0.0001384264,0.001192513,0.0004733602,0.000003688059,0.0003674031,0.0001695083],"genre_scores_gemma":[0.02072409,0.00006068262,0.9789586,0.00004437334,0.0001214416,0.00001728833,0.000002798439,0.00002377052,0.00004692437],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5708529,"threshold_uncertainty_score":0.9999008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03947496074503273,"score_gpt":0.2855747491739405,"score_spread":0.2460997884289078,"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."}}