{"id":"W2978909621","doi":"10.1109/qrs.2019.00055","title":"Efficient Generation of Test Data with Extended Cardinality Constraints","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Cardinality (data modeling); Computer science; Theoretical computer science; Extension (predicate logic); Translation (biology); Graph; Algorithm; Programming language; Data mining","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.001966521,0.0009527276,0.0009142081,0.001550105,0.0004180434,0.001285824,0.002050618,0.000816661,0.002987106],"category_scores_gemma":[0.01663796,0.0004656811,0.001071849,0.001299827,0.001119909,0.002269853,0.001689109,0.001237292,0.0004693506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001144578,"about_ca_system_score_gemma":0.001731275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001901758,"about_ca_topic_score_gemma":0.00240565,"domain_scores_codex":[0.9971654,0.0006991004,0.0002339789,0.0003801438,0.001295095,0.0002263268],"domain_scores_gemma":[0.9852892,0.01005947,0.000771554,0.002088656,0.001583105,0.0002080493],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001227537,0.0005673367,0.01020103,0.0008648558,0.0002279289,0.002430376,0.0008822661,0.2736542,0.08592177,0.1110474,0.01783071,0.4951447],"study_design_scores_gemma":[0.0002158468,0.0001457334,0.0006277268,0.00005303018,0.00005645411,0.0003975273,0.0000963589,0.8156962,0.09961324,0.07552885,0.007515448,0.00005353553],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07796817,0.00007747777,0.9082741,0.0004134428,0.00007725524,0.0002099947,0.001475948,0.009130171,0.002373331],"genre_scores_gemma":[0.4391757,0.00007267765,0.5528129,0.0002839584,0.00004411596,0.0004633176,0.00402173,0.001310348,0.001815277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002987106,"threshold_uncertainty_score":0.01040006,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05952479385163361,"score_gpt":0.2887677976245596,"score_spread":0.2292430037729259,"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."}}