{"id":"W965529893","doi":"","title":"Application of model-based approach for testing dynamic systems","year":2011,"lang":"pl","type":"article","venue":"Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Software; Fiscal year; Computer science; Aeronautics; Computer security; Engineering; Reliability engineering; Operations research; Business; Operating system","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001369406,0.001373376,0.0009898914,0.001283434,0.0005794303,0.001359054,0.002373623,0.001324507,0.004428399],"category_scores_gemma":[0.003992999,0.0006955214,0.001748558,0.0008355264,0.001000274,0.001393187,0.001300292,0.001587923,0.0005568861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157884,"about_ca_system_score_gemma":0.001370723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01037779,"about_ca_topic_score_gemma":0.006694053,"domain_scores_codex":[0.9984949,0.0005059094,0.00008324789,0.0002488169,0.000560603,0.0001065874],"domain_scores_gemma":[0.998329,0.001104099,0.0001206004,0.0001705845,0.0002397302,0.00003605604],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005644632,0.00008184704,0.001179831,0.0002118669,0.00009397905,0.0002928931,0.0001218401,0.9290279,0.003044264,0.0265871,0.0006409673,0.0386612],"study_design_scores_gemma":[0.000008110283,0.00002988951,0.00009298632,0.00001598269,0.0000135118,0.00003652053,0.00001702994,0.9877411,0.0005360044,0.01056965,0.0009334167,0.000005932535],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004799662,0.0002201417,0.9904754,0.0001108433,0.00002654531,0.000105577,0.00007341777,0.0008164982,0.00337192],"genre_scores_gemma":[0.6087056,0.0006688769,0.3852969,0.0001621183,0.00006114977,0.0005530624,0.0003948147,0.0002313736,0.003925967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01037779,"threshold_uncertainty_score":0.02063477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07333272393979344,"score_gpt":0.2964573511778565,"score_spread":0.2231246272380631,"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."}}