{"id":"W2112717272","doi":"10.1109/32.935852","title":"Foundations of the trace assertion method of module interface specification","year":2001,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Assertion; TRACE (psycholinguistics); Computer science; Programming language; Notation; Interface (matter); Formal specification; Operating system; Arithmetic; Mathematics","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.0002123167,0.00009547349,0.0001268459,0.000103595,0.00006986001,0.00002589109,0.0003577223,0.00005484496,0.00001095678],"category_scores_gemma":[0.00002195014,0.00007889437,0.0001052101,0.0005246454,0.00001604806,0.0002379468,0.000002544239,0.0001293276,0.000006626337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004823006,"about_ca_system_score_gemma":0.00002319533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000374534,"about_ca_topic_score_gemma":0.00001060815,"domain_scores_codex":[0.9992205,0.0000408495,0.0002598808,0.0001721326,0.0001874941,0.0001191261],"domain_scores_gemma":[0.9992248,0.0001165369,0.0001020153,0.0004347266,0.00009241261,0.00002944871],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000009775536,0.0002451085,0.0002088872,0.00009004508,0.00007089778,6.887099e-7,0.001375252,0.8446555,0.02274219,0.0163439,0.00002271402,0.1142351],"study_design_scores_gemma":[0.0005313487,0.0001864314,0.005505629,0.00007064503,0.0000541558,0.00006437337,0.0001097384,0.4198864,0.56601,0.0009263517,0.006279506,0.0003754494],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00484606,0.00003979025,0.9938407,0.00005152657,0.0008401089,0.0001708205,0.000001438106,0.0001534584,0.0000560988],"genre_scores_gemma":[0.9046267,0.000009626586,0.09512577,0.000003274801,0.00001771834,0.00002065095,3.169602e-7,0.000009147305,0.0001868417],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8997806,"threshold_uncertainty_score":0.3217219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02656165542666112,"score_gpt":0.2678047199802575,"score_spread":0.2412430645535964,"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."}}