{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004025231,0.00006621767,0.0001086501,0.00003550651,0.0000251215,0.00003702393,0.00064509,0.00002259421,0.00001463216],"category_scores_gemma":[0.0001613887,0.00004765465,0.00001238127,0.000161187,0.00005946208,0.00007601664,0.0002514576,0.00004325162,0.00001215653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000110502,"about_ca_system_score_gemma":0.0000725131,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007490299,"about_ca_topic_score_gemma":0.000002731334,"domain_scores_codex":[0.9992348,0.00002481082,0.0001249975,0.0003090752,0.0002027507,0.0001035871],"domain_scores_gemma":[0.9983557,0.0001831959,0.0000643336,0.001267877,0.00009877834,0.00003007549],"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.00002143537,0.001222401,0.5068702,0.0001972425,0.0001039833,0.00004045222,0.0008659902,0.003458993,0.01902378,0.07314382,0.04423567,0.350816],"study_design_scores_gemma":[0.0002557716,0.0002932206,0.01778621,0.00004648315,0.00000716071,0.00004955837,0.000005073817,0.9743056,0.0060721,0.00092388,0.0000803772,0.0001745557],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1046164,0.00001351492,0.8895101,0.00008856515,0.00007043219,0.0001449586,0.000008565005,0.002055889,0.003491532],"genre_scores_gemma":[0.7047914,1.689051e-7,0.2951042,0.00004491674,0.00001002037,0.000001441444,0.000005902112,0.000002238458,0.0000396974],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9708466,"threshold_uncertainty_score":0.19433,"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."}}