{"id":"W6191748","doi":"10.1111/j.1440-1754.1983.tb02042.x","title":"Generative hierarchical contracts for conformance testing of sequential containers","year":2007,"lang":"en","type":"article","venue":"Australian paediatric journal","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Domain (mathematical analysis); Component (thermodynamics); Generative grammar; Domain analysis; Conformance testing; Domain model; Fuzz testing; Unit testing; Generative model; Software testing; Software engineering; Model-based testing; Software; Programming language; Artificial intelligence; Software development; Domain knowledge; Test case; Machine learning; Mathematics; Software construction","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.008246235,0.000332714,0.0004605304,0.001744894,0.0008548085,0.001540107,0.001867809,0.0008701535,0.005516968],"category_scores_gemma":[0.05185977,0.0005368047,0.001207281,0.001730096,0.003940012,0.002832748,0.002584402,0.001207557,0.0004629514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002056088,"about_ca_system_score_gemma":0.002129114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009811869,"about_ca_topic_score_gemma":0.01112694,"domain_scores_codex":[0.9913453,0.003623379,0.0006765807,0.0009424692,0.00258616,0.0008261714],"domain_scores_gemma":[0.947483,0.03692017,0.003716558,0.008012362,0.002871408,0.0009965494],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001107837,0.0003265807,0.07077612,0.0002286553,0.00008361508,0.001397697,0.00444838,0.1007871,0.008834382,0.5340664,0.003791051,0.2741521],"study_design_scores_gemma":[0.00008556715,0.0002202158,0.01653106,0.00005624844,0.00003310171,0.0007537666,0.00075108,0.5845518,0.005446376,0.3870347,0.004453301,0.00008285168],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4357418,0.0001359794,0.5498142,0.0003672872,0.00003320672,0.000349525,0.0006166908,0.001631405,0.01130986],"genre_scores_gemma":[0.8578012,0.00003448468,0.1390141,0.00003772282,0.0000129163,0.0001582219,0.0005774096,0.0001491142,0.002214698],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009811869,"threshold_uncertainty_score":0.04361075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.052735595578853,"score_gpt":0.3158532762982352,"score_spread":0.2631176807193822,"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."}}