{"id":"W3119230199","doi":"10.1109/tse.2021.3107680","title":"Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain","year":2021,"lang":"en","type":"preprint","venue":"IEEE Transactions on Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"H2020 European Research Council; Natural Sciences and Engineering Research Council of Canada; European Commission; European Space Agency","keywords":"Computer science; Context (archaeology); Software construction; Software; Software system; Scalability; Software reliability testing; Software engineering; Verification and validation; Avionics software; Domain (mathematical analysis); Reliability engineering; Engineering; Operating system","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003704286,0.001308029,0.001313568,0.001392344,0.0005891883,0.00141089,0.00126272,0.001659148,0.00310969],"category_scores_gemma":[0.0144309,0.0002654861,0.00161687,0.001382869,0.001627262,0.002893361,0.001832408,0.002574328,0.0004911979],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001382435,"about_ca_system_score_gemma":0.001304838,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005072896,"about_ca_topic_score_gemma":0.00293881,"domain_scores_codex":[0.9979359,0.0007822201,0.00007053609,0.0002373971,0.0007395003,0.0002344591],"domain_scores_gemma":[0.9876236,0.009811103,0.0003787905,0.0007904872,0.0009967806,0.0003993597],"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.0006938252,0.001099017,0.004091553,0.0006902303,0.0002232279,0.0005512314,0.0002555431,0.6278932,0.01539613,0.06251852,0.007388059,0.2791994],"study_design_scores_gemma":[0.0001032903,0.0001962132,0.0009554551,0.00005080526,0.00004702004,0.00007508358,0.00008325354,0.9665072,0.004933185,0.0253252,0.001703094,0.00002018946],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.33464,0.01275714,0.6186709,0.005156234,0.0004506228,0.0004054776,0.0003719768,0.00419522,0.02335239],"genre_scores_gemma":[0.6912329,0.00522077,0.2960385,0.0005420226,0.0002471732,0.0002792966,0.0005917408,0.0005546261,0.005292951],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005072896,"threshold_uncertainty_score":0.01959032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02396113930530181,"score_gpt":0.2537868037006459,"score_spread":0.2298256643953441,"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."}}