MétaCan
Menu
Cohort builder

4,299,418 works, Canadian by any of four routes.

Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.

The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.

Search term
Author
Year range
Sort
Language
Type
Field
Venue
Topic
Software Testing and Debugging Techniques
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

996 results · 1 filter active ·
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
996 works in the cohort · of 4,299,418page 19 of 20

Labels cover 2 of 996 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.

Distilled predictions cover 996 of 996 works in this cohort. Predictions are machine_predicted_unvalidated. The Gemma side is a direct model label for every work (title-only); the Codex side is a distilled, calibrated classifier. Candidate is the union; consensus is the intersection.

aboutno affunlabeled
Workshop Summary
Xiaoyuan Xie, Pak‐Lok Poon, Laura Pullum
2019· article· en· ACM SIGSOFT Software Engineering Notes· Computer Science
machine prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
On Polyglot Program Testing
Philémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher
2024· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affunlabeled
deferred correction software
Benjamin Ong, Raymond J. Spiteri
2020· article· en· Zenodo (CERN European Organization for Nuclear Research)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Fuzzing OpenMP Compilers
2024· dissertation· en· UWSpace (University of Waterloo)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Mutation Testing for Industrial Robotic Systems
Marcela G. dos Santos, Sylvain Hallé, Fábio Petrillo
2025· article· en· Electronic Proceedings in Theoretical Computer Science· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
Successful Implementation of Protocol V
Kerry Brinkert
2006· article· en· JMU Scholoraly Commons (James Madison University)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
19 - A Comparison of the Specification Methods
Marc Frappier, Henri Habrias, Pascal Poizat
2006· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
venueno affunlabeled
Le modèle antarctique
2012· other· fr· Library and Archives Canada (Government of Canada)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
afffundno abstractunlabeled
On software testing reference ontologies
Maryam Havakeshian, Yvan Labiche
2025· article· en· Journal of Systems and Software· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Subgraph Identification
Reda Alhajj, Jon Rokne
2018· book-chapter· en· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affunlabeled
*J
Bruno Dufour, Laurie Hendren, Clark Verbrugge
2003· article· en· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
affunlabeled
ntegrating Formal Program Verification with Testing
Cyrille Comar, Johannes Kanig, Yannick Moy
2012· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
machine prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
APG 504 - Floating Heads
2022· other· en· Bulletin of Miscellaneous Information (Royal Gardens Kew)· Computer Science
machine prediction:candidate · insufficient_payloadconsensus · none
0
citations

How this was built: Screen · Findings · About