References - ligurio/openbsd-tests GitHub Wiki
Another Path for Software Quality? Automated Software Verification and OpenBSD -- Moritz BuhlVisualization of Regression and Performance by Alexander Bluhm Video , Slides
Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development - Jukka Ruohonen, Kalle RindellContracts in OpenBSD - Murat TorlakcikMeasuring Performance on OpenBSD Continuous Integration made by Alexander Bluhm (bluhm@)Alexander Bluhm - Visualization of Regression and Performance
Fuzzing the OpenBSD Kernel - Anton Lindqvist (slides )
Measuring Performance on OpenBSD - Alexander Bluhm (slides , video )
OpenBSD Testing Infrastructure Behind bluhm.genua.de - Jan Klemkow, EuroBSDcon 2017Evaluating implementations of SSH by means of model-based testing - Erik BossBPF and formal verification -
Michael McConville (Source code )System Test Suites - Undeadly, 2003afl-fuzz - American Fuzzy Lop - Undeadly, 2015Finding Predictors of Field Defects for Open Source Software Systems in Commonly Available Data Sources: a Case Study of OpenBSD - Paul Luo Li, Jim Herbsleb, Mary Shaw
Forecasting Field Defect Rates Using a Combined Time-based and Metrics-based Approach: a Case Study of OpenBSD - Paul Luo Li, Jim Herbsleb, Mary Shaw
Are all BSDs created equally? A survey of BSD kernel vulnerabilites. - Ilja van SprundelFuzzing the OpenSSH daemon using AFL Using OpenBSD Security Features to Find Software Bugs - Peter ValchevWriting Exploit-Resistant Code with OpenBSD - Lawrence TeoОбеспечение качества в проекте OpenBSD
🗂️ Page Index for this GitHub Wiki