{"id":"W2967858513","doi":"10.1145/3338906.3338908","title":"Concolic testing for models of state-based systems","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Concolic testing; Computer science; White-box testing; Model-based testing; Symbolic execution; Test case; Integration testing; System under test; Benchmark (surveying); Keyword-driven testing; Random testing; Unified Modeling Language; Manual testing; Test strategy; Code coverage; Non-regression testing; Unit testing; Context (archaeology); System testing; Regression testing; Software; Software engineering; Programming language; Software system; Machine learning; Software construction","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.0003523683,0.00007454294,0.0001570807,0.00007052929,0.00002568155,0.00005210178,0.0004070709,0.0000284578,8.648697e-7],"category_scores_gemma":[0.0001799092,0.00006280458,0.00003332287,0.0002025192,0.00001366393,0.0001503776,0.00005548742,0.00003293992,0.000004822995],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001909533,"about_ca_system_score_gemma":0.0001079295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002943244,"about_ca_topic_score_gemma":5.945259e-7,"domain_scores_codex":[0.9992945,0.00001989263,0.0001952838,0.0001972351,0.0001325285,0.00016057],"domain_scores_gemma":[0.9980988,0.001128998,0.0001055987,0.0004065383,0.0002252698,0.00003478998],"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.00007114222,0.0005459207,0.119763,0.002991986,0.00009214647,0.00001082956,0.001483866,0.3579234,0.02003062,0.3168225,0.05567756,0.124587],"study_design_scores_gemma":[0.0001991793,0.0002125653,0.00007251902,0.00008973184,0.000001366021,0.00000209957,0.000001495849,0.9641392,0.003643255,0.03148832,0.00006277514,0.0000875209],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01799664,0.00003161335,0.9742485,0.00003175198,0.0001299452,0.0003805849,0.000002686164,0.004856226,0.002322052],"genre_scores_gemma":[0.6153719,5.900105e-8,0.3843923,0.00006927577,0.000006167928,0.00002504825,4.566025e-7,0.000005064522,0.0001297117],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6062157,"threshold_uncertainty_score":0.2561097,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0576129660115105,"score_gpt":0.2745519397021323,"score_spread":0.2169389736906218,"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."}}