{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":42,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":42,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"01b6e37955eb","filters":{"venue":"International Journal on Software Tools for Technology Transfer"}},"results":[{"id":"W1577404745","doi":"10.1007/s10009-007-0044-z","title":"The software model checker Blast","year":2007,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":594,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Predicate abstraction; Predicate (mathematical logic); Programming language; Memory safety; Model checking; Programmer; Program analysis; Symbolic execution; Static analysis; Software","authors":[{"name":"Dirk Beyer","is_ca":true},{"name":"Thomas A. Henzinger","is_ca":false},{"name":"Ranjit Jhala","is_ca":false},{"name":"Rupak Majumdar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0292661240647697,"gpt":0.3019749021356067,"spread":0.272708778070837,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001538838,0.0009394044,0.001007763,0.001399866,0.0007671447,0.001874422,0.001727358,0.001523155,0.009388052],"category_scores_gemma":[0.009137308,0.000836429,0.0009589174,0.001022949,0.001138449,0.00361428,0.002033445,0.002298445,0.003462769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000591718,"about_ca_system_score_gemma":0.002096661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002664579,"about_ca_topic_score_gemma":0.003686569,"domain_scores_codex":[0.9980152,0.0005311157,0.0001103409,0.0003188596,0.000876713,0.0001478969],"domain_scores_gemma":[0.9967263,0.001288921,0.0001649566,0.001192518,0.0005339804,0.00009341149],"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.001095852,0.0003966122,0.004156827,0.0008025023,0.0002601248,0.0009579579,0.0003163709,0.108885,0.02958077,0.2737637,0.09733807,0.482446],"study_design_scores_gemma":[0.0004143246,0.0002353559,0.0007914242,0.0002753837,0.0002195651,0.000743638,0.00007372219,0.6032544,0.04506527,0.2504209,0.09844049,0.00006556918],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.03068473,0.000747805,0.8591639,0.00121939,0.0004702523,0.0001364047,0.001101446,0.07537647,0.03109955],"genre_scores_gemma":[0.4389973,0.0008296994,0.5260752,0.001138666,0.0001771471,0.000195605,0.003360122,0.00766588,0.02156033],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.009388052,"threshold_uncertainty_score":0.03140616,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2067623660","doi":"10.1007/s100090050045","title":"Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN","year":2000,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Promela; Computer science; Common Object Request Broker Architecture; Model checking; Programming language; Protocol (science); Formal verification; Linear temporal logic; Formal specification; Theoretical computer science","authors":[{"name":"Moataz Kamel","is_ca":true},{"name":"Stefan Leue","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03510101619760418,"gpt":0.342277098449961,"spread":0.3071760822523568,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01146257,0.0009809554,0.000993107,0.001330913,0.001748742,0.004413173,0.002881552,0.001904321,0.002841752],"category_scores_gemma":[0.02419269,0.001355983,0.002186894,0.0007635317,0.006220157,0.005402558,0.004744607,0.005276642,0.0004374038],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001371158,"about_ca_system_score_gemma":0.005805969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004306448,"about_ca_topic_score_gemma":0.003998837,"domain_scores_codex":[0.9905546,0.003698885,0.0006990946,0.0007594058,0.003350685,0.0009373307],"domain_scores_gemma":[0.9848642,0.007315092,0.001105431,0.004982885,0.001514099,0.0002183766],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005952386,0.0002388471,0.003063074,0.0009634588,0.0001902222,0.0009914028,0.001262252,0.1648711,0.02570247,0.7309255,0.00229663,0.06889977],"study_design_scores_gemma":[0.0002461195,0.0002802166,0.0008321516,0.0004562187,0.0002749112,0.0005049804,0.0002923837,0.5501677,0.06953253,0.3560542,0.02120894,0.0001496419],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03214253,0.0003628164,0.9584871,0.0006198004,0.0001596273,0.0003858774,0.0001308882,0.003251583,0.004459738],"genre_scores_gemma":[0.7265019,0.0006348738,0.2674413,0.0004064274,0.00008865306,0.0004683374,0.00038152,0.0007830298,0.003293869],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01146257,"threshold_uncertainty_score":0.06062061,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2043554371","doi":"10.1007/s10009-006-0002-1","title":"MDA-based Automatic OWL Ontology Development","year":2006,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; OWL-S; Metamodeling; Process ontology; Ontology; Ontology Inference Layer; Programming language; Ontology-based data integration; Web Ontology Language; Upper ontology; Suggested Upper Merged Ontology; Software engineering; Semantic Web; Information retrieval; Semantic Web Stack","authors":[{"name":"Dragan Gašević","is_ca":true},{"name":"Dragan Djurić","is_ca":false},{"name":"Vladan Devedžić","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01995519643688351,"gpt":0.2646745578526939,"spread":0.2447193614158104,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001805838,0.00046959,0.0004123661,0.001456883,0.0007038115,0.001462429,0.0009178463,0.0005511018,0.004109594],"category_scores_gemma":[0.0053693,0.0007348568,0.0008884438,0.0006853492,0.0003759095,0.002074302,0.001476923,0.001217163,0.001511673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005300587,"about_ca_system_score_gemma":0.001656107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00381577,"about_ca_topic_score_gemma":0.005791586,"domain_scores_codex":[0.9988747,0.0003202375,0.000102628,0.0001316755,0.0004800651,0.00009059735],"domain_scores_gemma":[0.9977041,0.0007875596,0.0001310666,0.000695308,0.0006236976,0.00005832301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002207085,0.0005793751,0.004981014,0.0004061452,0.0002016619,0.0006911676,0.001121831,0.02621171,0.05946535,0.05015914,0.02451864,0.8314433],"study_design_scores_gemma":[0.00008905292,0.00009378696,0.002572386,0.0001614231,0.0001906904,0.0006851403,0.0004735932,0.7888246,0.09760129,0.03742456,0.07181332,0.00007008306],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01435625,0.00005264976,0.9657437,0.0001142447,0.00004907966,0.0001614163,0.0002444514,0.01570627,0.003572033],"genre_scores_gemma":[0.1463622,0.0001167762,0.8470839,0.00009757325,0.00001032804,0.0001833157,0.001781509,0.001844145,0.002520179],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004109594,"threshold_uncertainty_score":0.01374793,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3030250248","doi":"10.1007/s10009-020-00563-2","title":"An efficient statistical model checker for nondeterminism and rare events","year":2020,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Exploratory Research for Advanced Technology; Agencia Nacional de Promoción Científica y Tecnológica; RWTH Aachen University; Singapore University of Technology and Design; Westfälische Wilhelms-Universität Münster; Nederlandse Organisatie voor Wetenschappelijk Onderzoek; University of Twente","keywords":"Nondeterministic algorithm; Computer science; Rotation formalisms in three dimensions; Model checking; Modular design; Theoretical computer science; Statistical model; Rare events; Programming language; Parallel computing; Distributed computing; Algorithm; Artificial intelligence","authors":[{"name":"Carlos E. Budde","is_ca":false},{"name":"Pedro R. D’Argenio","is_ca":false},{"name":"Arnd Hartmanns","is_ca":false},{"name":"Sean Sedwards","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05361837148655482,"gpt":0.3428786260165246,"spread":0.2892602545299698,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007731813,0.0008771376,0.001416133,0.00179623,0.0007446911,0.002377693,0.002835891,0.0009595882,0.002874742],"category_scores_gemma":[0.02896989,0.0009222579,0.001598249,0.0009923778,0.001637541,0.002715306,0.00224893,0.002464546,0.0005880211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001153081,"about_ca_system_score_gemma":0.005282444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003915339,"about_ca_topic_score_gemma":0.005761691,"domain_scores_codex":[0.9904894,0.003341886,0.0006037314,0.001169947,0.00380414,0.0005909241],"domain_scores_gemma":[0.9677017,0.02172085,0.002455862,0.005155221,0.002612815,0.0003535712],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006181971,0.0004573839,0.01061754,0.0003839337,0.0003538993,0.0004393264,0.0002625916,0.675902,0.03254943,0.118708,0.005170386,0.1545373],"study_design_scores_gemma":[0.00003342629,0.00003761363,0.0001742004,0.00001190355,0.00002533756,0.00004049865,0.000007834343,0.9749838,0.009779123,0.01395728,0.0009363998,0.00001273168],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01539081,0.00004502647,0.9745339,0.0001128768,0.0000364989,0.00007398901,0.0001334331,0.009058379,0.0006151151],"genre_scores_gemma":[0.4808054,0.00009221605,0.5156319,0.0002315334,0.00005387329,0.0002609183,0.0005464848,0.001092383,0.00128534],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007731813,"threshold_uncertainty_score":0.04089022,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1998421080","doi":"10.1007/s10009-010-0164-8","title":"Towards an industrial grade IVE for Java and next generation research platform for JML","year":2010,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Programming language; Java; Java Modeling Language; Compiler; Assertion; Eclipse; Java annotation; Real time Java; Software engineering","authors":[{"name":"Patrice Chalin","is_ca":true},{"name":"Robby","is_ca":false},{"name":"Perry R. James","is_ca":true},{"name":"Jooyong Lee","is_ca":false},{"name":"George Karabotsos","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2650837728989613,"gpt":0.4006144419160369,"spread":0.1355306690170756,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004713725,0.0008093289,0.0007441094,0.001648583,0.0007826035,0.003798136,0.004024137,0.00206582,0.01560743],"category_scores_gemma":[0.007813308,0.0009831571,0.001147133,0.0005937687,0.0009298211,0.004941834,0.003401414,0.003745657,0.006193421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008770353,"about_ca_system_score_gemma":0.00222696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001557905,"about_ca_topic_score_gemma":0.001939496,"domain_scores_codex":[0.9972121,0.0005486534,0.0002354471,0.0004057494,0.001156765,0.0004411805],"domain_scores_gemma":[0.9961128,0.0005694098,0.0002316113,0.001381318,0.001171809,0.0005332282],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001493141,0.002196004,0.006353696,0.001011658,0.0001192065,0.0007312083,0.001505202,0.006126084,0.3251374,0.09680276,0.03143625,0.5270875],"study_design_scores_gemma":[0.0008164031,0.002850885,0.007047577,0.0007531415,0.0002907332,0.001389259,0.0004584934,0.1003153,0.337198,0.03966179,0.5089486,0.000269784],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03950153,0.0004226942,0.8791661,0.0008121536,0.000391733,0.0007671959,0.0003005665,0.04547421,0.03316386],"genre_scores_gemma":[0.1547069,0.0003204907,0.7920955,0.0006953442,0.000114582,0.0003962577,0.001565224,0.01312828,0.03697754],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01560743,"threshold_uncertainty_score":0.05221212,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2087702998","doi":"10.1007/s10009-002-0087-0","title":"A framework for superscalar microprocessor correctness statements","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Pennsylvania","keywords":"Correctness; Computer science; Superscalar; Theory of computation; Implementation; Microprocessor; Parameterized complexity; Programming language; Set (abstract data type); Parallel computing; Variety (cybernetics); Formal verification; Instruction set; Computer architecture; Embedded system; Algorithm; Artificial intelligence","authors":[{"name":"Mark D. Aagaard","is_ca":true},{"name":"Byron Cook","is_ca":false},{"name":"Nancy A. Day","is_ca":true},{"name":"Robert B. Jones","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04298718330889807,"gpt":0.355705237261135,"spread":0.312718053952237,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004885563,0.001848821,0.001465192,0.003101575,0.00196197,0.00537957,0.005111787,0.002643818,0.01085089],"category_scores_gemma":[0.01209429,0.002272753,0.003260599,0.00201936,0.004011055,0.009603156,0.004376586,0.005422148,0.004544651],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001752575,"about_ca_system_score_gemma":0.003379957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00444009,"about_ca_topic_score_gemma":0.006692074,"domain_scores_codex":[0.9953375,0.001100113,0.0005119071,0.00064783,0.001901407,0.0005013042],"domain_scores_gemma":[0.9939698,0.002613052,0.0004805998,0.001471284,0.001264442,0.000200836],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001133756,0.0001133419,0.0005200912,0.0004022197,0.0000869978,0.0003578243,0.0005581984,0.02739382,0.00599225,0.84796,0.007448868,0.1090531],"study_design_scores_gemma":[0.00008640217,0.00009458,0.0001449855,0.0002422915,0.0001588955,0.0002527454,0.0001574585,0.2671784,0.01323292,0.6578425,0.06050973,0.00009903394],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001016199,0.0001016184,0.9924976,0.0001270109,0.00005236552,0.00008505147,0.00007623703,0.004789292,0.001254709],"genre_scores_gemma":[0.06345732,0.0003479633,0.9294297,0.0002469739,0.0001759134,0.0003597535,0.0004946037,0.002232431,0.003255409],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01085089,"threshold_uncertainty_score":0.03629982,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1273632282","doi":"10.1007/s10009-014-0347-9","title":"Cloned product variants: from ad-hoc to managed software product lines","year":2015,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Software product line; Code refactoring; Computer science; Cloning (programming); Product (mathematics); Software engineering; Software; Representation (politics); Operator (biology); Focus (optics); New product development; Software development; Programming language; Business; Mathematics; Biology","authors":[{"name":"Julia Rubin","is_ca":true},{"name":"Krzysztof Czarnecki","is_ca":true},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06308820971383697,"gpt":0.317853069119804,"spread":0.254764859405967,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003384337,0.0005225644,0.0003410978,0.001170741,0.0005700489,0.003914506,0.002723888,0.001142923,0.003712588],"category_scores_gemma":[0.01422909,0.0005929699,0.0004929561,0.001899311,0.001861935,0.004654261,0.002615562,0.001654718,0.001207518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056818,"about_ca_system_score_gemma":0.00145092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001402293,"about_ca_topic_score_gemma":0.00128739,"domain_scores_codex":[0.9962872,0.001065942,0.0002142023,0.0005701084,0.001652156,0.0002103206],"domain_scores_gemma":[0.983456,0.00451457,0.001657826,0.007810183,0.001949243,0.0006121655],"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.001087019,0.001007637,0.03703025,0.0005149291,0.0002036049,0.005616929,0.00660704,0.02023612,0.0655193,0.187878,0.00807707,0.6662221],"study_design_scores_gemma":[0.000625194,0.003639781,0.02653393,0.0008191479,0.0008434092,0.01351605,0.004377803,0.2709795,0.1810624,0.2107526,0.2865,0.0003501668],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4550457,0.001011255,0.5166716,0.0007691598,0.0001819907,0.0003469442,0.0004176652,0.005090318,0.02046547],"genre_scores_gemma":[0.7230819,0.0005627067,0.2585904,0.0001651134,0.00006066956,0.0001478395,0.001158663,0.00136331,0.01486931],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003914506,"threshold_uncertainty_score":0.01789832,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2028045996","doi":"10.1007/s10009-007-0047-9","title":"A framework for counterexample generation and exploration","year":2007,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Counterexample; Debugging; Mathematical proof; Computer science; Property (philosophy); Programming language; Theoretical computer science; Model checking; Algorithm; Mathematics; Discrete mathematics","authors":[{"name":"Marsha Chećhik","is_ca":true},{"name":"Arie Gurfinkel","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1044817341754693,"gpt":0.368031216693099,"spread":0.2635494825176297,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007221956,0.002641736,0.00219971,0.005403483,0.001654256,0.00443478,0.005382692,0.003497821,0.01229925],"category_scores_gemma":[0.0309269,0.002013406,0.003975407,0.002452897,0.00334076,0.0070217,0.006344877,0.003344011,0.003300165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001119023,"about_ca_system_score_gemma":0.00298371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003194144,"about_ca_topic_score_gemma":0.004197693,"domain_scores_codex":[0.9917156,0.002761932,0.000664214,0.001328633,0.002843817,0.0006858612],"domain_scores_gemma":[0.9821365,0.01117551,0.0007308769,0.003804428,0.001862226,0.0002903213],"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.0006283402,0.0004119608,0.001623773,0.001012734,0.0003311954,0.0009099279,0.000900668,0.09950972,0.01599873,0.3938804,0.0110978,0.4736947],"study_design_scores_gemma":[0.0001322176,0.00009981624,0.0001810296,0.0001792546,0.0001632041,0.0004881216,0.000115538,0.7315498,0.02178187,0.2244771,0.02073351,0.00009849401],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006781009,0.00005515616,0.9947701,0.00006228685,0.00001864368,0.00007689663,0.0000487016,0.003738882,0.0005511079],"genre_scores_gemma":[0.03837121,0.00008751372,0.9592814,0.00007288423,0.0000270682,0.0002133709,0.000215672,0.0008373125,0.0008935346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01229925,"threshold_uncertainty_score":0.04114503,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2083965123","doi":"10.1007/s10009-012-0240-3","title":"Model-based testing of software and systems: recent advances and challenges","year":2012,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Software testing; Variety (cybernetics); System integration testing; Software engineering; Automation; Software; Test strategy; Model-based testing; Software performance testing; Software system; Data science; Software construction; Test case; Artificial intelligence; Machine learning; Programming language; Engineering","authors":[{"name":"Alexandre Petrenko","is_ca":true},{"name":"Adenilso Simão","is_ca":false},{"name":"José Carlos Maldonado","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09062809914528827,"gpt":0.3066170323655871,"spread":0.2159889332202988,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01015729,0.00124062,0.002593951,0.002511676,0.000335767,0.0036023,0.005114042,0.002538754,0.002421341],"category_scores_gemma":[0.02225253,0.0006378231,0.001074794,0.003083305,0.003010423,0.00788141,0.002395743,0.002447246,0.000642589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001471828,"about_ca_system_score_gemma":0.001666195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001515017,"about_ca_topic_score_gemma":0.001341657,"domain_scores_codex":[0.9899709,0.003906097,0.0004587726,0.0009270263,0.004453023,0.0002843231],"domain_scores_gemma":[0.9530092,0.03660307,0.001895274,0.003694962,0.004075221,0.0007222961],"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.0002687458,0.0004421946,0.006715571,0.002404834,0.0001936606,0.000134173,0.0002752664,0.03469002,0.005659434,0.07114585,0.005469539,0.8726008],"study_design_scores_gemma":[0.0001647775,0.001101443,0.006150268,0.002221374,0.0003093808,0.001981988,0.0007785218,0.6018795,0.01122449,0.2944967,0.07953287,0.0001586824],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.04658733,0.2908552,0.6293575,0.01414812,0.000845782,0.0001175537,0.000159727,0.001939004,0.01598983],"genre_scores_gemma":[0.624386,0.1564972,0.2094387,0.002146267,0.002082765,0.0002176875,0.0007312492,0.0005967135,0.003903292],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01015729,"threshold_uncertainty_score":0.05371749,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2067284301","doi":"10.1007/s10009-008-0082-1","title":"Framework testing of web applications using TTCN-3","year":2008,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Software engineering; Web application; Test script; Web service; Test case; Programming language; Database; Operating system; Machine learning","authors":[{"name":"Bernard Stépien","is_ca":true},{"name":"Liam Peyton","is_ca":true},{"name":"Pulei Xiong","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1185398341294807,"gpt":0.3479252943717749,"spread":0.2293854602422942,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002758046,0.0008756054,0.0005095896,0.001334299,0.0005909632,0.001134778,0.002271074,0.001028464,0.005015969],"category_scores_gemma":[0.009353035,0.0003497182,0.0009481338,0.0007137943,0.0006879223,0.001570815,0.001393921,0.0008029933,0.0006101688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009114553,"about_ca_system_score_gemma":0.002285156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01322982,"about_ca_topic_score_gemma":0.01371246,"domain_scores_codex":[0.9960973,0.001190138,0.0002873158,0.0004512845,0.001407205,0.0005667463],"domain_scores_gemma":[0.9923516,0.003091569,0.0004066968,0.001833644,0.002002709,0.0003138313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.004781933,0.002532419,0.06253648,0.001212363,0.0004823555,0.002630692,0.001628417,0.2818602,0.1511326,0.03152858,0.01518033,0.4444938],"study_design_scores_gemma":[0.0002308553,0.0007477264,0.005707136,0.00007710179,0.00009771783,0.0003420068,0.0001640909,0.895151,0.08550467,0.004741618,0.007170999,0.00006500453],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6342572,0.0003513401,0.3150512,0.0002647725,0.000190011,0.00042208,0.0008271573,0.03832351,0.01031266],"genre_scores_gemma":[0.9059451,0.00006957391,0.0890386,0.00007793707,0.00001283629,0.0001129111,0.001000801,0.001132108,0.002610152],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01322982,"threshold_uncertainty_score":0.02630562,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2007846881","doi":"10.1007/s10009-010-0183-5","title":"The Clara framework for hybrid typestate analysis","year":2010,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Static analysis; Runtime verification; AspectJ; Property (philosophy); State (computer science); Dependency (UML); Programming language; Program analysis; Field (mathematics); Distributed computing; Formal verification; Software engineering; Aspect-oriented programming; Software","authors":[{"name":"Eric Bodden","is_ca":false},{"name":"Laurie Hendren","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01957665836404231,"gpt":0.290065488886945,"spread":0.2704888305229027,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004071029,0.001264869,0.00160199,0.003781238,0.00190535,0.005918367,0.004539903,0.00176077,0.02973786],"category_scores_gemma":[0.009969069,0.001804499,0.00456673,0.003051941,0.002515434,0.007904973,0.004684014,0.004858884,0.009099188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001789203,"about_ca_system_score_gemma":0.002481151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002425133,"about_ca_topic_score_gemma":0.003708491,"domain_scores_codex":[0.9958187,0.001051932,0.0003666608,0.0007594273,0.001632254,0.0003710646],"domain_scores_gemma":[0.9952132,0.001902161,0.0002091898,0.001697222,0.0008427644,0.000135461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001252385,0.00004962222,0.0004116003,0.0003391677,0.00008570543,0.0001214677,0.0002630514,0.00874813,0.00250776,0.8341739,0.01288002,0.1402943],"study_design_scores_gemma":[0.0000523377,0.00002878317,0.0001703429,0.0001702919,0.00009497102,0.0002437766,0.0001069394,0.104648,0.006085386,0.7751384,0.1131944,0.00006635777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008164031,0.0001468436,0.9896264,0.0001543998,0.00005750861,0.00004838643,0.0002734635,0.005148595,0.003727964],"genre_scores_gemma":[0.05088848,0.000315391,0.936085,0.0002896689,0.00015341,0.0002873796,0.001163104,0.003913012,0.006904604],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02973786,"threshold_uncertainty_score":0.09948307,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2128454637","doi":"10.1007/s10009-005-0209-6","title":"Software tools for safety-critical software development","year":2005,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Software development; Software engineering; Package development process; Variety (cybernetics); Software construction; Software peer review; Software analytics; Software; Social software engineering; Personal software process; Verification and validation; Avionics software; Operating system; Engineering; Artificial intelligence","authors":[{"name":"Alan Wassyng","is_ca":true},{"name":"Mark Lawford","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03718945379551026,"gpt":0.3308925594451662,"spread":0.2937031056496559,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002384938,0.001329369,0.0007358767,0.002832624,0.0006220497,0.002500167,0.001997226,0.001505373,0.008516648],"category_scores_gemma":[0.01649669,0.0009556758,0.001110353,0.002160643,0.0007844301,0.004037195,0.002834307,0.002268195,0.004180362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003926067,"about_ca_system_score_gemma":0.001296369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005482124,"about_ca_topic_score_gemma":0.0005751037,"domain_scores_codex":[0.9966371,0.0008220518,0.000401144,0.0001877105,0.001766263,0.0001857711],"domain_scores_gemma":[0.9912342,0.004799346,0.0005904465,0.001809261,0.001299042,0.0002676072],"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.0001969405,0.0001812779,0.001047389,0.001583161,0.000114147,0.0004915993,0.000872632,0.01015036,0.02440506,0.1225238,0.02540733,0.8130263],"study_design_scores_gemma":[0.0003973184,0.0007120212,0.002048146,0.002616283,0.0004487855,0.002355705,0.0004314805,0.1538962,0.07894038,0.2954309,0.4625104,0.0002125744],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007189599,0.002163454,0.9629555,0.0004603955,0.0002724038,0.0001442438,0.0002019108,0.01714544,0.009467022],"genre_scores_gemma":[0.08676132,0.002928413,0.8983507,0.0002560121,0.0001664656,0.0002872425,0.001024451,0.003345666,0.006879719],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008516648,"threshold_uncertainty_score":0.02849102,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2981584093","doi":"10.1007/s10009-019-00543-1","title":"A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Train; Supervisor; Theory of computation; Computer science; Nondeterministic algorithm; Event (particle physics); Control (management); Algorithm; Artificial intelligence","authors":[{"name":"Amel Mammar","is_ca":false},{"name":"Marc Frappier","is_ca":true},{"name":"Steve Jeffrey Tueno Fotso","is_ca":true},{"name":"Régine Laleau","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03523788722718633,"gpt":0.3029168370994255,"spread":0.2676789498722392,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003854113,0.0006028417,0.000482007,0.001719006,0.0005895706,0.001740969,0.001618643,0.0007713366,0.006732759],"category_scores_gemma":[0.007840492,0.000521739,0.00190679,0.0007738036,0.00144137,0.00234379,0.001593818,0.001204781,0.001448424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00128212,"about_ca_system_score_gemma":0.002558488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005089559,"about_ca_topic_score_gemma":0.005087762,"domain_scores_codex":[0.9937785,0.001337492,0.0003843261,0.0005321467,0.003362252,0.0006052232],"domain_scores_gemma":[0.9951628,0.001531175,0.0003835825,0.001535346,0.001329374,0.0000577246],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007825363,0.0002073084,0.007880713,0.0006248171,0.0001761714,0.0008297232,0.0007794016,0.1345742,0.06814899,0.5959833,0.008219715,0.1817931],"study_design_scores_gemma":[0.0001238056,0.0004710511,0.003028367,0.0002258519,0.0002047254,0.0005125626,0.0003599891,0.6703139,0.09874662,0.1771666,0.04874104,0.0001055368],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04247323,0.0001048885,0.9426149,0.0002391273,0.00007782837,0.0002380417,0.000484857,0.004398338,0.009368747],"genre_scores_gemma":[0.4841217,0.0001702415,0.5041687,0.0002048011,0.00004659632,0.0002506041,0.001327376,0.001479357,0.008230641],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006732759,"threshold_uncertainty_score":0.02252334,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1990325313","doi":"10.1007/s10009-007-0040-3","title":"Improving state class constructions for CTL* model checking of time Petri nets","year":2007,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Computer science; Theory of computation; Class (philosophy); State (computer science); Model checking; Process architecture; Stochastic Petri net; Programming language; Theoretical computer science; CTL*; Artificial intelligence","authors":[{"name":"Rachid Hadjidj","is_ca":true},{"name":"Hanifa Boucheneb","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02888828092830227,"gpt":0.3112200504831442,"spread":0.282331769554842,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006569622,0.001439549,0.001678777,0.00235592,0.001742554,0.00312718,0.003672837,0.001763145,0.006071902],"category_scores_gemma":[0.0284222,0.001749038,0.004391899,0.001587268,0.003484929,0.006583129,0.006020439,0.00463668,0.001149533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002917236,"about_ca_system_score_gemma":0.003728784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005752826,"about_ca_topic_score_gemma":0.007040136,"domain_scores_codex":[0.9916744,0.002680399,0.0005756881,0.001168101,0.002698814,0.001202718],"domain_scores_gemma":[0.9526463,0.03437705,0.001908149,0.00801938,0.002556136,0.0004930842],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001395318,0.0005618074,0.006737729,0.000656427,0.0002483283,0.0005523106,0.001326306,0.3999053,0.02592492,0.362185,0.003671557,0.196835],"study_design_scores_gemma":[0.0001195475,0.0001018427,0.00029006,0.00006644748,0.0001256787,0.0000590439,0.00007642604,0.8485515,0.02179376,0.1266815,0.002074643,0.00005947312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03284485,0.00005812095,0.9602982,0.000144477,0.00005251151,0.0001316895,0.0001247652,0.004643016,0.001702372],"genre_scores_gemma":[0.5754927,0.0001183469,0.4191536,0.0001785989,0.00005786217,0.0003814821,0.0006745096,0.002144623,0.00179829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006569622,"threshold_uncertainty_score":0.03474391,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2976486068","doi":"10.1007/s10009-019-00531-5","title":"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Budapesti Műszaki és Gazdaságtudományi Egyetem","keywords":"Computer science; Scalability; Distributed computing; Graph; Cyber-physical system; Database; Theoretical computer science; Operating system","authors":[{"name":"Márton Búr","is_ca":true},{"name":"Gábor Szilágyi","is_ca":false},{"name":"András Vörös","is_ca":false},{"name":"Dániel Varró","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01428448677402966,"gpt":0.2627782450835064,"spread":0.2484937583094768,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003246058,0.001162132,0.0007872349,0.00132481,0.0005423434,0.002267961,0.001720102,0.001032743,0.001640859],"category_scores_gemma":[0.01251105,0.0004527852,0.0008044036,0.001101465,0.001178153,0.003513164,0.002064324,0.001303301,0.0004770324],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001943054,"about_ca_system_score_gemma":0.001187027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008433823,"about_ca_topic_score_gemma":0.008584642,"domain_scores_codex":[0.9942349,0.002145869,0.0003200833,0.000911816,0.002117745,0.0002695254],"domain_scores_gemma":[0.9919261,0.003539794,0.0007739592,0.002320446,0.001154901,0.0002848369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001506675,0.0005919919,0.01199079,0.0003924828,0.0001846125,0.0005583617,0.001183084,0.6450973,0.05175347,0.05428619,0.01023274,0.2222224],"study_design_scores_gemma":[0.00003110674,0.00003801755,0.0003109676,0.00000517554,0.000009867752,0.00002555439,0.00005272806,0.984689,0.007151334,0.006510851,0.001164353,0.00001096881],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09956579,0.0002677453,0.8664278,0.000461632,0.00006821682,0.0001998862,0.0005445009,0.0301926,0.002271699],"genre_scores_gemma":[0.7032357,0.00008518797,0.2932331,0.0001005087,0.00003170166,0.0001438608,0.0008509477,0.001378317,0.0009407232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008433823,"threshold_uncertainty_score":0.01716697,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2972465897","doi":"10.1007/s10009-019-00530-6","title":"Diversity of graph models and graph generators in mutation testing","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Emberi Eroforrások Minisztériuma; Natural Sciences and Engineering Research Council of Canada; Magyar Tudományos Akadémia; Budapesti Műszaki és Gazdaságtudományi Egyetem","keywords":"Computer science; Test suite; Predicate abstraction; Random testing; Graph; Model-based testing; Theoretical computer science; Predicate (mathematical logic); Software quality; Programming language; Test case; Software; Software engineering; Model checking; Machine learning; Software development","authors":[{"name":"Oszkár Semeráth","is_ca":false},{"name":"Rebeka Farkas","is_ca":false},{"name":"Gábor Bergmann","is_ca":false},{"name":"Dániel Varró","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03993430915760716,"gpt":0.2690731531534225,"spread":0.2291388439958153,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00855693,0.000722795,0.0007449431,0.003333987,0.0007154479,0.001742334,0.001395666,0.001683874,0.000785283],"category_scores_gemma":[0.05344065,0.0006858926,0.0009096464,0.001262065,0.002732038,0.003395042,0.00236446,0.00132902,0.0001080064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001397137,"about_ca_system_score_gemma":0.0007958084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0013617,"about_ca_topic_score_gemma":0.00152694,"domain_scores_codex":[0.989608,0.006253354,0.0003626863,0.001012531,0.00237291,0.0003906434],"domain_scores_gemma":[0.9092877,0.07603114,0.004663319,0.006129157,0.002904227,0.0009844657],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000517319,0.0002756941,0.0234336,0.0001404509,0.0001119428,0.0004300984,0.0005780072,0.8733724,0.013036,0.03121748,0.00045872,0.0564284],"study_design_scores_gemma":[0.00003671,0.0002755478,0.00188143,0.00002672753,0.0000320951,0.0002607667,0.0001038385,0.9626543,0.007796283,0.02644657,0.0004625515,0.00002313869],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6908224,0.0002752193,0.3058698,0.0003063079,0.00002009943,0.0001313017,0.0001171492,0.0005555672,0.001902111],"genre_scores_gemma":[0.9522921,0.00005983265,0.04706463,0.00003535986,0.00000872948,0.00005630822,0.0001885261,0.000107165,0.0001872553],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00855693,"threshold_uncertainty_score":0.04525393,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2593098503","doi":"10.1007/s10009-017-0450-9","title":"Software engineering practices and Simulink: bridging the gap","year":2017,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Software engineering; Debugging; Documentation; Maintainability; Software; Programming language","authors":[{"name":"Vera Pantelic","is_ca":true},{"name":"Steven Postma","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Monika Jaskolka","is_ca":true},{"name":"Bennett Mackenzie","is_ca":true},{"name":"Alexandre Korobkine","is_ca":true},{"name":"Marc Bender","is_ca":true},{"name":"Jeff Ong","is_ca":true},{"name":"Gordon Marks","is_ca":true},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05327260685018031,"gpt":0.3286051605637318,"spread":0.2753325537135515,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01284533,0.0008543322,0.0005223682,0.002479482,0.0009625096,0.008781744,0.001967527,0.002595552,0.002821274],"category_scores_gemma":[0.02541901,0.0006098909,0.0004209201,0.001509732,0.006897123,0.01268187,0.004489861,0.004404328,0.001055695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002144641,"about_ca_system_score_gemma":0.004842159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001726442,"about_ca_topic_score_gemma":0.001275528,"domain_scores_codex":[0.9893057,0.005339497,0.0008033419,0.0009200431,0.003282987,0.0003483931],"domain_scores_gemma":[0.9555818,0.03127197,0.001919262,0.00520315,0.005046729,0.0009771857],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007025518,0.0002961034,0.002384308,0.0009553506,0.00006406214,0.0003072918,0.005915603,0.01178154,0.003337557,0.7288405,0.003737584,0.2423099],"study_design_scores_gemma":[0.00005283958,0.0002581393,0.001151582,0.002362497,0.00005551485,0.000834141,0.007199484,0.02430693,0.006566894,0.7480992,0.2090374,0.00007536027],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05131775,0.02071365,0.7945894,0.06263353,0.0007595054,0.00007111236,0.00008902585,0.001184345,0.06864168],"genre_scores_gemma":[0.6503255,0.03610401,0.2970497,0.004092309,0.0004967457,0.0001467056,0.0001820612,0.0005726879,0.01103033],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01284533,"threshold_uncertainty_score":0.06793344,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1515040974","doi":"10.1007/s10009-009-0109-2","title":"Encoding a process algebra using the Event B method","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Moncton","funders":"","keywords":"Computer science; Process calculus; Event (particle physics); Asynchronous communication; Theory of computation; Semantics (computer science); ENCODE; Theoretical computer science; Process (computing); Operator (biology); Programming language; Algorithm; Algebra over a field; Mathematics","authors":[{"name":"Yamine Aït-Ameur","is_ca":false},{"name":"Mickaël Baron","is_ca":false},{"name":"Nadjet Kamel","is_ca":true},{"name":"Jean‐Marc Mota","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04812510076258449,"gpt":0.3826917551929782,"spread":0.3345666544303937,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001442653,0.0007957694,0.0006240812,0.0009709159,0.0009596254,0.002712597,0.001171303,0.001121711,0.01554623],"category_scores_gemma":[0.003067529,0.0006864272,0.001856608,0.00096994,0.001555637,0.003029837,0.001600181,0.001926729,0.003347452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000647872,"about_ca_system_score_gemma":0.001317317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002432257,"about_ca_topic_score_gemma":0.002052618,"domain_scores_codex":[0.998929,0.0003129058,0.0001143968,0.0002287133,0.0002874815,0.000127471],"domain_scores_gemma":[0.9983424,0.0008983426,0.0001064487,0.000393268,0.0001885719,0.00007101926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003871422,0.0001360566,0.0004201667,0.000360286,0.00004997067,0.0004443503,0.0003328238,0.02562097,0.01183732,0.8766349,0.004656698,0.07911935],"study_design_scores_gemma":[0.0002526061,0.0001204328,0.0001565335,0.0001649597,0.0001174005,0.0004010818,0.0001293017,0.1858513,0.03458033,0.6858058,0.09232675,0.00009352002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001958312,0.00003959027,0.9925127,0.00008001543,0.00007171457,0.00006665397,0.0002240312,0.002086518,0.002960605],"genre_scores_gemma":[0.1345568,0.0003102515,0.8542262,0.0001606863,0.00008038805,0.0002571431,0.0009178515,0.001131159,0.008359561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01554623,"threshold_uncertainty_score":0.05200732,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241863337","doi":"10.1007/s10009-019-00542-2","title":"Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Formal specification; Formal methods; Formal verification; Programming language; Software engineering; Systems Modeling Language; Domain (mathematical analysis); Unified Modeling Language","authors":[{"name":"Steve Jeffrey Tueno Fotso","is_ca":true},{"name":"Marc Frappier","is_ca":true},{"name":"Régine Laleau","is_ca":false},{"name":"Amel Mammar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04120826836569858,"gpt":0.2544398037154147,"spread":0.2132315353497161,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00393845,0.0005681633,0.0003789226,0.001281847,0.0004528713,0.003419477,0.001938403,0.001210877,0.004145155],"category_scores_gemma":[0.006276231,0.000576795,0.001272526,0.0005932503,0.0009303316,0.002990444,0.001777701,0.00141876,0.00180625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001553487,"about_ca_system_score_gemma":0.003009479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008191679,"about_ca_topic_score_gemma":0.007646609,"domain_scores_codex":[0.9956424,0.001029442,0.0005398424,0.0003855186,0.001944868,0.0004579578],"domain_scores_gemma":[0.9958739,0.001147427,0.000509045,0.001227581,0.001150846,0.00009119279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002936488,0.0002702674,0.005497754,0.0004820361,0.0001193173,0.001199855,0.001138052,0.3418378,0.04534625,0.5005853,0.007090843,0.09613881],"study_design_scores_gemma":[0.00007244718,0.0001955097,0.001504291,0.000239628,0.0001154622,0.0003751329,0.0003772672,0.7898599,0.03653815,0.06887408,0.1017457,0.0001024225],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05916394,0.0001303348,0.9105018,0.000488929,0.00007603798,0.0004654037,0.000891524,0.004305336,0.02397668],"genre_scores_gemma":[0.4505409,0.0002749313,0.5296074,0.0003056187,0.00003638365,0.0005864312,0.003227221,0.001239225,0.01418191],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008191679,"threshold_uncertainty_score":0.02082878,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2066179571","doi":"10.1007/s10009-009-0134-1","title":"Exploiting resolution proofs to speed up LTL vacuity detection for BMC","year":2010,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Glycosylation and Glycoproteins Research","field":"Biochemistry, Genetics and Molecular Biology","cited_by":13,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Mathematical proof; Model checking; Theory of computation; Bounded function; Resolution (logic); Property (philosophy); Variable (mathematics); Theoretical computer science; Algorithm; Programming language; Mathematics","authors":[{"name":"Jocelyn Simmonds","is_ca":true},{"name":"Jessica Davies","is_ca":true},{"name":"Arie Gurfinkel","is_ca":false},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03334472136680609,"gpt":0.3272435181166502,"spread":0.2938987967498441,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00415701,0.001487431,0.0007758337,0.003103358,0.001233577,0.002405566,0.002337886,0.001720458,0.01580123],"category_scores_gemma":[0.02884316,0.001195278,0.001723169,0.001940696,0.0009524327,0.005998612,0.003712126,0.002079437,0.004245627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001065106,"about_ca_system_score_gemma":0.002387905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001595602,"about_ca_topic_score_gemma":0.002968173,"domain_scores_codex":[0.9962512,0.001156725,0.0003885266,0.0004223603,0.001409716,0.000371606],"domain_scores_gemma":[0.9738681,0.01721801,0.001422216,0.004106103,0.003036497,0.0003490262],"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.00149851,0.0003341337,0.006199665,0.00201757,0.000334249,0.0009596128,0.001063805,0.01832975,0.08256302,0.08389871,0.0355325,0.7672684],"study_design_scores_gemma":[0.0003927603,0.0003511793,0.001352676,0.0004391267,0.000336615,0.0008522758,0.0003509494,0.5115553,0.2935474,0.1226011,0.06800685,0.0002138372],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03035226,0.000626262,0.8975486,0.0009742799,0.0003845171,0.0002113754,0.001071641,0.06539448,0.003436625],"genre_scores_gemma":[0.2682421,0.0002814661,0.7195257,0.0006073586,0.0001493647,0.0001616853,0.001946594,0.006317072,0.00276878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01580123,"threshold_uncertainty_score":0.05286038,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2008416362","doi":"10.1007/s10009-002-0082-5","title":"Hierarchical formal verification using a hybrid tool","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Intelligent verification; HOL; Formal verification; Functional verification; Runtime verification; High-level verification; Theory of computation; Component (thermodynamics); Software verification; Verification; Formal methods; Model checking; Programming language; Computer architecture; Embedded system; Software; Software development; Software construction","authors":[{"name":"Skander Kort","is_ca":true},{"name":"Sofi�ne Tahar","is_ca":true},{"name":"Paul Curzon","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04344229729073261,"gpt":0.3178908435027292,"spread":0.2744485462119966,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001511912,0.0005217636,0.0005666707,0.0008387503,0.0007849815,0.001044249,0.001265024,0.0007313309,0.005449034],"category_scores_gemma":[0.002348433,0.0006439927,0.001082985,0.0004606843,0.001267718,0.002037671,0.002153428,0.0009952736,0.000872019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004889418,"about_ca_system_score_gemma":0.0008476138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001056083,"about_ca_topic_score_gemma":0.001433614,"domain_scores_codex":[0.9987187,0.0002842676,0.00010708,0.0002357713,0.0005251283,0.0001290406],"domain_scores_gemma":[0.9967102,0.001836386,0.0001462004,0.0009359836,0.0002801577,0.00009118159],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001146691,0.000386971,0.004531067,0.0007290342,0.0002309958,0.001110642,0.001060166,0.1275213,0.2153917,0.2925545,0.003484853,0.3518521],"study_design_scores_gemma":[0.0002610564,0.0004314909,0.001169322,0.00006670781,0.0001862818,0.000496158,0.0001283725,0.756146,0.1074177,0.1177622,0.0158453,0.00008954569],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02246901,0.00003274224,0.9721091,0.0000304216,0.00001926192,0.00005917454,0.00005186243,0.0038694,0.001358858],"genre_scores_gemma":[0.4061143,0.00004573827,0.590814,0.00004621109,0.00001488863,0.0001528712,0.0001970163,0.0004453647,0.002169573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005449034,"threshold_uncertainty_score":0.01822883,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1971979814","doi":"10.1007/s100090200073","title":"Comparison of SPIN and VIS for protocol verification","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Asynchronous communication; Protocol (science); Theory of computation; Software; Formal verification; Software verification; Formal methods; Promela; Model checking; Communications protocol; Embedded system; Programming language; Computer network; Software system; Software construction","authors":[{"name":"Hong Peng","is_ca":true},{"name":"Sofi�ne Tahar","is_ca":true},{"name":"Ferhat Khendek","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06635256689107977,"gpt":0.4103775650954806,"spread":0.3440249982044008,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005613618,0.0009120686,0.001189139,0.002187745,0.0008793343,0.002306592,0.00170499,0.001100453,0.008346822],"category_scores_gemma":[0.02220961,0.0004596215,0.000628394,0.001097549,0.001382592,0.004771032,0.00156171,0.001168706,0.0009241527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001398763,"about_ca_system_score_gemma":0.002351044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002341176,"about_ca_topic_score_gemma":0.005573381,"domain_scores_codex":[0.9952969,0.002163974,0.0002071952,0.0002858207,0.001675805,0.0003704234],"domain_scores_gemma":[0.9779333,0.01382624,0.0009398912,0.004752071,0.002171567,0.0003770831],"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.01206712,0.0007416491,0.0100641,0.001666179,0.0005799383,0.000212413,0.0003894315,0.1485295,0.01635811,0.2223537,0.006468273,0.5805695],"study_design_scores_gemma":[0.0004066539,0.001254757,0.002788358,0.0001785455,0.0002977675,0.0002046148,0.0004348072,0.8811578,0.0237935,0.08239777,0.007010708,0.00007468651],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3253765,0.004311762,0.6043215,0.0008034947,0.0005869672,0.0004168531,0.0006616261,0.01924807,0.04427313],"genre_scores_gemma":[0.9212441,0.0005908127,0.0739753,0.0001069259,0.00004467693,0.0001011217,0.0003132633,0.000450495,0.003173373],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008346822,"threshold_uncertainty_score":0.02968806,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2044863546","doi":"10.1007/s10009-013-0277-y","title":"Generating effective tests for concurrent programs via AI automated planning techniques","year":2013,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Concurrency; Atomicity; Correctness; Interleaving; Programming language; Debugging; Set (abstract data type); Theory of computation","authors":[{"name":"Niloofar Razavi","is_ca":true},{"name":"Azadeh Farzan","is_ca":true},{"name":"Sheila A. McIlraith","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02929224509674527,"gpt":0.335350900474194,"spread":0.3060586553774487,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001588628,0.0015723,0.0008135557,0.002077835,0.0008632274,0.001362707,0.002050118,0.00103801,0.004909793],"category_scores_gemma":[0.01619775,0.0008104877,0.001314281,0.001358921,0.001934916,0.001908624,0.001676763,0.001524065,0.0005015473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001170797,"about_ca_system_score_gemma":0.002618457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005867213,"about_ca_topic_score_gemma":0.01164608,"domain_scores_codex":[0.9972659,0.000769824,0.0001563363,0.0003600743,0.001169919,0.0002778724],"domain_scores_gemma":[0.9805736,0.01620078,0.0007819539,0.001017203,0.001212718,0.000213801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007209243,0.0005395392,0.004780043,0.001006457,0.0001643047,0.00144515,0.0006772916,0.5215262,0.04241754,0.05518133,0.003915852,0.3676254],"study_design_scores_gemma":[0.0001625085,0.0002503221,0.000513494,0.00005326083,0.000107944,0.000150096,0.0001570158,0.9175482,0.02937567,0.04979651,0.0018516,0.00003352203],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04547626,0.0001389623,0.9447534,0.0001957981,0.0000391885,0.0002661237,0.0002083229,0.00508102,0.003840994],"genre_scores_gemma":[0.4460058,0.0001036992,0.5518357,0.00009564134,0.00002463193,0.0002806055,0.0003489277,0.0004490627,0.0008559314],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005867213,"threshold_uncertainty_score":0.01642483,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3176562981","doi":"10.1007/s10009-021-00625-z","title":"What can we monitor over unreliable channels?","year":2021,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Theory of computation; Programming language","authors":[{"name":"Sean Kauffman","is_ca":true},{"name":"Klaus Havelund","is_ca":false},{"name":"Sebastian Fischmeister","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03448311251912821,"gpt":0.3164275150670675,"spread":0.2819444025479393,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003809165,0.000665846,0.0006453625,0.0006991586,0.001196312,0.002940283,0.001382362,0.001680824,0.003437372],"category_scores_gemma":[0.03782776,0.0004317799,0.000391601,0.0005331913,0.002924509,0.01356773,0.001934963,0.002847914,0.0006673145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006059293,"about_ca_system_score_gemma":0.001471991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001882157,"about_ca_topic_score_gemma":0.001392118,"domain_scores_codex":[0.9979405,0.0006838862,0.00009647698,0.000288708,0.0006347225,0.0003558101],"domain_scores_gemma":[0.9721931,0.01533721,0.003375917,0.004476572,0.003322582,0.00129461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001186931,0.000313832,0.02687904,0.001329628,0.0004151514,0.001665835,0.003565175,0.07681611,0.02666321,0.476436,0.02260937,0.3621196],"study_design_scores_gemma":[0.0001048545,0.0002812739,0.002847107,0.0004197757,0.0004375949,0.0005966201,0.001712793,0.1848828,0.0250652,0.7418179,0.04167743,0.0001566178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.168188,0.004046325,0.7764888,0.02725239,0.001284106,0.0001371807,0.0001743576,0.003120447,0.0193083],"genre_scores_gemma":[0.9557661,0.001605964,0.03587279,0.001335394,0.000502583,0.00008282594,0.0000411245,0.0003144103,0.004478884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003809165,"threshold_uncertainty_score":0.02014506,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1975757993","doi":"10.1007/s10009-009-0098-1","title":"A low-level memory model and an accompanying reachability predicate","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Heap (data structure); Reachability; Programming language; Pointer (user interface); Separation logic; Predicate (mathematical logic); Predicate abstraction; Theoretical computer science; Model checking; Artificial intelligence","authors":[{"name":"Shaunak Chatterjee","is_ca":false},{"name":"Shuvendu K. Lahiri","is_ca":false},{"name":"Shaz Qadeer","is_ca":false},{"name":"Zvonimir Rakamarić","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04833891506085652,"gpt":0.3012249053209211,"spread":0.2528859902600645,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006505508,0.0007501335,0.0006123252,0.001035542,0.001081541,0.003931013,0.002651664,0.002675664,0.01612779],"category_scores_gemma":[0.001776376,0.0006777918,0.001287633,0.0008992039,0.002306186,0.007668429,0.002469069,0.002396934,0.002746732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001020664,"about_ca_system_score_gemma":0.001026944,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002051036,"about_ca_topic_score_gemma":0.002561235,"domain_scores_codex":[0.9993919,0.0001090834,0.00005105513,0.0001371478,0.0001619599,0.0001487924],"domain_scores_gemma":[0.9991698,0.0003528648,0.00006049235,0.0002701164,0.00009339389,0.00005334075],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000985949,0.00004419477,0.0001971455,0.0000878866,0.0000103707,0.0003414568,0.0001942074,0.0153592,0.006070465,0.9683141,0.001421207,0.007861319],"study_design_scores_gemma":[0.00007113811,0.00007754039,0.0001096926,0.00005511162,0.00007221448,0.0003284515,0.0001005353,0.1688149,0.01680977,0.7901699,0.02334506,0.00004567694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01830565,0.0002288391,0.9523381,0.0009765503,0.0001278983,0.0001042507,0.0007700284,0.003118507,0.02403023],"genre_scores_gemma":[0.6470113,0.0003896676,0.3301176,0.0004977637,0.0001546367,0.0004541051,0.000822642,0.0005707496,0.01998162],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01612779,"threshold_uncertainty_score":0.05395287,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2051066030","doi":"10.1007/s10009-013-0278-x","title":"Innovation and evolution in integrated web application testing with TTCN-3","year":2013,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Integration testing; Software engineering; Vendor; Web service; Web application security; Web application; Test strategy; Unit testing; Model-based testing; Conformance testing; Web development; World Wide Web; Test case; Operating system; Software","authors":[{"name":"Bernard Stépien","is_ca":true},{"name":"Liam Peyton","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02034142140810467,"gpt":0.2619502481418968,"spread":0.2416088267337921,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004626649,0.0003132393,0.0003498184,0.001389881,0.0005246559,0.001817713,0.001425303,0.0009551907,0.003439142],"category_scores_gemma":[0.01567254,0.0002249464,0.0004726528,0.001232639,0.0009349978,0.002169437,0.001527147,0.0008058382,0.0004377196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001224018,"about_ca_system_score_gemma":0.00243134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008655168,"about_ca_topic_score_gemma":0.007214841,"domain_scores_codex":[0.9966184,0.001126688,0.0001932026,0.000368596,0.00130686,0.0003862971],"domain_scores_gemma":[0.9862132,0.00680611,0.0009124151,0.002417896,0.003064476,0.0005858636],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001771699,0.002268287,0.1185583,0.0003444066,0.000146803,0.001166713,0.002293063,0.1542354,0.04493135,0.05068579,0.002613195,0.620985],"study_design_scores_gemma":[0.0001270601,0.0008375375,0.02623365,0.00008863927,0.0001332726,0.000725743,0.0004309033,0.9168039,0.03251311,0.01440969,0.007638002,0.00005844445],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7848582,0.000148196,0.1884905,0.0002594015,0.00005378086,0.000258659,0.0001783801,0.00361565,0.02213717],"genre_scores_gemma":[0.9169585,0.00003446003,0.07950777,0.00004172122,0.000007676242,0.00007451377,0.0002560269,0.0002221583,0.002897221],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008655168,"threshold_uncertainty_score":0.02446836,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4321242415","doi":"10.1007/s10009-023-00696-0","title":"Algorithm selection for SMT","year":2023,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Engineering Research","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Satisfiability modulo theories; Solver; Ranking (information retrieval); Pairwise comparison; Theory of computation; Selection (genetic algorithm); Domain (mathematical analysis); Theoretical computer science; Programming language; Algorithm; Artificial intelligence; Mathematics","authors":[{"name":"Joseph Scott","is_ca":true},{"name":"Aina Niemetz","is_ca":false},{"name":"Mathias Preiner","is_ca":false},{"name":"Saeed Nejati","is_ca":true},{"name":"Vijay Ganesh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02944465937477168,"gpt":0.3129909554441556,"spread":0.2835462960693839,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001777503,0.001046178,0.001243905,0.002049583,0.001008491,0.001261218,0.001361231,0.001661649,0.01142278],"category_scores_gemma":[0.007770849,0.0004912773,0.001438336,0.001461836,0.0004218472,0.001250549,0.001228161,0.001322957,0.003335926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005714404,"about_ca_system_score_gemma":0.001640369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001812368,"about_ca_topic_score_gemma":0.002668098,"domain_scores_codex":[0.9984714,0.000603558,0.0001151654,0.0002663817,0.0003947935,0.000148552],"domain_scores_gemma":[0.9970921,0.001797889,0.0001131518,0.0003253495,0.0005785848,0.0000928962],"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.0004718262,0.0001594916,0.0013979,0.000212223,0.0001624733,0.0002012159,0.00008259697,0.1767727,0.007116238,0.01086551,0.01157455,0.7909832],"study_design_scores_gemma":[0.00005367546,0.0001131464,0.0003151915,0.00001999298,0.00002942991,0.0001169985,0.00002264778,0.9840189,0.002805458,0.008907444,0.003588189,0.000008892874],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01327159,0.0004350317,0.9796636,0.0001980821,0.0001224255,0.0001175466,0.0001803527,0.002533878,0.003477603],"genre_scores_gemma":[0.2049641,0.0002444265,0.7855612,0.0002010881,0.0001599254,0.0003871113,0.001276634,0.0007850222,0.006420453],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01142278,"threshold_uncertainty_score":0.03821301,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4301181330","doi":"10.1007/s10009-022-00684-w","title":"Analysis of recurrent neural networks via property-directed verification of surrogate models","year":2022,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"Campus France; Universität zu Lübeck; Deutsche Forschungsgemeinschaft; Deutscher Akademischer Austauschdienst","keywords":"Recurrent neural network; Property (philosophy); Computer science; Robustness (evolution); Automaton; Counterexample; Artificial intelligence; Model checking; Artificial neural network; Algorithm; Theoretical computer science; Machine learning; Mathematics","authors":[{"name":"Igor Khmelnitsky","is_ca":false},{"name":"Daniel Neider","is_ca":false},{"name":"Rajarshi Roy","is_ca":false},{"name":"Xuan Xie","is_ca":true},{"name":"Benoît Barbot","is_ca":false},{"name":"Benedikt Bollig","is_ca":false},{"name":"Alain Finkel","is_ca":false},{"name":"Serge Haddad","is_ca":false},{"name":"Martin Leucker","is_ca":false},{"name":"Lina Ye","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02640946674467211,"gpt":0.2762155736869909,"spread":0.2498061069423188,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004775059,0.0008299035,0.0007961736,0.000807579,0.0004134353,0.001276935,0.00165899,0.0013166,0.002656629],"category_scores_gemma":[0.03341283,0.0005593544,0.001625324,0.0002607785,0.002576875,0.001972211,0.002040269,0.001735813,0.0002845784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001209691,"about_ca_system_score_gemma":0.001561756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001769911,"about_ca_topic_score_gemma":0.001700629,"domain_scores_codex":[0.9962585,0.001445164,0.0002067743,0.0005924396,0.001171551,0.0003255167],"domain_scores_gemma":[0.9767934,0.01600358,0.002074891,0.002816994,0.00202015,0.0002910112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001163632,0.00003980771,0.00187844,0.00009065754,0.00005456866,0.0002744865,0.0001039042,0.9285862,0.006778928,0.05475234,0.000238951,0.007085307],"study_design_scores_gemma":[0.000004639983,0.00002087133,0.00004697815,0.00000728353,0.000004781997,0.00001656029,0.000005363075,0.9838715,0.002261235,0.01366635,0.00009029517,0.000004182551],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06368891,0.00005560926,0.9337915,0.0001594809,0.00002577827,0.00005621788,0.0001029926,0.0008900533,0.001229426],"genre_scores_gemma":[0.937476,0.00004504648,0.06125459,0.00006144728,0.00001057531,0.0001091365,0.0001576109,0.0001567554,0.0007288713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004775059,"threshold_uncertainty_score":0.02525324,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2034321868","doi":"10.1007/s10009-002-0100-7","title":"Security by typing","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Soundness; Cryptographic protocol; Correctness; Type inference; Secrecy; Protocol (science); Cryptography; Theoretical computer science; Programming language; Theory of computation; Authentication protocol; Typing; Authentication (law); Inference; Computer security; Artificial intelligence","authors":[{"name":"Mourad Debbabi","is_ca":true},{"name":"Nancy Durgin","is_ca":false},{"name":"Mohamed Mejri","is_ca":true},{"name":"John C. Mitchell","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01826549152037574,"gpt":0.290743463193024,"spread":0.2724779716726482,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003245559,0.001545702,0.001659077,0.002438204,0.004941979,0.01001777,0.001811726,0.002895694,0.04722336],"category_scores_gemma":[0.01276866,0.001673981,0.00197937,0.00313686,0.004534291,0.01987376,0.008398284,0.007464694,0.02759971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001501282,"about_ca_system_score_gemma":0.001843922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008188008,"about_ca_topic_score_gemma":0.0006495233,"domain_scores_codex":[0.9935337,0.00151878,0.0008863387,0.00118801,0.002118494,0.0007545437],"domain_scores_gemma":[0.9879243,0.003223416,0.0003784642,0.006447117,0.00165182,0.0003747281],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001071744,0.00004817882,0.0004997908,0.0001653301,0.00002481755,0.0001501087,0.001186635,0.0004992684,0.001941104,0.8986563,0.0261983,0.0705229],"study_design_scores_gemma":[0.00002758519,0.00003506323,0.0001209147,0.000139373,0.00006135213,0.0003970175,0.0002392219,0.003262597,0.004693887,0.8094931,0.1814833,0.00004671035],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01297536,0.001127138,0.7876267,0.005664463,0.003687613,0.0002507329,0.0007680422,0.008827921,0.179072],"genre_scores_gemma":[0.3721089,0.002695477,0.2499077,0.002942245,0.00185457,0.0006338934,0.001767969,0.009927091,0.3581623],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04722336,"threshold_uncertainty_score":0.1579779,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396904796","doi":"10.1007/s10009-024-00748-z","title":"An Event-B model of an automotive adaptive exterior light system","year":2024,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Visibility; Theory of computation; Context (archaeology); Event (particle physics); Controller (irrigation); Key (lock); Real-time computing; Algorithm; Computer security","authors":[{"name":"Amel Mammar","is_ca":false},{"name":"Marc Frappier","is_ca":true},{"name":"Régine Laleau","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03258320893785447,"gpt":0.3255985377719546,"spread":0.2930153288341001,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004340184,0.0007404001,0.0004887414,0.0006392776,0.0006090805,0.002237346,0.001302937,0.001699584,0.01133411],"category_scores_gemma":[0.0007387865,0.0003868736,0.0008200763,0.0003198521,0.001008543,0.001237153,0.0009793796,0.0009435977,0.001269569],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001097484,"about_ca_system_score_gemma":0.001241252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02028716,"about_ca_topic_score_gemma":0.008328493,"domain_scores_codex":[0.9995745,0.00008875725,0.00002598707,0.0001048097,0.0001393463,0.00006673463],"domain_scores_gemma":[0.9996562,0.0001374805,0.00005154452,0.00004152373,0.00008248417,0.00003069949],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003992333,0.0001387693,0.001348219,0.0001905027,0.00006504836,0.001185379,0.0004796764,0.6603066,0.01827959,0.3069974,0.001620415,0.008989088],"study_design_scores_gemma":[0.0001227327,0.0000892111,0.0003369355,0.00002814008,0.00003866801,0.00009415581,0.00008036893,0.9426131,0.002969508,0.04653328,0.00706777,0.00002608625],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06721725,0.0002549702,0.8797522,0.0008598325,0.0001236843,0.000282532,0.001307016,0.002440203,0.04776218],"genre_scores_gemma":[0.9301528,0.0002459073,0.04931926,0.0001762095,0.00002914666,0.0003316335,0.0006025578,0.0001567419,0.01898578],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02028716,"threshold_uncertainty_score":0.04033816,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2025290054","doi":"10.1007/s10009-014-0305-6","title":"Quantitative and qualitative analysis of SysML activity diagrams","year":2014,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Systems Modeling Language; Correctness; Soundness; Model checking; Probabilistic logic; Theoretical computer science; Activity diagram; Programming language; Probabilistic CTL; Modeling language; Software engineering; Unified Modeling Language; Software; Artificial intelligence; Probabilistic analysis of algorithms","authors":[{"name":"Yosr Jarraya","is_ca":true},{"name":"Mourad Debbabi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06253671070161998,"gpt":0.3890180161623299,"spread":0.3264813054607099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004466987,0.0002649487,0.0001785083,0.00425449,0.0004803043,0.001594164,0.0004263544,0.0003151003,0.005782272],"category_scores_gemma":[0.02416565,0.0001605735,0.0003307027,0.001644866,0.0009006706,0.001009378,0.0005307609,0.0005832996,0.0004907561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001264681,"about_ca_system_score_gemma":0.00136033,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003106176,"about_ca_topic_score_gemma":0.003167534,"domain_scores_codex":[0.9948389,0.002130016,0.000260181,0.0002788033,0.002285972,0.0002060982],"domain_scores_gemma":[0.9390124,0.04589001,0.001825415,0.001540581,0.01124317,0.0004884857],"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.001859404,0.0007443286,0.05296796,0.003453317,0.0001211148,0.0008787132,0.03627567,0.03672201,0.2522443,0.1212399,0.006639872,0.4868535],"study_design_scores_gemma":[0.0001811047,0.001054659,0.1071104,0.0009600752,0.0001952901,0.001302076,0.02399987,0.4398548,0.3098808,0.05816945,0.05701806,0.0002734466],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.453446,0.0002708258,0.523208,0.0006610824,0.00007415859,0.0005805393,0.002454891,0.001768646,0.01753584],"genre_scores_gemma":[0.9256099,0.00009406038,0.0699905,0.00003872387,0.00001424081,0.0003014882,0.0007567449,0.0001209191,0.003073422],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005782272,"threshold_uncertainty_score":0.02362394,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2007472189","doi":"10.1007/s10009-009-0122-5","title":"An approach for estimating the time needed to perform code changes in business applications","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Business process modeling; Artifact-centric business process model; Computer science; Business Process Model and Notation; Business rule; Business process management; Business process discovery; Business process; Source code; Metric (unit); Competitive advantage; Process management; Task (project management); Business; Work in process; Programming language; Systems engineering; Marketing","authors":[{"name":"Brian Chan","is_ca":true},{"name":"King Chun Foo","is_ca":true},{"name":"L. D. Marks","is_ca":true},{"name":"Ying Zou","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02550414897938195,"gpt":0.307833557107728,"spread":0.2823294081283461,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001665498,0.001313052,0.0009255564,0.004580856,0.0007443374,0.001572199,0.00137645,0.001656929,0.002082707],"category_scores_gemma":[0.01375511,0.0007322445,0.001049073,0.002980224,0.0004436147,0.001849416,0.0008584583,0.001046465,0.0006650685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001690766,"about_ca_system_score_gemma":0.001844681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02116867,"about_ca_topic_score_gemma":0.01860914,"domain_scores_codex":[0.9978226,0.0003559459,0.0001568951,0.0005057251,0.0009757808,0.000183049],"domain_scores_gemma":[0.989969,0.006378615,0.001167047,0.0006553273,0.001552657,0.0002773977],"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.001085022,0.0005262064,0.04673962,0.0004540309,0.0003082922,0.0002615371,0.0005589568,0.3098896,0.03911318,0.006959275,0.001995213,0.5921091],"study_design_scores_gemma":[0.00003616323,0.0002941515,0.01125042,0.00002407861,0.0001013191,0.0001684834,0.000152365,0.9717665,0.01057526,0.003779146,0.001801519,0.0000505838],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.21134,0.001259117,0.7803951,0.0002028318,0.00009847463,0.0002435665,0.0007580674,0.002483717,0.003219045],"genre_scores_gemma":[0.5468384,0.0003588564,0.4494631,0.00004493804,0.00004455016,0.0001696056,0.0006221837,0.0001744629,0.002283903],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02116867,"threshold_uncertainty_score":0.04209095,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2085380106","doi":"10.1007/s10009-009-0117-2","title":"Approximating the safely reusable set of learned facts","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Theory of computation; Computer science; Set (abstract data type); Programming language; Theoretical computer science","authors":[{"name":"Domagoj Babić","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06439611653173218,"gpt":0.3409925668288614,"spread":0.2765964502971292,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001734445,0.0009395097,0.001083291,0.002325502,0.0006753799,0.002421304,0.002428354,0.001226179,0.006582409],"category_scores_gemma":[0.0235241,0.000804425,0.00148881,0.001357288,0.00173271,0.004361388,0.002729893,0.002137733,0.0006476988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001915979,"about_ca_system_score_gemma":0.002795186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00821059,"about_ca_topic_score_gemma":0.00744631,"domain_scores_codex":[0.9978606,0.0003485676,0.0001474964,0.0003441812,0.001032177,0.0002669786],"domain_scores_gemma":[0.9884642,0.007399805,0.0005876229,0.002010265,0.001251243,0.0002868355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006376084,0.0002162306,0.005514619,0.000340431,0.0001601914,0.0006056604,0.0003241115,0.6960092,0.004617433,0.1106158,0.002662887,0.1782958],"study_design_scores_gemma":[0.00003918654,0.00005686918,0.0003425591,0.00003639916,0.00003540864,0.00008659507,0.00005863899,0.8798763,0.002599121,0.1158811,0.000978,0.000009881468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2269769,0.0003653709,0.7632325,0.0005052008,0.00006759356,0.0001134767,0.0006874983,0.001353555,0.006697924],"genre_scores_gemma":[0.7751483,0.0004271098,0.2173716,0.0000971791,0.00004903959,0.0001461824,0.001634827,0.0003467796,0.004778968],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00821059,"threshold_uncertainty_score":0.02202034,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4385802534","doi":"10.1007/s10009-023-00714-1","title":"Publisher Correction: Algorithm selection for SMT","year":2023,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Vehicle Routing Optimization Methods","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Theory of computation; Computer science; Selection (genetic algorithm); Algorithm; Artificial intelligence","authors":[{"name":"Joseph Scott","is_ca":true},{"name":"Aina Niemetz","is_ca":false},{"name":"Mathias Preiner","is_ca":false},{"name":"Saeed Nejati","is_ca":true},{"name":"Vijay Ganesh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02441611369221025,"gpt":0.2934872561343329,"spread":0.2690711424421226,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004689871,0.002513889,0.002584654,0.005576381,0.00345529,0.005082667,0.003926994,0.004341996,0.1920172],"category_scores_gemma":[0.09478725,0.0011785,0.002421728,0.005390828,0.001681173,0.003510332,0.002314898,0.00723762,0.07946075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00329176,"about_ca_system_score_gemma":0.00503754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01010507,"about_ca_topic_score_gemma":0.01218546,"domain_scores_codex":[0.9929842,0.001613852,0.0009700962,0.001089084,0.002947772,0.0003951447],"domain_scores_gemma":[0.9325325,0.01264808,0.001670384,0.006933466,0.04504501,0.001170609],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005204216,0.000009859346,0.00009959495,0.0001747191,0.00003032418,0.000115968,0.00001843527,0.0005451475,0.0001320914,0.00328648,0.9750744,0.02046086],"study_design_scores_gemma":[0.0001326952,0.00007570913,0.001293567,0.0004318257,0.0001162177,0.0007383912,0.00007416595,0.01035341,0.002140292,0.01428259,0.970265,0.00009627232],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.0007591739,0.001380334,0.03320641,0.02546103,0.9115033,0.00009187239,0.004340394,0.006337506,0.01692003],"genre_scores_gemma":[0.05834415,0.004461487,0.1261988,0.02825408,0.2340557,0.000643287,0.01524243,0.02449556,0.5083045],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1920172,"threshold_uncertainty_score":0.6423615,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2622780030","doi":"10.1007/s10009-017-0461-6","title":"A qualitative assessment of $$\\alpha $$ α Rby in the perspective of the supervisory control theory","year":2017,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Parameterized complexity; Computer science; Alpha (finance); Perspective (graphical); Abstraction; Supervisory control theory; Theory of computation; Control (management); Supervisory control; Theoretical computer science; Rotation formalisms in three dimensions; Programming language; Artificial intelligence; Algorithm; Mathematics","authors":[{"name":"Maxime Routhier","is_ca":true},{"name":"Richard St‐Denis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06697194097679657,"gpt":0.3901902874634464,"spread":0.3232183464866498,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004933072,0.0002577065,0.0002466699,0.001694043,0.001209224,0.002941734,0.0006537358,0.0007317582,0.007913589],"category_scores_gemma":[0.01283612,0.0001422801,0.0002706762,0.001134867,0.005856156,0.002557334,0.00128042,0.0008870346,0.0004063896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0017766,"about_ca_system_score_gemma":0.001993662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002014892,"about_ca_topic_score_gemma":0.001475165,"domain_scores_codex":[0.9960005,0.00218405,0.0001279298,0.0001786956,0.001197639,0.0003111918],"domain_scores_gemma":[0.9871035,0.008664328,0.0007326221,0.000647556,0.002463278,0.0003886976],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001285142,0.00004700768,0.003382838,0.0004960311,0.00002326596,0.0003380097,0.02917431,0.005087049,0.006881047,0.9172657,0.00226806,0.03490813],"study_design_scores_gemma":[0.00006499483,0.0004957651,0.02051815,0.0008511608,0.00008384608,0.0007874774,0.1389087,0.04319528,0.01802189,0.6661609,0.1107682,0.0001434661],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3098485,0.001100427,0.3531451,0.006931814,0.0002439416,0.0004903789,0.000546446,0.0003349877,0.3273584],"genre_scores_gemma":[0.981931,0.000157654,0.01374723,0.0001058354,0.00001270282,0.0001315373,0.00006136543,0.00002352663,0.00382907],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007913589,"threshold_uncertainty_score":0.02647358,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2058806531","doi":"10.1007/s10009-002-0096-z","title":"Refinement-based formal verification with heterogeneous timing","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Asynchronous communication; Handshake; Theory of computation; Distributed computing; Transfer (computing); Formal verification; Synchronization (alternating current); Programming language; Parallel computing; Computer network","authors":[{"name":"Xiaohua Kong","is_ca":true},{"name":"R. Negulescu","is_ca":true},{"name":"Larry Weidong Ying","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03253096513669736,"gpt":0.2788244340699695,"spread":0.2462934689332722,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004245446,0.001272026,0.001182261,0.001399673,0.0006836763,0.001082277,0.002375769,0.00104013,0.003404998],"category_scores_gemma":[0.0128847,0.001169754,0.001883848,0.0007604148,0.002005673,0.002367779,0.002618006,0.001668667,0.0006820562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001033574,"about_ca_system_score_gemma":0.00126177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00435345,"about_ca_topic_score_gemma":0.004376089,"domain_scores_codex":[0.9950323,0.001646797,0.0003223621,0.0005749886,0.001985688,0.0004378651],"domain_scores_gemma":[0.9872032,0.007999747,0.0008274843,0.002626422,0.001228678,0.0001144824],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006898198,0.0001594719,0.001502569,0.0004491941,0.0001438444,0.0006996979,0.0004592263,0.7047525,0.04700984,0.1467084,0.0009557573,0.09646969],"study_design_scores_gemma":[0.0001214681,0.00008482289,0.000161259,0.00002927769,0.00007311165,0.00008039713,0.00001864209,0.9401279,0.02240313,0.03518741,0.001684397,0.00002810296],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009169018,0.00004460422,0.9888201,0.00002793663,0.0000245456,0.00006053055,0.00002909691,0.0009850132,0.0008391118],"genre_scores_gemma":[0.5841978,0.0001206575,0.4125696,0.00007440444,0.00002799751,0.0002079178,0.000154918,0.0005621709,0.002084675],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00435345,"threshold_uncertainty_score":0.02245235,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2050388183","doi":"10.1007/s10009-014-0326-1","title":"On piggyback runtime monitoring of object-oriented programs","year":2014,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; State (computer science); Object (grammar); Process (computing); Task (project management); Overhead (engineering); Code (set theory); Programming language; Theory of computation; Sequence (biology); Distributed computing; Operating system; Set (abstract data type); Artificial intelligence","authors":[{"name":"Sylvain Hallé","is_ca":true},{"name":"Jason Vallet","is_ca":true},{"name":"Raphaël Tremblay-Lessard","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01863011222700764,"gpt":0.2791466290072799,"spread":0.2605165167802723,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003951687,0.0009995598,0.001102627,0.001178656,0.0007697582,0.00157523,0.002043688,0.001180035,0.002318862],"category_scores_gemma":[0.01409354,0.0005626096,0.0007062508,0.0009040436,0.002014514,0.002734244,0.002280468,0.001711696,0.0003672918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008889613,"about_ca_system_score_gemma":0.0009725338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003424276,"about_ca_topic_score_gemma":0.002805763,"domain_scores_codex":[0.9966776,0.001243822,0.000155985,0.0003980442,0.001003238,0.0005213016],"domain_scores_gemma":[0.9883422,0.006177415,0.0007172709,0.003857248,0.0006646172,0.0002411546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.006178201,0.0009019451,0.02119403,0.0005641554,0.0002468097,0.00117945,0.001615603,0.1863436,0.07173074,0.0973738,0.009886917,0.6027848],"study_design_scores_gemma":[0.000148627,0.0005585477,0.002975457,0.00007907316,0.0001904027,0.000285349,0.0001296513,0.9041634,0.03628775,0.05137008,0.003766576,0.00004506832],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.255436,0.001033404,0.7223248,0.0007736958,0.0003307158,0.0001699014,0.0001012546,0.01381688,0.006013236],"genre_scores_gemma":[0.8986275,0.0003142476,0.09672028,0.0003611328,0.0001272414,0.00007304687,0.0001430366,0.0009432552,0.002690379],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003951687,"threshold_uncertainty_score":0.02089876,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2006124204","doi":"10.1007/s10009-011-0187-9","title":"Guest editors’ introduction to the special section from the international symposium on web systems evolution","year":2011,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta; Queen's University","funders":"","keywords":"Computer science; World Wide Web; Web development; Web modeling; Web service; Ajax; Web standards; Web API; Web engineering; The Internet; Mashup; Web page; Web application security","authors":[{"name":"Ying Zou","is_ca":true},{"name":"Ji Wu","is_ca":false},{"name":"Kenny Wong","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01379348881236924,"gpt":0.2256714390977617,"spread":0.2118779502853925,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003374991,0.002680611,0.002271131,0.003495535,0.001421876,0.005014996,0.002084065,0.004076236,0.02340769],"category_scores_gemma":[0.0105546,0.0007844779,0.002133828,0.001613423,0.0008542475,0.004484802,0.002471658,0.007569134,0.01585634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001138498,"about_ca_system_score_gemma":0.001204097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007871756,"about_ca_topic_score_gemma":0.002734006,"domain_scores_codex":[0.9977475,0.0003156569,0.000342965,0.0003979712,0.0009411955,0.0002548437],"domain_scores_gemma":[0.9903607,0.00208157,0.0008043182,0.0003440572,0.004872999,0.001536262],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003021127,0.00002616453,0.0001041129,0.0001484414,0.00001432059,0.00008415437,0.00001664351,0.00009075095,0.0002464207,0.0005633702,0.9741434,0.024532],"study_design_scores_gemma":[0.0000136264,0.0000437274,0.0004358786,0.0001598411,0.00003031154,0.0002694976,0.0000267417,0.0003245904,0.0002308851,0.0009612627,0.9974846,0.00001898692],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0001406815,0.01357727,0.002241874,0.02527569,0.9555403,0.00002058511,0.00007018396,0.0001177706,0.003015741],"genre_scores_gemma":[0.001563843,0.01454867,0.001414988,0.01765895,0.9354985,0.00005266622,0.0001655997,0.0002392401,0.02885746],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.02340769,"threshold_uncertainty_score":0.07830656,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4245891996","doi":"10.1007/s10009-011-0194-x","title":"Preface","year":2011,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Ubiquitin and proteasome pathways","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Theory of computation; Programming language","authors":[{"name":"Hana Chockler","is_ca":false},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03773029742407626,"gpt":0.2723309694881597,"spread":0.2346006720640835,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001150441,0.0008160119,0.0005282628,0.002865839,0.001996456,0.002487943,0.0009499554,0.0006931273,0.4767325],"category_scores_gemma":[0.01117576,0.0002130002,0.0004728893,0.001873587,0.0004419439,0.001846121,0.001847921,0.001902156,0.3009987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001501169,"about_ca_system_score_gemma":0.001951977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004315643,"about_ca_topic_score_gemma":0.004906704,"domain_scores_codex":[0.9993494,0.00008801447,0.00004043871,0.0001011857,0.0003714899,0.00004953633],"domain_scores_gemma":[0.9946543,0.0007939711,0.0001466269,0.0004506622,0.003271527,0.0006829088],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002333808,0.00001793849,0.00008316123,0.00006320819,0.0000015807,0.00003295462,0.00003881275,0.00005844464,0.0001179416,0.003394412,0.9489779,0.04719029],"study_design_scores_gemma":[0.000004069061,0.00001106706,0.0002366445,0.00006915013,0.00000164008,0.00003769468,0.00004449082,0.00003681776,0.0001145507,0.002806697,0.9966332,0.00000400804],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"editorial","genre_scores_codex":[0.002078354,0.007672427,0.015215,0.02748541,0.2541254,0.0006992662,0.0177599,0.00278612,0.6721781],"genre_scores_gemma":[0.006488405,0.003001945,0.00406912,0.004310646,0.0205323,0.000321663,0.01019914,0.00116172,0.9499151],"genre_candidate":"editorial","genre_consensus":null,"teacher_disagreement_score":0.4767325,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W376991050","doi":"10.1007/s100090100043","title":"A light-weight framework for hardware verification","year":2001,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Gas meter prover; Automated theorem proving; Mathematical proof; Correctness; Domain (mathematical analysis); Programming language; Theory of computation; Formal verification; Formal proof; Automated reasoning; Formal methods; Rule of inference; First-order logic; Theoretical computer science; Mathematics","authors":[{"name":"Christoph Kern","is_ca":true},{"name":"Tarik Ono-Tesfaye","is_ca":true},{"name":"Mark R. Greenstreet","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03967065511286106,"gpt":0.3275038002613074,"spread":0.2878331451484464,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002337891,0.001849702,0.001268936,0.002759942,0.001625839,0.003797317,0.004529206,0.001497217,0.01425562],"category_scores_gemma":[0.007351833,0.001525634,0.002504841,0.001592379,0.002841375,0.00741869,0.005219217,0.004229338,0.005992707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001144285,"about_ca_system_score_gemma":0.002237722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002466494,"about_ca_topic_score_gemma":0.004353058,"domain_scores_codex":[0.9964951,0.0006333168,0.0002394143,0.0005033573,0.001788311,0.000340674],"domain_scores_gemma":[0.9960539,0.001213249,0.0002091039,0.001889594,0.0004760511,0.0001580436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002173754,0.0001638155,0.000381454,0.000447888,0.00008722867,0.0002868171,0.0001854007,0.03206375,0.01334082,0.7206411,0.005796729,0.2263876],"study_design_scores_gemma":[0.00007681585,0.0001031559,0.0001105752,0.0001139667,0.0001337971,0.0001851845,0.0000405521,0.2033611,0.01023563,0.7439599,0.04162043,0.00005895823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008203771,0.0001263978,0.9953492,0.00008166968,0.00004159073,0.0000675707,0.00004033788,0.001670126,0.001802718],"genre_scores_gemma":[0.08731825,0.0005213226,0.903173,0.0002695031,0.0001556806,0.0003447311,0.0002472928,0.0009567057,0.007013551],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01425562,"threshold_uncertainty_score":0.0476898,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396932180","doi":"10.1007/s10009-024-00749-y","title":"Modeling of a speed control system using Event-B","year":2024,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Theory of computation; Event (particle physics); Control (management); Algorithm; Artificial intelligence","authors":[{"name":"Amel Mammar","is_ca":false},{"name":"Marc Frappier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04491269442905126,"gpt":0.331886861746553,"spread":0.2869741673175017,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004229477,0.0006973071,0.0005636638,0.000606236,0.0007077125,0.001599196,0.001288135,0.001123786,0.009582343],"category_scores_gemma":[0.0007870308,0.0003528506,0.0006637236,0.0003143049,0.000618322,0.00105937,0.0006527748,0.000693356,0.0009811855],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006089027,"about_ca_system_score_gemma":0.0009195234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01287482,"about_ca_topic_score_gemma":0.005136693,"domain_scores_codex":[0.9996228,0.00008488907,0.00002327836,0.0000812389,0.0001376277,0.00005019741],"domain_scores_gemma":[0.9996699,0.0001464943,0.00005475758,0.00003756642,0.00006714589,0.00002421024],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001572199,0.00007791096,0.0007381434,0.0001011925,0.00003326605,0.0002917673,0.000142274,0.9442994,0.007035381,0.03859132,0.0005654896,0.007966686],"study_design_scores_gemma":[0.00001956883,0.00003371396,0.0001024568,0.000005747079,0.00001054568,0.00002143466,0.000007804511,0.994125,0.001561147,0.002604591,0.001501747,0.000006221914],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04966168,0.0001337614,0.926953,0.0002387074,0.0001050511,0.0001950065,0.0003157597,0.00270498,0.01969193],"genre_scores_gemma":[0.9431696,0.0001624773,0.04561658,0.00005845453,0.00002328349,0.0001727714,0.0001614177,0.0001119071,0.01052354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01287482,"threshold_uncertainty_score":0.03205615,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1971429192","doi":"10.1007/s10009-002-0090-5","title":"A framework for distributing object-oriented designs","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Computer science; Object-oriented programming; Object-oriented design; Object (grammar); Software engineering; Theory of computation; Process (computing); Software; Programming language; Distributed computing; Artificial intelligence","authors":[{"name":"Karim El Guemhioui","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04186576725453212,"gpt":0.3245215446571229,"spread":0.2826557774025907,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006109862,0.001664469,0.001328693,0.003050943,0.0025384,0.006594634,0.004250171,0.002873995,0.01084018],"category_scores_gemma":[0.009523557,0.002269394,0.00283345,0.002547892,0.003195753,0.007990913,0.004958531,0.003571841,0.005065148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00158027,"about_ca_system_score_gemma":0.003060879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004282657,"about_ca_topic_score_gemma":0.006049334,"domain_scores_codex":[0.9966226,0.0007854397,0.0004112228,0.000404065,0.001498454,0.0002782225],"domain_scores_gemma":[0.9955983,0.001032552,0.0002653986,0.002160548,0.0006472098,0.0002959914],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001055188,0.0001772648,0.0007911012,0.0003011994,0.00007664994,0.0003130606,0.0009973636,0.01760406,0.005567786,0.7470789,0.01022861,0.2167586],"study_design_scores_gemma":[0.0001654674,0.0001429171,0.000276091,0.0003294004,0.0002065351,0.0005222798,0.0002343566,0.1511706,0.009676495,0.5920823,0.2450652,0.0001283482],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008008505,0.00005967702,0.9925812,0.00009490253,0.00004104926,0.0001069558,0.00003923206,0.004706521,0.001569474],"genre_scores_gemma":[0.01921546,0.0002357747,0.9730997,0.00007169782,0.00004144536,0.0002894684,0.0002505841,0.001229252,0.005566637],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01084018,"threshold_uncertainty_score":0.036264,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}