#PropertyBasedTesting

SWE-bench asks: can an AI fix a bug it already knows about? We asked something harder: can an AI find bugs it has never been told about — using property-based testing and nothing but API docs? Introducing PBT-Bench 🧵

The benchmark also shows how agents fail differently. Baseline: tests aimed at the wrong invariant (59%) or too-specific assertions (32%). PBT: over-filtering inputs with assume() (31%) or targeting the wrong value range (31%). Different failure modes → different fixes.

📄 Paper: 💻 Code: 🤗 Dataset: 🌐 Website: #MachineLearning #SoftwareTesting #PropertyBasedTesting

Our VP of Engineering, Fernanda Andrade, spoke on property-based testing at @LambdaDays. Honored to have John Hughes, creator of QuickCheck in Haskell, in the audience. Are your projects inspired by QuickCheck? #PropertyBasedTesting #QuickCheck #Haskell

Testing your Java with @ApacheGroovy, Spock, JUnit5, Jacoco, Jqwik and Pitest: #groovylang #propertybasedtesting #jacoco #mutatingtesting #coverage /CC @_pitest @spockframework @junitteam @jqwiknet

{ARTICLE} 💡 Découvrez comment minimiser les biais dans vos tests unitaires via le #PropertyBasedTesting dans l'article d'Emilio De Sousa 👉 À lire ici #data #tech #PBT

✍🏻 New blog post: „Property Based Testing With Typescript“ #testing #propertybasedtesting #TypeScript #Angular #jest #karma #mocha #softwaredevelopment #developer

#AdventOfPBT Day 4 🎅📅 Let's try another way to test our algorithms with #PropertyBasedTesting and #fastcheck in #JavaScript 😊 Today's topic will be to cover: detectCycleInLinkedList Subject: All other subjects: Thread ⬇️

Ya tenemos subida a nuestro canal de youtube la primera charla presencial de la comunidad de @MurciaDev sobre Property Based testing por @Bilki #scala #propertybasedtesting

Time to code! Today I blog about writing a Property Based Testing library from scratch at Agilogy's. Let's demystify the tools we use by coding one ourselves! #testing #propertybasedtesting #softwaredesign #code

Mercoledì abbiamo esplorato il #PropertyBasedTesting con Arialdo Martini🚀 Ci siamo chiesti: "Quanti test sono abbastanza test?" e abbiamo lavorato per decostruire vecchie abitudini, creando il nostro primo property test. Un bel workout per la mente💡 #TDD #PBT #devlife #techtips

#Snapshot and #PropertyBasedTesting are 2 concepts that could work together. Today for the #iOSDevs, I have the pleasure to present this article where I explain how I have achieved this creating funny #Swift libraries. Enjoy and share it! #Testing #UI 🧑‍💻

Excited about our closing Keynote: @swannodette, a NYC–based developer and musician. David will talk about #functional relational programming in the context of generative #PropertyBasedTesting of identities and assets on the #blockchain. You can't miss it!

Need help with #PropertyBasedTesting? @magdastozek and @mikolak_net are answering all your questions now at #AskTheExperts session @LambdaDays 🔥 #LambdaDays #programming

Advent of Code 2020 in F# 🎄 Day 13 A quick intro to #propertybasedtesting. Playing with infinite sequences for part 1. Finally admitting defeat and looking up a spoiler for part 2 because I SUCK AT MATHS 😅 Still fun though! #adventofcode #fsharp

5 parts article series about property-based testing in Kotlin + Java using KotlinTest + JUnit. Thanks for sharing!! #kotlin #testing #propertybasedtesting #viewmodel #androiddev @d_rawers Maybe worth mentioning:

@gdg_sydney thanks for the opportunity to present at #devfest19 ♥️ I know it's late 😀 but here's a write-up of my #kotlin talk:

Using FsCheck is a joy. The real feeling of having that safety net comes from when you deliberately create a bug to confirm your test is working and FsCheck comes back with the absolute perfect, minimal reproduction of that exactly repro.

For example, I've just been testing it to prove that optimistic concurrency checks have been implemented correctly in a system we're developing. Works like a charm. #fsharp #dotnet #propertybasedtesting #testing

Interesting use of FSCheck to show me the "simplest" input data that can pass a validation function. #fsharp #propertybasedtesting #unittesting

📺Les #tests de propriétés ou Property Based Testing vous ne connaissez pas encore ? Regardez la présentation de @Sir4ur0n Tests de propriétés : Écrivez moins de tests, trouvez plus de bugs #PropertyBasedTesting #Java #Haskell

Refactoring your codebase can be a daunting task. A daunting task that can be made a whole lot safer and more convenient by #propertybasedtesting with FSCheck. We've found the experience of using FSCheck a breeze. #fsharp #functionalprogramming

Thanks to all who checked out my #PropertyBasedTesting talk yesterday at #FOSSASIA Summit 2019 Presentation deck is now available on slideshare: #python #hypothesis #testing #bughunting #continuousintegration

Why on Earth would I test if I have to just "Let it cash"? Laura Castro @lauramcastro on Property-Based Testing #myElixirStatus #weBEAMtogether cc @TheErlef

It is "Let it cRash"!

Fixed: Why on Earth would I test if I have to just "Let it crash"? Laura Castro on Property-Based Testing #MyElixirStatus #WeBEAMTogether #PropertyBasedTesting