{"id":"W2173524761","doi":"10.1109/models.2015.7338231","title":"Incremental symbolic execution of evolving state machines","year":2015,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Memoization; Computer science; IBM; Symbolic execution; State (computer science); Dependency (UML); Programming language; Abstract state machines; Extended finite-state machine; Finite-state machine; Theoretical computer science; Parallel computing; Software engineering; Software","routes":{"ca_aff":true,"ca_fund":true,"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.000276976,0.00005913422,0.00008405228,0.00008418084,0.00002907482,0.00004068941,0.0003267707,0.00001701765,0.000007379979],"category_scores_gemma":[0.00003231216,0.00005105116,0.00002165493,0.0001980674,0.00001683258,0.0002634956,0.000179126,0.0000344182,0.000008454492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002476708,"about_ca_system_score_gemma":0.00003873242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001648842,"about_ca_topic_score_gemma":0.000003361389,"domain_scores_codex":[0.999406,0.00004079859,0.0001574277,0.0001279711,0.0001680646,0.00009967929],"domain_scores_gemma":[0.9995432,0.0000157455,0.00006674999,0.0001996432,0.000120451,0.00005418471],"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.00006641191,0.0009797197,0.06169964,0.0001371504,0.0001541888,0.00002789715,0.01637609,0.07013981,0.02099859,0.3001162,0.23757,0.2917343],"study_design_scores_gemma":[0.0001848767,0.00006914349,0.001656893,0.0000122841,0.000001258312,0.000005664324,0.00001406572,0.9740843,0.0172532,0.006419616,0.0002021678,0.000096573],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02555443,0.0000745467,0.9546714,0.00010157,0.00008322504,0.00005540262,4.219536e-7,0.0003676586,0.01909135],"genre_scores_gemma":[0.7407814,0.000004544788,0.2589119,0.00006439941,0.000009299851,0.000001470746,9.838933e-7,0.000002349994,0.0002236851],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9039444,"threshold_uncertainty_score":0.2081806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02336311336397158,"score_gpt":0.2707334696336993,"score_spread":0.2473703562697278,"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."}}