{"id":"W4408120458","doi":"10.5220/0013186800003896","title":"On the Generation of Input Space Model for Model-Driven Requirements-Based Testing","year":2025,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Space (punctuation); Model-based testing; Systems engineering; Engineering; Operating system; Test case","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.0003641266,0.00008427098,0.00008846508,0.00008072878,0.0001319173,0.00005182454,0.0004424274,0.00003488103,4.191403e-7],"category_scores_gemma":[0.0008724302,0.0000585882,0.00003759653,0.0002523786,0.00002227942,0.00008467263,0.00008325496,0.0000500712,5.188357e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003486824,"about_ca_system_score_gemma":0.0001543247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002178638,"about_ca_topic_score_gemma":0.000003554637,"domain_scores_codex":[0.9993224,0.0000223918,0.0001650466,0.0002191171,0.0001448315,0.0001262684],"domain_scores_gemma":[0.9985403,0.0007006453,0.00007581875,0.000471083,0.0001963318,0.00001581945],"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.000003617976,0.00004036721,0.0001915277,0.00001624434,0.000004886309,9.553273e-8,0.0000793095,0.7279989,0.003503907,0.2337571,0.02991228,0.00449182],"study_design_scores_gemma":[0.00009678324,0.00004766132,0.000005246957,0.00005569253,0.000003526353,7.80194e-8,4.39982e-7,0.8630252,0.01446355,0.1222434,0.000004701009,0.00005366009],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005009769,0.000004618139,0.9893242,0.001980888,0.00003931734,0.000259655,0.000001575687,0.001870342,0.001509634],"genre_scores_gemma":[0.4898856,1.136117e-7,0.5089168,0.0009096318,0.000005675139,0.0000399906,8.478315e-7,0.000002930459,0.0002384016],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4848759,"threshold_uncertainty_score":0.2389157,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.166819225024256,"score_gpt":0.3351749276622402,"score_spread":0.1683557026379842,"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."}}