{"id":"W2155388066","doi":"10.1002/stvr.210","title":"A rigorous method for test templates generation from object‐oriented specifications","year":2001,"lang":"en","type":"article","venue":"Software Testing Verification and Reliability","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Template; Computer science; Formal specification; Programming language; Focus (optics); Test case; White-box testing; Object-oriented programming; Formal methods; Extension (predicate logic); Specification language; Test (biology); Software engineering; Software; Software development; Software construction","routes":{"ca_aff":true,"ca_fund":true,"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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.00102734,0.0002275169,0.0002351661,0.00009744792,0.000591554,0.0002015825,0.0004133029,0.0001449733,0.000007394136],"category_scores_gemma":[0.01485229,0.0002151237,0.00006315443,0.0006720645,0.00009358101,0.0003153115,0.00009457287,0.0001664994,0.00001258479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000925909,"about_ca_system_score_gemma":0.0001020741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007342249,"about_ca_topic_score_gemma":0.00001387056,"domain_scores_codex":[0.9979649,0.0001270247,0.0004856567,0.0009225514,0.000214657,0.0002851659],"domain_scores_gemma":[0.9929975,0.00483635,0.0002633724,0.001105716,0.00065842,0.0001386797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003357093,0.0008529499,0.5234631,0.00008308635,0.00003200232,0.000006022084,0.001857446,0.00045712,0.01120727,0.006298813,0.02085363,0.434855],"study_design_scores_gemma":[0.0008003493,0.0003704811,0.2675537,0.0001081497,0.00005824233,0.00008491831,0.0000293969,0.5603237,0.003225307,0.1482161,0.01836441,0.0008653242],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02000184,0.00009917531,0.9689596,0.0009338536,0.0002357658,0.0005860906,0.00004148125,0.009017361,0.0001248739],"genre_scores_gemma":[0.1846107,0.00001657932,0.814645,0.000163444,0.0001569152,0.0002048657,0.00009233974,0.00001846682,0.00009168612],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5598665,"threshold_uncertainty_score":0.9934461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07291649913695267,"score_gpt":0.3055475201157303,"score_spread":0.2326310209787777,"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."}}