{"id":"W2019724127","doi":"10.1109/icst.2012.205","title":"Incremental Test Case Generation for UML-RT Models Using Symbolic Execution","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Unified Modeling Language; Test case; Software engineering; Leverage (statistics); Iterative and incremental development; Test Management Approach; Symbolic execution; Code coverage; Code generation; System under test; Software development; Software; Programming language; Software construction; Artificial intelligence; Machine learning; Operating system","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.0003762537,0.00009384585,0.00007896931,0.00007612503,0.0002115008,0.00009652756,0.0001483925,0.00004772533,0.000002325225],"category_scores_gemma":[0.0001087104,0.00008692891,0.00003428804,0.0001333536,0.00001321716,0.0008640473,0.00009246816,0.00003915411,0.000002797036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007811578,"about_ca_system_score_gemma":0.00002581147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003589891,"about_ca_topic_score_gemma":0.000006449752,"domain_scores_codex":[0.9992949,0.00002078676,0.0001452798,0.0001834576,0.0001110334,0.0002445877],"domain_scores_gemma":[0.9994249,0.0001159363,0.0000495342,0.0002694243,0.00006794566,0.00007230791],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001797488,0.001898063,0.0386808,0.0001720707,0.00008352353,0.0001519937,0.008486325,0.005232563,0.2255788,0.2971076,0.1429736,0.2796168],"study_design_scores_gemma":[0.00009738836,0.00004076172,0.00003053111,0.000009074465,0.000006570822,0.0007360756,0.000004119308,0.9776279,0.01520647,0.006086188,0.00002657163,0.0001283765],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1126243,0.00005044974,0.8835557,0.00004258841,0.0001703005,0.0001847867,0.000002178991,0.003118382,0.0002512928],"genre_scores_gemma":[0.573266,5.795255e-7,0.4263978,0.0001449588,0.0001466745,0.00001898853,0.000002784579,0.000005219161,0.00001695346],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9723953,"threshold_uncertainty_score":0.3544858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1539594822329353,"score_gpt":0.3292682470689074,"score_spread":0.1753087648359722,"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."}}