{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001418872,0.0001650398,0.0002626409,0.00007951623,0.0001896513,0.0001865973,0.001515488,0.00008144884,0.000002460684],"category_scores_gemma":[0.0004379395,0.0001186519,0.0002777735,0.0007422589,0.00007228081,0.0005002157,0.000257577,0.0003975801,0.00001316641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002174772,"about_ca_system_score_gemma":0.0001178427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004226894,"about_ca_topic_score_gemma":0.000002198662,"domain_scores_codex":[0.998233,0.0002277423,0.0006092638,0.0002156642,0.0004286977,0.0002856514],"domain_scores_gemma":[0.996875,0.001768632,0.0006048001,0.0005375499,0.0001572204,0.00005674332],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008137045,0.00339672,0.1101646,0.0003745855,0.0002580901,0.0006216983,0.0087326,0.1239121,0.08527526,0.07088083,0.1040012,0.492301],"study_design_scores_gemma":[0.0006437974,0.0004010215,0.2713358,0.000753838,0.00001929442,0.00117613,0.00002757725,0.7087223,0.006848498,0.009185894,0.000507063,0.0003788173],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.7019668,0.00008504799,0.2919657,0.001841568,0.001626973,0.000274084,0.000002788464,0.0001325318,0.00210458],"genre_scores_gemma":[0.3150121,0.000005886548,0.6840558,0.0003773133,0.0004556092,0.000001351411,1.106133e-7,0.00001288855,0.00007892107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5848102,"threshold_uncertainty_score":0.4838485,"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."}}