{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001771218,0.002429226,0.0009623194,0.003404655,0.0006834946,0.001733591,0.002177225,0.001492103,0.01780543],"category_scores_gemma":[0.008871464,0.001066648,0.001975172,0.001261835,0.001007797,0.002590987,0.002256329,0.001679165,0.003980996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00074635,"about_ca_system_score_gemma":0.001302956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002234932,"about_ca_topic_score_gemma":0.002626851,"domain_scores_codex":[0.9986457,0.0002706961,0.0001270134,0.0002302226,0.0006074501,0.0001187998],"domain_scores_gemma":[0.9962858,0.002560453,0.000385289,0.0003545517,0.0003414445,0.00007244931],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0008418398,0.000436909,0.01501557,0.002705452,0.0006125169,0.002783726,0.001136884,0.1979703,0.03851586,0.06750591,0.1645335,0.5079414],"study_design_scores_gemma":[0.0002666343,0.0002445505,0.002411434,0.0003888422,0.0001321567,0.001460127,0.0001679797,0.8257702,0.03121055,0.05529803,0.08250872,0.0001408022],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008376435,0.000421115,0.7993476,0.000233302,0.0001057419,0.0002215023,0.002763903,0.1839101,0.004620327],"genre_scores_gemma":[0.1883928,0.0007434707,0.7632285,0.0005062259,0.0001203265,0.001274064,0.009135867,0.02862099,0.007977733],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01780543,"threshold_uncertainty_score":0.05956507,"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."}}