{"id":"W4242081758","doi":"10.5220/0006917104150422","title":"Towards GUI Functional Verification using Abstract Interpretation","year":2018,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Programming language; Interpretation (philosophy); Abstract interpretation; Functional verification; Formal verification; Software engineering","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.0001564293,0.00007552188,0.00005688073,0.00008600508,0.0000537029,0.00007540674,0.0002873539,0.00004568199,0.00007841662],"category_scores_gemma":[0.000007629354,0.00007324185,0.00002831821,0.000158598,0.00002640295,0.0004918571,0.00007262587,0.00005552229,0.00006184036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007652482,"about_ca_system_score_gemma":0.00004362784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003214378,"about_ca_topic_score_gemma":0.000001173807,"domain_scores_codex":[0.9993587,0.000009191106,0.0001405945,0.0002127525,0.0001706045,0.000108205],"domain_scores_gemma":[0.9994264,0.00001018485,0.00004298839,0.0003356186,0.0001499527,0.0000348024],"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.00001026567,0.00005102701,0.0002827116,0.00001471369,0.00002064464,0.000001871057,0.0008145447,0.002602049,0.02687475,0.4508722,0.002644166,0.515811],"study_design_scores_gemma":[0.00005238123,0.00003984315,0.01256479,0.00001540445,0.000002219211,0.00000751841,0.000001382816,0.955306,0.02157143,0.002458924,0.007853825,0.0001263011],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01232235,0.00000450887,0.9841485,0.0000968287,0.0003842973,0.00006684442,4.126555e-7,0.0008388392,0.002137426],"genre_scores_gemma":[0.5093373,5.030022e-7,0.4904937,0.0000562149,0.00006366258,0.0000040818,0.000001698617,0.000003845355,0.00003902115],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.952704,"threshold_uncertainty_score":0.2986716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03858815891559626,"score_gpt":0.2787094840128124,"score_spread":0.2401213250972161,"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."}}