Aug 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
v1.0.0 — Initial public release First release of leakcheck: a Python package that screens a reported classification result for the signature of synthetic over-sampling applied before the train/test split. This is the version intended for archival (Zenodo DOI) and for software-paper review. Install pip install -e ".[dev]" python -m pytest -q Runtime dependency: NumPy only. The trained model ships as src/leakcheck/model.json and is evaluated by a pure-NumPy tree walker, so scores do not change when scikit-learn does. Use import leakcheck r = leakcheck.check( f1=0.92, imbalance_ratio=5.2, n_minority=237, n_features=44, clf="RandomForest", ) print(r.probability, r.verdict) print(r.explain()) leakcheck --f1 0.92 --ir 5.2 --n-minority 237 --n-features 44 --clf RandomForest What's in this version Screening model fitted on 22,400 labelled leaked/honest pairs from 41 datasets, validated leave-one-dataset-out (AUC 0.795). CLI (leakcheck), batch screening (check_many), and selftest() fixtures that match scikit-learn to 1e-9. paper.md / paper.bib for the software paper. Code/04_export_model.py to refit and rewrite src/leakcheck/model.json from results/raw_results.csv. Code/analysis.ipynb and figures/fig05_diagnostic.png. Verdicts | Probability | Label | |---|---| | < 0.35 | unremarkable | | 0.35–0.65 | worth asking about | | ≥ 0.65 | likely leaked | A high probability is a prompt to ask where the resampler sits relative to the split. It is not a finding of error or misconduct. Requirements Python ≥ 3.9; numpy>=1.21. Optional: pandas (pip install 'leakcheck[table]'). License BSD 3-Clause.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.