{"id":"W118100860","doi":"","title":"Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.","year":2000,"lang":"en","type":"article","venue":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Interleaving; Control flow; Process (computing); Data flow diagram; Test data; Data modeling; Data-flow analysis; Distributed computing; Programming language; Database; Operating system","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.002922566,0.0008072755,0.000393849,0.001254618,0.0004261289,0.001126779,0.001063636,0.000972986,0.005972596],"category_scores_gemma":[0.01615659,0.000516212,0.0008083177,0.0004995019,0.001024148,0.001789113,0.001171006,0.001046225,0.0008826937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007857741,"about_ca_system_score_gemma":0.001208446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00214987,"about_ca_topic_score_gemma":0.002887436,"domain_scores_codex":[0.9964285,0.001511789,0.0002625109,0.0003929253,0.001164288,0.000239948],"domain_scores_gemma":[0.9843115,0.01193214,0.000708741,0.001469601,0.001379212,0.0001988303],"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.002599305,0.0006261099,0.009740355,0.001002483,0.000181406,0.002361763,0.001019273,0.2109141,0.09017701,0.08401173,0.01556237,0.5818041],"study_design_scores_gemma":[0.0002328272,0.0004152229,0.001210239,0.0001944409,0.00009038145,0.0006943755,0.0001059785,0.8083513,0.1330532,0.04443318,0.01116987,0.00004893228],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04655245,0.0002588262,0.9392937,0.0003653633,0.00009507147,0.0003542209,0.0005432161,0.00746237,0.005074711],"genre_scores_gemma":[0.6534775,0.0001859017,0.3385167,0.0002498493,0.0000307608,0.000323039,0.001862034,0.001118267,0.00423584],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005972596,"threshold_uncertainty_score":0.01998031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1015428070963214,"score_gpt":0.3071716623407905,"score_spread":0.2056288552444691,"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."}}