{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002311131,0.001251157,0.0005523402,0.00225213,0.0003664697,0.0009890519,0.001771257,0.001012469,0.00407924],"category_scores_gemma":[0.02033168,0.0006124767,0.001218778,0.0008037155,0.0006847024,0.001506502,0.001344039,0.0009540652,0.0006758805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009056398,"about_ca_system_score_gemma":0.001555539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004547156,"about_ca_topic_score_gemma":0.006710191,"domain_scores_codex":[0.9974177,0.001095503,0.0001802944,0.0002630122,0.0008791075,0.0001644078],"domain_scores_gemma":[0.9847444,0.01165661,0.0007427903,0.001656463,0.00102879,0.0001709132],"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.0005565419,0.0006497147,0.007818971,0.0005190416,0.0001241719,0.001644395,0.001158526,0.6393775,0.05497203,0.01936645,0.003205475,0.2706071],"study_design_scores_gemma":[0.00007591626,0.0001895019,0.0004113461,0.00004625561,0.00003555739,0.0001849351,0.00007477999,0.9663751,0.02528665,0.005056072,0.002240227,0.00002379146],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1034774,0.00009558656,0.8839732,0.0002098902,0.00003671726,0.0004502185,0.0003987465,0.008588983,0.00276924],"genre_scores_gemma":[0.4361476,0.0001248854,0.5597439,0.0000721508,0.00001411169,0.0003852417,0.001394153,0.0008529483,0.001265089],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004547156,"threshold_uncertainty_score":0.01364648,"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."}}