{"id":"W2611833875","doi":"","title":"Verification of Modular Systems with Unknown Components Combining Testing and Inference","year":2012,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Modular design; Computer science; Component (thermodynamics); TRACE (psycholinguistics); Reachability; Construct (python library); Model checking; Model-based testing; Isolation (microbiology); Inference; Theoretical computer science; Algorithm; Test case; Programming language; Artificial intelligence; Machine learning","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.006140932,0.00178345,0.002238903,0.001587731,0.0007293025,0.002483517,0.002574125,0.001760625,0.002877987],"category_scores_gemma":[0.02032787,0.001857836,0.003732761,0.001052713,0.003941431,0.004994245,0.003522213,0.002754142,0.0004872996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001349961,"about_ca_system_score_gemma":0.001689295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001779651,"about_ca_topic_score_gemma":0.00221765,"domain_scores_codex":[0.9930261,0.002537753,0.0005240358,0.00127488,0.002080552,0.0005565558],"domain_scores_gemma":[0.9734651,0.02034273,0.0008445741,0.003821659,0.00124383,0.0002820535],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001334234,0.0005309913,0.009133413,0.001032167,0.0009495559,0.001906896,0.0008688355,0.3597834,0.05388352,0.2404267,0.005049762,0.3251005],"study_design_scores_gemma":[0.0001382133,0.0001451781,0.001353869,0.00007285878,0.0002720018,0.0002135172,0.00003774518,0.6819146,0.02982422,0.2833681,0.002606956,0.00005283783],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05723465,0.0004121992,0.9380636,0.0003870691,0.0001136152,0.00005418434,0.00007615921,0.002061179,0.001597406],"genre_scores_gemma":[0.6592849,0.0003532408,0.3368157,0.0001752274,0.0002270301,0.000067556,0.0002835336,0.0006230766,0.002169732],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006140932,"threshold_uncertainty_score":0.03247672,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03582087525383267,"score_gpt":0.2392506539911267,"score_spread":0.203429778737294,"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."}}