{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01073587,0.001186854,0.001089416,0.002581282,0.0007416034,0.002095854,0.002526038,0.001419127,0.004325801],"category_scores_gemma":[0.04629733,0.001201421,0.001906284,0.001024973,0.003292832,0.001943511,0.003206847,0.002244923,0.001606193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009360174,"about_ca_system_score_gemma":0.002725722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008536291,"about_ca_topic_score_gemma":0.0006829304,"domain_scores_codex":[0.9828483,0.006471434,0.001133635,0.001156145,0.007883531,0.0005069152],"domain_scores_gemma":[0.9601616,0.02513919,0.001987503,0.007271876,0.004992557,0.0004473154],"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.0003605171,0.0004758395,0.002353314,0.0008101836,0.0002248219,0.001077351,0.001769962,0.09462225,0.06378303,0.3646106,0.005878297,0.4640339],"study_design_scores_gemma":[0.0005520757,0.0005353374,0.0006812143,0.0003185518,0.0001336235,0.0009978855,0.0002268347,0.6496534,0.1086446,0.2006394,0.03745323,0.0001638714],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001763345,0.00001525216,0.996735,0.00003509254,0.00001028219,0.0001542465,0.00002140758,0.0008371166,0.0004282835],"genre_scores_gemma":[0.05179903,0.00005852192,0.9456151,0.00007339754,0.00001716187,0.0005720021,0.0003008014,0.0005379662,0.001026079],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01073587,"threshold_uncertainty_score":0.05677736,"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."}}