{"id":"W4243372325","doi":"10.22215/etd/2016-11428","title":"Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem","year":2016,"lang":"en","type":"dissertation","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Test suite; Extended finite-state machine; Computer science; Finite-state machine; Test case; Test (biology); Model-based testing; Suite; Software; Genetic algorithm; Code coverage; Reliability engineering; Algorithm; Machine learning; Engineering; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000239299,0.0003806675,0.0002854529,0.000255278,0.0002273706,0.0003928652,0.0006675841,0.0002424686,0.00007420146],"category_scores_gemma":[0.0005989398,0.0003061433,0.00007004435,0.0002744111,0.00001755094,0.0008348915,0.00006688828,0.0002135577,0.00005770013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001060542,"about_ca_system_score_gemma":0.0002295097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002090118,"about_ca_topic_score_gemma":0.0004684733,"domain_scores_codex":[0.9978825,0.000120107,0.0004179469,0.0009240215,0.0003853955,0.0002700336],"domain_scores_gemma":[0.9977687,0.0004934496,0.0003860468,0.0007659816,0.000467772,0.0001180333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001775682,0.001534111,0.001303677,0.000106983,0.0002310189,0.0001602565,0.01229741,0.0191494,0.006954066,0.005070848,0.01474552,0.9382691],"study_design_scores_gemma":[0.0004345343,0.0004305442,0.0008684224,0.0002151309,0.00002553883,0.00000760324,0.00000790282,0.9186772,0.009255772,0.06930605,0.00008520096,0.0006860818],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001181741,0.00008555126,0.9830917,0.0001138037,0.0003819198,0.0005280362,0.00006928283,0.01080103,0.003746912],"genre_scores_gemma":[0.04924862,0.00006151733,0.9381704,0.0002875173,0.0002075943,0.0002234182,0.003231179,0.00006935017,0.008500346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9375831,"threshold_uncertainty_score":0.9999391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01434836556804176,"score_gpt":0.2840874090770747,"score_spread":0.269739043509033,"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."}}