{"id":"W2395032752","doi":"10.5555/2048476.2048500","title":"A testing framework for DEVS formalism implementations","year":2011,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"DEVS; Computer science; Implementation; Correctness; Formalism (music); Conformance testing; Python (programming language); Discrete event simulation; Programming language; Theoretical computer science; Standardization; Distributed computing; Modeling and simulation; Simulation; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01325241,0.001520921,0.000997104,0.003014441,0.001075658,0.004047724,0.004088339,0.002032532,0.004051503],"category_scores_gemma":[0.02685734,0.001337069,0.002915944,0.001133383,0.003786859,0.00470629,0.003448024,0.003007796,0.0008549939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002239379,"about_ca_system_score_gemma":0.003762451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003727452,"about_ca_topic_score_gemma":0.002572092,"domain_scores_codex":[0.9864382,0.005337271,0.001857415,0.001464774,0.004217742,0.0006847387],"domain_scores_gemma":[0.9844486,0.008708173,0.0006942632,0.002907436,0.002919994,0.0003215543],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001343678,0.0001947719,0.002185866,0.0003974151,0.00007956947,0.0008492365,0.0006119938,0.1068412,0.007105674,0.7685004,0.003355015,0.1097445],"study_design_scores_gemma":[0.00009555818,0.0002135493,0.0004059298,0.0003580272,0.0000761769,0.0008517219,0.0002347543,0.5929192,0.0195568,0.3414249,0.04376909,0.00009434074],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00301181,0.00005840737,0.9925033,0.0002001003,0.00001951855,0.0001405872,0.000111899,0.00217465,0.001779771],"genre_scores_gemma":[0.09684807,0.0001539424,0.89985,0.0001657571,0.00003195481,0.0003921103,0.0007957226,0.0004483128,0.001314113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01325241,"threshold_uncertainty_score":0.07008624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.6615830575265599,"score_gpt":0.5463981956392943,"score_spread":0.1151848618872656,"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."}}