| The Expression Problem in Practice: A Trait-Based Testing Harness |
2025-03-25 |
| Chaos Testing stacks-node with Model-Based Stateful Testing |
2025-03-10 |
| Scaling Model-Based Stateful Testing with madhouse-rs |
2025-02-10 |
| Model-Based Stateful Testing with proptest-state-machine |
2025-01-10 |
| The Expression Problem, with Counters |
2024-12-10 |
| Model-Based Stateful Testing with madhouse-rs |
2024-12-01 |
| Fuzzing meets property testing |
2023-12-15 |
| Property-based testing in Rust and Go |
2023-12-01 |
| Coverage-guided fuzzing in Rust and Go |
2023-11-15 |
| Why fuzzing still matters in memory-safe languages |
2023-11-01 |
| Fuzzing in Memory-Safe Languages |
2023-10-15 |
| Wrap-Up: An Input Coverage Playbook |
2023-08-11 |
| Appendix: Commands, Flags, And Gotchas |
2023-08-04 |
| Appendix: Varint Shift Bug |
2023-07-21 |
| AFL++, Original AFL, And When To Care |
2023-07-14 |
| CI, Seeds, And Corpora Hygiene |
2023-06-30 |
| Mocking I/O To Go Faster |
2023-06-23 |
| Arbitrary Models vs Raw Bytes |
2023-06-09 |
| From Crash To Test |
2023-06-02 |
| One Function To Fuzz Them All |
2023-05-19 |
| Panics Are Not Crashes |
2023-05-12 |
| Fuzzing The CSV CLI With AFL++ |
2023-04-28 |
| Enterprise Case 2: CSV Import CLI, Unbounded Header |
2023-04-21 |
| Fuzzing The Money Parser With libFuzzer |
2023-04-07 |
| Enterprise Case 1: Money Parser, Unicode Minus |
2023-03-31 |
| Minimal Fuzzing Without The Pain |
2023-03-17 |
| Property Tests Are Not A Fuzzer |
2023-03-03 |
| Heterogeneous test-suites |
2023-02-27 |
| The Case For Input Coverage |
2023-02-24 |
| Input Coverage > Code Coverage (Series Index) |
2023-02-17 |
| Invariant testing from Clarity |
2023-02-13 |
| Invariant testing from TypeScript |
2023-02-06 |
| Invariant testing from command-line |
2023-01-30 |
| Picking up a Clarity contract |
2023-01-23 |
| Pandora |
2023-01-16 |
| Clarity model-based testing primer |
2022-03-15 |
| Clarity property-based testing primer |
2022-03-05 |
| Clarity Control flow & error handling - asserts! |
2022-02-10 |
| Clarity "Hello, World!" deployed on Stacks |
2022-01-28 |
| Clarity reference - Part 2 / Data-Space Primitives |
2022-01-17 |
| Clarity reference - Part 1 / Primitivess |
2022-01-04 |
| Clarity syntax definitions for Sublime Texts |
2021-12-23 |
| The rhyme of the altered Parser |
2020-03-30 |
| Fantomas F# formatter in Visual Studio 2019 |
2020-03-01 |
| Top ten desired Haskell language extensions |
2018-02-02 |
| Setting up an Ubuntu environment |
2018-01-31 |
| Crypto-notes |
2017-11-25 |
| Less fragmented properties with Hedgehog |
2017-04-10 |
| Property-based testing becomes easier with Hedgehog |
2017-04-09 |
| Write you some QuickCheck - Properties that hold under certain conditions |
2016-06-13 |
| Write you some QuickCheck - Properties |
2016-05-27 |
| Atom + Stack = no globally installed GHC/packages |
2016-05-19 |
| Write you some QuickCheck - Shrinking lists |
2016-04-10 |
| Creating F# lists with AutoFixtures |
2016-04-03 |
| Write you some QuickCheck - Shrinking numberss |
2016-03-17 |
| Write you some QuickCheck - Generating random floatss |
2016-02-25 |
| Write you some QuickCheck - Generating random strings |
2016-02-22 |
| Write you some QuickCheck - Generating random listss |
2016-02-19 |
| Write you some QuickCheck - Generating random long integers |
2016-02-17 |
| Write you some QuickCheck - Generating random integers |
2016-02-13 |
| Write you some QuickCheck - Generating random booleans |
2016-02-12 |
| Write you some QuickCheck - Generating random characters |
2016-02-11 |
| Write you some QuickCheck - Generating random bytes |
2016-02-10 |
| Write you some QuickCheck - Prelude |
2016-02-09 |
| Short intro to QuickCheck |
2016-02-09 |
| Write you some QuickCheck |
2016-02-08 |
| Those pesky build servers |
2015-10-08 |
| Regex-constrained strings with FsCheck |
2015-09-25 |
| F# on Emacs with Spacemacs |
2015-04-25 |
| Setting up Haskell on Windowss |
2015-04-15 |
| Observing the size of generated test data |
2015-03-21 |
| Generators and the 'choose' function |
2015-02-21 |
| FsCheck setup in F# |
2015-02-08 |
| QuickCheck setup in Haskell |
2015-01-30 |
| Why QuickCheck can be useful |
2015-01-29 |
| Tweaking Sublime Text themes to take advantage of Retina displays |
2015-01-06 |
| In-memory Drain abstractions applied to A Functional Architecture with F# |
2014-07-28 |
| GitHub README layouts |
2014-06-01 |
| AutoFixture via Edge.js sample adapter-functions |
2014-05-19 |
| Mountebank Stubs with F# |
2014-05-02 |
| Mountebank Mocks with F# |
2014-04-22 |
| Idioms.FsCheck |
2014-03-25 |
| How to configure AutoFoq with Foq's return strategy |
2014-02-23 |
| Levels of open-source code |
2014-02-13 |
| Semantic Equality Comparison in F# |
2013-12-07 |
| Auto-Mocking with Foq and AutoFixture |
2013-10-19 |
| How to configure MSBuild to locate the F# build targets |
2013-10-04 |
| How to enable Code Analysis for F# projects |
2013-09-08 |
| The GitHub way of blog discussion and commenting |
2013-04-28 |
| Hackers, Developers, Programmers |
2013-04-18 |
| XCOPY deployment for Code Contracts |
2013-03-04 |
| Compiling .NET projects in Sublime Text |
2013-02-07 |
| Commit to Revision Control with Care |
2013-01-01 |
| Empty ASP.NET Web API Project Template |
2012-11-02 |
| Exercising the SUT asynchronously |
2012-10-28 |
| Truly Constrained Non-Deterministic Numbers in AutoFixtures |
2012-10-08 |
| Statement Completion for Dynamic languages in Sublime Text |
2012-10-05 |
| AutoFixture, xUnit.net, and Auto Mocking |
2012-07-31 |
| Composite xUnit.net Data Attributes |
2012-07-27 |
| Web API Dependency Resolver with Castle Windsor's Scoped Lifetimes |
2012-07-16 |
| Web API Dependency Resolver with Castle Windsor (Part 2) |
2012-06-04 |
| URI support in AutoFixture |
2012-04-19 |
| Web API Dependency Resolver with Castle Windsor |
2012-03-16 |
| Dynamic Proxy overriding Equals in AutoFixture Likeness |
2012-02-20 |
| Auto-Mocking with FakeItEasy and AutoFixture |
2011-12-14 |
| RegularExpressionAttribute support in AutoFixture |
2011-12-11 |
| Fare - Finite Automata/Regex in .NET |
2011-11-24 |
| Notes from porting Java code to .NET |
2011-11-19 |
| Using class libraries from different platforms |
2011-10-11 |
| StringLengthAttribute support in AutoFixture |
2011-09-18 |
| RangeAttribute support in AutoFixture |
2011-09-13 |
| Heuristics for Static Factory Methods in AutoFixture |
2011-08-25 |
| Combining Data Theories in AutoFixture.Xunit extension |
2011-08-25 |
