{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","open_science","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.003895047,0.001541744,0.001260955,0.001580088,0.001997235,0.00265078,0.005980574,0.0008745012,0.0006977472],"category_scores_gemma":[0.003560267,0.001511264,0.0002446759,0.003102309,0.0005915228,0.00476564,0.0006572764,0.001720185,0.001205623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003032356,"about_ca_system_score_gemma":0.0009140858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000327639,"about_ca_topic_score_gemma":0.0002193512,"domain_scores_codex":[0.9888568,0.0008483037,0.002185918,0.003979944,0.002254831,0.001874217],"domain_scores_gemma":[0.9869155,0.002679211,0.000863141,0.007032601,0.00148004,0.001029456],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008080562,0.01704859,0.1179532,0.00154423,0.001402467,0.0005668397,0.01161467,0.05096849,0.007057664,0.02715848,0.4752573,0.28862],"study_design_scores_gemma":[0.003372655,0.0004743362,0.01143736,0.0002319627,0.0001906791,0.0001391976,0.000102214,0.9655263,0.002278588,0.005093351,0.009085801,0.002067531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03005388,0.002235798,0.9282276,0.01591066,0.001388805,0.003498388,0.0009214706,0.01405177,0.00371162],"genre_scores_gemma":[0.8523576,0.0003979091,0.1381787,0.004293248,0.0007614128,0.0005113014,0.001337167,0.0002253986,0.001937228],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9145578,"threshold_uncertainty_score":0.9997331,"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."}}