{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001949882,0.001048946,0.0006182887,0.001213169,0.0004935142,0.001449055,0.00137045,0.001190355,0.003068365],"category_scores_gemma":[0.01249258,0.0006426555,0.001170205,0.0005737692,0.001678717,0.001738946,0.0012385,0.001523155,0.0004397224],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001398022,"about_ca_system_score_gemma":0.001731714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006011508,"about_ca_topic_score_gemma":0.00681348,"domain_scores_codex":[0.9968168,0.001335596,0.0001718928,0.0002891959,0.001194605,0.0001918904],"domain_scores_gemma":[0.9911936,0.006384889,0.0007347476,0.001001126,0.0006053369,0.00008032244],"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.0001722004,0.0001316944,0.001740453,0.0002231925,0.0000561209,0.0004075469,0.0003260599,0.7789432,0.009328918,0.1784128,0.001043933,0.02921397],"study_design_scores_gemma":[0.00001494096,0.00003245843,0.00009204966,0.00002457643,0.000009043259,0.00005443764,0.00001001653,0.9676042,0.003438474,0.02712818,0.001583631,0.000007936898],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02922814,0.0001646056,0.9647734,0.0001965485,0.00002278132,0.0001186596,0.0001832853,0.002313833,0.002998825],"genre_scores_gemma":[0.6836308,0.0004324426,0.3094714,0.0001672629,0.00004568517,0.0006542354,0.0009987308,0.0006279983,0.003971351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006011508,"threshold_uncertainty_score":0.01195306,"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."}}