{"id":"W4400079181","doi":"10.1109/tse.2024.3419919","title":"A Scalable t-Wise Coverage Estimator: Algorithms and Applications","year":2024,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Statistical Methods and Inference","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Algorithm; Scalability; Estimator; Database; Mathematics; Statistics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001914983,0.001790456,0.001634865,0.001977471,0.0006023214,0.001807617,0.002297209,0.001484643,0.005665289],"category_scores_gemma":[0.01721819,0.0006674108,0.001307784,0.002100122,0.0008456467,0.002350761,0.002828249,0.002513478,0.002210076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001442187,"about_ca_system_score_gemma":0.00289532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006289288,"about_ca_topic_score_gemma":0.005207619,"domain_scores_codex":[0.9982161,0.0004157956,0.0001217597,0.000516056,0.0005577364,0.0001725371],"domain_scores_gemma":[0.9935178,0.003986856,0.0006195572,0.0006944968,0.0009395359,0.0002417668],"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.0003245385,0.0001556391,0.003312108,0.0004413769,0.0001220489,0.0002640708,0.0001648369,0.5349228,0.01223171,0.03279428,0.01522676,0.4000399],"study_design_scores_gemma":[0.00001914434,0.00002904476,0.0002046034,0.00002518161,0.00001136815,0.00008339016,0.00001606878,0.9857056,0.00137447,0.01106848,0.001450271,0.00001224397],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003021628,0.0004275601,0.9935021,0.000248273,0.00003639884,0.00009008007,0.0001981812,0.001469484,0.001006294],"genre_scores_gemma":[0.1221947,0.0008183359,0.8712774,0.0003325739,0.000200199,0.0006699936,0.001462785,0.0005338352,0.002510149],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006289288,"threshold_uncertainty_score":0.01895231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02833373162072767,"score_gpt":0.3048803617272769,"score_spread":0.2765466301065492,"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."}}