{"id":"W4398239453","doi":"10.1145/3639478.3643062","title":"Technical Brief on Software Engineering for FMware","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Huawei Technologies (Canada)","funders":"","keywords":"Computer science; Software; Engineering management; Trustworthiness; Foundation (evidence); Quality (philosophy); Software engineering; Software quality; Software testing; Software development; Systems engineering; Engineering; Computer security","routes":{"ca_aff":true,"ca_fund":false,"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.0001937952,0.000116713,0.00009727647,0.0001274099,0.0000502369,0.000229639,0.0004671481,0.00006795116,0.000005325744],"category_scores_gemma":[0.0007466181,0.00009755868,0.00007992888,0.0002738138,0.0000103563,0.0001440767,0.0001177242,0.0001268951,0.00002773744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004235587,"about_ca_system_score_gemma":0.00003872051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006943631,"about_ca_topic_score_gemma":4.901298e-7,"domain_scores_codex":[0.999159,0.000005158798,0.0001214682,0.0003592597,0.000138216,0.0002168958],"domain_scores_gemma":[0.998737,0.0007599883,0.000009681731,0.000400431,0.00003531911,0.00005758443],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003390952,0.00004167416,0.000187736,0.000167148,0.00001149044,0.000047657,0.00007165682,0.0001856419,0.0001620421,0.3764064,0.4635628,0.1591524],"study_design_scores_gemma":[0.0002161467,0.0006784404,0.0007980905,0.0008675041,0.00001331616,0.0001865532,9.598618e-7,0.6928858,0.006369114,0.08238492,0.2148027,0.0007965177],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007814468,0.0001179617,0.9366939,0.0004749985,0.0003046388,0.00014068,0.000002744724,0.06172007,0.0004668518],"genre_scores_gemma":[0.09215727,0.00000168252,0.9067981,0.0004153362,0.00009764707,0.00008707622,0.000002235802,0.00002019304,0.0004204507],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6927001,"threshold_uncertainty_score":0.3978328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01904638343943995,"score_gpt":0.2693264421236131,"score_spread":0.2502800586841731,"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."}}