{"id":"W1575720719","doi":"10.1109/ats.1992.224449","title":"Cyclogen: automatic, functional-level test generator","year":2003,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Binary decision diagram; Boolean function; Cyclomatic complexity; Computer science; Generator (circuit theory); Benchmark (surveying); Representation (politics); Theoretical computer science; Algorithm; Boolean circuit; Programming language; 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.0005787627,0.0006974982,0.0004152875,0.001517825,0.0002643301,0.0007306234,0.001505155,0.0005369776,0.01337506],"category_scores_gemma":[0.002142798,0.0003751375,0.0004053181,0.0006405144,0.0004600495,0.0007629058,0.0006394346,0.0007410559,0.002391497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006607566,"about_ca_system_score_gemma":0.0009141489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001134406,"about_ca_topic_score_gemma":0.001516937,"domain_scores_codex":[0.9992657,0.0001455414,0.0000401828,0.0001478888,0.0003371248,0.00006352482],"domain_scores_gemma":[0.9990777,0.0003757617,0.00007399187,0.0002237959,0.0002210736,0.00002768217],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001075794,0.000240337,0.003871498,0.0006770121,0.00009849644,0.0007912137,0.000184483,0.09075231,0.08823716,0.05534733,0.09214562,0.6665787],"study_design_scores_gemma":[0.0004086366,0.0006010354,0.001931981,0.00008743707,0.00005255166,0.001206872,0.00003965203,0.7571915,0.1642893,0.01618537,0.05794241,0.00006325352],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02443824,0.0002526025,0.8953416,0.0002613054,0.0001130933,0.000442601,0.001738031,0.06367337,0.01373913],"genre_scores_gemma":[0.4098132,0.0002044287,0.5661216,0.0004731808,0.00009447807,0.0008274725,0.007082683,0.003234345,0.01214858],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01337506,"threshold_uncertainty_score":0.04474407,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04708553070286995,"score_gpt":0.2248396111184646,"score_spread":0.1777540804155946,"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."}}