{"id":"W2169071419","doi":"10.1007/s11704-012-2904-2","title":"The use of mathematics in software quality assurance","year":2012,"lang":"en","type":"article","venue":"Frontiers of Computer Science","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"JDA Software (Canada)","funders":"Office of Naval Research","keywords":"Computer science; Software quality assurance; Quality assurance; Software quality analyst; Software quality; Software engineering; Verification and validation; Software; Quality (philosophy); Software quality control; Software construction; Software metric; Software system; Software development; Programming language; Mathematics; Statistics; Engineering","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.003805034,0.0001029282,0.0002921269,0.0002212095,0.0001615685,0.0001496525,0.002491516,0.00003802051,6.584344e-7],"category_scores_gemma":[0.001182757,0.00007206492,0.0001021967,0.001962027,0.0009507997,0.001667251,0.0006495264,0.0001353321,0.00000292341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005815715,"about_ca_system_score_gemma":0.0002206104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007353618,"about_ca_topic_score_gemma":0.0000116632,"domain_scores_codex":[0.9974698,0.0001570862,0.0005416154,0.0002796167,0.00105035,0.0005015632],"domain_scores_gemma":[0.9970689,0.001101679,0.0002468136,0.001108023,0.0003498731,0.0001247215],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008906067,0.0006493889,0.7433286,0.0001300005,0.00003355241,0.000001266386,0.003568296,0.00478085,0.0003943805,0.02409571,0.003917909,0.2190911],"study_design_scores_gemma":[0.0003283756,0.00009398508,0.4452835,0.00009703391,0.000006420955,0.000004839232,0.0000996229,0.5383117,0.005610041,0.005404632,0.00443213,0.0003277479],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1000459,0.0004880617,0.8986245,0.0002463925,0.0004485152,0.0001082851,0.000001603052,0.00002688866,0.000009909119],"genre_scores_gemma":[0.4136349,0.00003941817,0.5862652,0.00002347006,0.00001660042,0.000003170739,1.325601e-7,0.000002224711,0.00001490405],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5335308,"threshold_uncertainty_score":0.4629898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05352435186673778,"score_gpt":0.3098367404852625,"score_spread":0.2563123886185247,"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."}}