{"id":"W2166103344","doi":"10.1109/ccece.1999.807212","title":"Formal test requirements for component interactions","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Integration testing; Concurrency; Unit testing; Component (thermodynamics); Model-based testing; Formal methods; Conformance testing; Test case; Formal specification; Test (biology); Software engineering; Programming language; Reliability engineering; Software; Machine learning; Engineering; Standardization","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.01097679,0.001753495,0.00109583,0.002127232,0.001060678,0.003281629,0.002455304,0.004000314,0.003658079],"category_scores_gemma":[0.06227621,0.00105092,0.002213017,0.0009360393,0.004147553,0.005644387,0.003019904,0.00333038,0.001287448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001528853,"about_ca_system_score_gemma":0.002678986,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001804642,"about_ca_topic_score_gemma":0.001166596,"domain_scores_codex":[0.9727113,0.008521236,0.003238976,0.00148967,0.01246505,0.001573703],"domain_scores_gemma":[0.9262185,0.05085659,0.004643021,0.006710486,0.01063534,0.0009359846],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000171912,0.0002619537,0.001863185,0.0004562792,0.00006903912,0.001307478,0.001226629,0.08652475,0.01342437,0.8636883,0.00390248,0.02710363],"study_design_scores_gemma":[0.0002642043,0.0002714592,0.0005778052,0.0002781692,0.00009092579,0.00124328,0.0003414798,0.2970616,0.01525008,0.6608467,0.0236811,0.0000933019],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01688405,0.0001949736,0.9730407,0.0009515662,0.00008702371,0.0002750316,0.0002827399,0.0006050941,0.007678802],"genre_scores_gemma":[0.5593539,0.0008020049,0.4286442,0.001041248,0.0003803305,0.002763443,0.002018151,0.0005136977,0.004483002],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01097679,"threshold_uncertainty_score":0.05805153,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05891314489628981,"score_gpt":0.3221316206563166,"score_spread":0.2632184757600268,"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."}}