{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003726611,0.001425895,0.001042775,0.001524089,0.0006428356,0.003137585,0.002404915,0.001639601,0.004792789],"category_scores_gemma":[0.01320671,0.001361747,0.003421479,0.000781359,0.002122781,0.003941017,0.003759274,0.004006216,0.001744492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009310849,"about_ca_system_score_gemma":0.002086096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002436451,"about_ca_topic_score_gemma":0.003150305,"domain_scores_codex":[0.9950929,0.001634797,0.0003347767,0.0005562302,0.002027559,0.000353836],"domain_scores_gemma":[0.9934666,0.002664833,0.0003104664,0.002333582,0.001138451,0.00008603296],"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.0004095026,0.0002866877,0.002055315,0.0008593253,0.0002628623,0.000787733,0.0008168854,0.1567855,0.04353396,0.4931984,0.00592484,0.295079],"study_design_scores_gemma":[0.00006626706,0.00008470014,0.0002334343,0.0001629553,0.0001185801,0.0001796931,0.0000710994,0.6951296,0.02773499,0.2678237,0.008350438,0.00004465286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00279439,0.00004565267,0.994213,0.00008610746,0.00003212637,0.0000385172,0.00003026492,0.001802507,0.0009574259],"genre_scores_gemma":[0.2530335,0.0002440314,0.7413347,0.000291856,0.0000545009,0.0001412506,0.000331252,0.00122546,0.00334342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004792789,"threshold_uncertainty_score":0.01970845,"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."}}