{"id":"W4282835086","doi":"10.1109/icse-companion55297.2022.9793738","title":"MASS: A tool for Mutation Analysis of Space CPS","year":2022,"lang":"en","type":"article","venue":"2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"European Research Council; Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Scalability; Computer science; Context (archaeology); Software; Set (abstract data type); Mutation; Operating system; 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.001124709,0.0005592558,0.0008056451,0.001854586,0.0003726305,0.0003921811,0.003207608,0.0001318629,0.0002342424],"category_scores_gemma":[0.002121869,0.0006421775,0.0004219474,0.002718609,0.00005995111,0.0006856945,0.0006558519,0.0006665072,0.00001339367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005474038,"about_ca_system_score_gemma":0.0002008021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004592591,"about_ca_topic_score_gemma":0.000001079686,"domain_scores_codex":[0.995617,0.00004892645,0.00100179,0.001134104,0.001607409,0.0005908026],"domain_scores_gemma":[0.9959995,0.0007900055,0.0007725359,0.0007350656,0.001519612,0.0001833027],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002210381,0.0009251318,0.0418631,0.0003417502,0.002114902,0.00003123522,0.003470428,0.08997028,0.008495875,0.8168164,0.03084047,0.004909373],"study_design_scores_gemma":[0.000909679,0.0005048756,0.009297647,0.0001449278,0.0002131241,0.00005285464,0.0001402977,0.9657196,0.002466392,0.0160211,0.003592263,0.0009371901],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.100357,0.00004263207,0.8896901,0.0009116856,0.002236628,0.0007816377,0.0002457868,0.00544783,0.0002867123],"genre_scores_gemma":[0.7930458,0.00001143428,0.2055564,0.0002093571,0.0001437284,0.0005224046,0.0002152658,0.00005845186,0.0002371418],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8757493,"threshold_uncertainty_score":0.999603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03661928707539557,"score_gpt":0.2779605335269983,"score_spread":0.2413412464516027,"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."}}