{"id":"W3197206692","doi":"10.1109/tse.2021.3107680","title":"Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain","year":2022,"lang":"en","type":"article","venue":"Open Repository and Bibliography (University of Luxembourg)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"H2020 European Research Council; Natural Sciences and Engineering Research Council of Canada; European Commission; European Space Agency","keywords":"Computer science; Scalability; Cyber-physical system; Domain (mathematical analysis); Space (punctuation); Domain analysis; Theoretical computer science; Distributed computing; Computer security; Programming language; Operating system; Software; Software development","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.001227773,0.00007054728,0.0001781449,0.003500212,0.001034578,0.0002396277,0.0006580038,0.00002491689,3.511499e-7],"category_scores_gemma":[0.000003747204,0.00006811818,0.00009442107,0.01149154,0.0001022381,0.0004122947,0.0004646411,0.00009262421,5.089239e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000943023,"about_ca_system_score_gemma":0.00002279901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002970182,"about_ca_topic_score_gemma":0.00002728236,"domain_scores_codex":[0.9989967,0.0002804749,0.0001124477,0.0002917589,0.0001842572,0.0001343264],"domain_scores_gemma":[0.9990239,0.0004296697,0.0001585261,0.000288867,0.0000604713,0.00003860949],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.001100746,0.002287644,0.6039047,0.0004141834,0.001840509,0.0006465307,0.04002544,0.007230883,0.0009949106,0.140619,0.1954549,0.005480519],"study_design_scores_gemma":[0.005473899,0.002637329,0.649353,0.0002015716,0.001154924,0.0005199954,0.02059735,0.2150292,0.0001083807,0.08850262,0.01513925,0.00128249],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5899094,0.0008200186,0.4006524,0.002006051,0.0001606209,0.00156316,0.00008714174,0.0005985852,0.004202622],"genre_scores_gemma":[0.9779566,0.00002694965,0.0219047,0.0000189387,0.00001034676,0.00001153993,0.000006837152,0.000002133165,0.0000619315],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3880472,"threshold_uncertainty_score":0.7957243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02420840585410195,"score_gpt":0.2432440948113484,"score_spread":0.2190356889572464,"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."}}