{"id":"W1537009764","doi":"10.1023/a:1021634422504","title":"Specification-based Testing for Gui-based Applications","year":2002,"lang":"en","type":"article","venue":"Software Quality Journal","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Programming language; Java; Formal specification; Test harness; Finite-state machine; Graphical user interface testing; Test case; Implementation; Software engineering; Keyword-driven testing; Graphical user interface; Software; User interface; Software development","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.001600841,0.0001933889,0.000223597,0.0001990545,0.0007751001,0.0004219514,0.001149655,0.00009345727,0.00003267512],"category_scores_gemma":[0.004326076,0.0001883012,0.0001697115,0.0006473822,0.00007429779,0.0002432756,0.00004579213,0.0003008363,0.00004135021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001313756,"about_ca_system_score_gemma":0.0001751709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001301505,"about_ca_topic_score_gemma":0.000001190612,"domain_scores_codex":[0.997974,0.0001597305,0.000633137,0.0004066601,0.0004299683,0.0003964823],"domain_scores_gemma":[0.9938838,0.003821452,0.000473415,0.0008533941,0.0007612299,0.0002067461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001531772,0.0007623015,0.07879934,0.0002020147,0.00003519286,0.00001225754,0.0003417954,0.001796258,0.0002739094,0.007490197,0.1070443,0.8032271],"study_design_scores_gemma":[0.003170657,0.0007545563,0.02720484,0.0005097981,0.00006530148,0.0002683369,0.00002378134,0.4179279,0.002426268,0.4660015,0.07956567,0.002081359],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002933418,0.000188218,0.9898446,0.002264987,0.0001591139,0.0003537163,0.00001430565,0.006692349,0.0001894094],"genre_scores_gemma":[0.09473991,0.00000133184,0.9034427,0.001241737,0.0002999048,0.0001768652,0.000006587758,0.00002249598,0.00006843327],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8011457,"threshold_uncertainty_score":0.7678701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1566925308736148,"score_gpt":0.3431175947610764,"score_spread":0.1864250638874616,"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."}}