{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00189092,0.001277429,0.001742825,0.002378212,0.0007602688,0.001488374,0.00153305,0.001414347,0.006939309],"category_scores_gemma":[0.01241172,0.0002909845,0.001562628,0.001891879,0.00150688,0.003089379,0.001582426,0.001728844,0.0008912023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009063921,"about_ca_system_score_gemma":0.00168702,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003094862,"about_ca_topic_score_gemma":0.003467275,"domain_scores_codex":[0.9981092,0.0005682264,0.00007118491,0.0003280007,0.0007537834,0.0001696267],"domain_scores_gemma":[0.9899254,0.007006382,0.000329819,0.00122908,0.001243019,0.00026638],"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.0006057468,0.0005540182,0.005301813,0.00115658,0.0003279635,0.0004640658,0.0003071326,0.3673449,0.02357173,0.06033976,0.01421159,0.5258147],"study_design_scores_gemma":[0.0001212495,0.0001431357,0.001693108,0.00008525833,0.0001053865,0.0001382096,0.000103329,0.9031515,0.01025494,0.08158108,0.002590619,0.00003217111],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08338792,0.001870802,0.8979576,0.001254424,0.0002080618,0.0001554619,0.0003548074,0.005367746,0.009443192],"genre_scores_gemma":[0.6494173,0.001205308,0.3377313,0.0003262824,0.0001706707,0.0001787805,0.0007751524,0.001164454,0.009030774],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006939309,"threshold_uncertainty_score":0.02321434,"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."}}