{"id":"W2122715775","doi":"10.1007/s12243-014-0449-0","title":"Integration testing of communicating systems with unknown components","year":2014,"lang":"en","type":"article","venue":"Annals of Telecommunications","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Modular design; Reachability; Component (thermodynamics); Model-based testing; TRACE (psycholinguistics); Isolation (microbiology); Model checking; Asynchronous communication; System under test; Inference; Test case; Theoretical computer science; Algorithm; Artificial intelligence; Machine learning; Programming language","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.003754954,0.001070069,0.0008799143,0.001095387,0.0005034301,0.001274689,0.002197423,0.00140347,0.001096078],"category_scores_gemma":[0.03029739,0.0006529621,0.0008349586,0.0009146786,0.002031769,0.002452061,0.00157964,0.001572637,0.0001816778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006875445,"about_ca_system_score_gemma":0.001022381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001582548,"about_ca_topic_score_gemma":0.001468188,"domain_scores_codex":[0.9915671,0.003801485,0.0003776203,0.000648586,0.003000025,0.0006051817],"domain_scores_gemma":[0.9544088,0.03797199,0.00196875,0.003299156,0.001939922,0.0004113207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.002412137,0.001010158,0.03389392,0.0007646951,0.000550707,0.003410666,0.002139614,0.4546864,0.08854794,0.06866072,0.001584771,0.3423382],"study_design_scores_gemma":[0.0001014309,0.0003960014,0.002441299,0.0000693694,0.0001584516,0.0005469001,0.00009899196,0.9302399,0.03095737,0.0342652,0.0006991084,0.00002599889],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3874103,0.0004564639,0.608238,0.0003009723,0.00004593883,0.00004847478,0.00003028944,0.0014947,0.00197483],"genre_scores_gemma":[0.9390833,0.0001185352,0.06001991,0.00004145886,0.00002500168,0.00002797269,0.00005028381,0.00009757993,0.000535887],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003754954,"threshold_uncertainty_score":0.01985836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1408571086597364,"score_gpt":0.3304493692593266,"score_spread":0.1895922605995902,"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."}}