{"id":"W2126602474","doi":"10.1007/bf03192393","title":"On synthesizing test cases in symbolic real-time testing","year":2006,"lang":"en","type":"article","venue":"Journal of the Brazilian Computer Society","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Test (biology); Symbolic execution; Formal specification; Test case; Programming language; Algorithm; Software","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.00341915,0.001024698,0.0007189137,0.001441241,0.0003932586,0.001232489,0.001342843,0.001016041,0.003468902],"category_scores_gemma":[0.02033397,0.0005171085,0.0009704785,0.0008427207,0.002687552,0.001325631,0.001288663,0.001152563,0.0004358522],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008257232,"about_ca_system_score_gemma":0.001257136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001137638,"about_ca_topic_score_gemma":0.001154898,"domain_scores_codex":[0.9939616,0.002938485,0.0004254765,0.000456881,0.001947704,0.0002697187],"domain_scores_gemma":[0.9781193,0.01804603,0.0009916248,0.001581393,0.001066481,0.0001953133],"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.0004649669,0.0004063337,0.002519886,0.001400843,0.0001332925,0.002473185,0.001604047,0.3700716,0.06394895,0.2564428,0.001592092,0.298942],"study_design_scores_gemma":[0.000290099,0.0005332528,0.0004544211,0.0003104843,0.0001314222,0.0007119994,0.0002287221,0.7795263,0.1031509,0.1004524,0.01415435,0.0000556152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02929065,0.0001333077,0.965364,0.0001578236,0.00004038345,0.0001842521,0.00005004885,0.001225936,0.003553484],"genre_scores_gemma":[0.3378244,0.0002261452,0.659596,0.00009850799,0.00002348285,0.0003082485,0.0002222695,0.0003385765,0.001362357],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003468902,"threshold_uncertainty_score":0.01808238,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01870779245502892,"score_gpt":0.2566241958591174,"score_spread":0.2379164034040885,"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."}}