Testing with Two Failure Seeking Missiles - Fuzzing and Property Based Testing
Explore advanced testing techniques using Hypothesis for property-based testing and American fuzzy lop for fuzzing, enhancing code coverage and uncovering hidden bugs in Python applications.
API-Schema-Based Testing with Schemathesis
Explore property-based API testing using schemathesis to automatically generate test scenarios from API schemas, enhancing test coverage and efficiency for web projects.
Stop Writing Tests
Explore next-generation tools for automating test case selection, test writing, and continuous testing. Learn about property-based testing, code introspection, and adaptive fuzzing to enhance your testing workflow.
Property-Based Testing the Python Way
Explore property-based testing with Hypothesis in Python, comparing it to traditional approaches and learning when to apply this powerful technique for more robust software testing.
Property-Based Testing with SwiftCheck
Explore property-based testing with SwiftCheck to enhance unit tests, find edge cases, and validate code assumptions in Swift development.
Property-Based Test Beginning with SwiftCheck
Explore property-based testing with SwiftCheck, a powerful technique for generating random input values to validate logical properties of functions in Swift development.
The Essence of Testing
Explore the core principles of software testing, focusing on ScalaTest's evolution, propositional and predicate logic, and property-based testing advancements.
Testing in the Postapocalyptic Future
Explore advanced testing techniques for complex logic, including property-based and mutation testing, to create robust test suites in Scala applications.
Testing in Python
Explore Python testing tools, from basic unittest to advanced techniques like mutation and property-based testing. Learn essential skills for both novice and experienced developers.
Domain Invariants & Property-Based Testing for the Masses
Explore domain invariants and property-based testing to improve software design, reduce test-debt, and enhance communication with domain experts across various programming paradigms.
Property Based Testing with Hypothesis
Explore property-based testing with Hypothesis to efficiently catch bugs and improve software quality. Learn techniques for specifying general properties and leveraging automated exploration of code boundaries.
Breaking Your Code in New and Exciting Ways
Explore property-based testing in C# and F# using FsCheck, learning how to generate input values that challenge your code's expected properties and behavior.
Improve Your Tests with Makina - Property-Based Testing for Complex Systems
Explore Makina, a new Elixir library for efficient property-based testing of complex systems like Ethereum smart contracts, featuring improved error detection and code reuse.
Covering All the Bases: Type-Based Verification of Test Input Generators
Explore a novel type-based verification method for validating coverage in test input generators, enhancing property-based testing with underapproximate reasoning and refinement types.
Property-Based Testing: Climbing the Stairway to Verification - Lecture
Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.
Generation and Refinement of Testing Models - Erlang 2023
Explore Faktory, an Elixir tool for generating property-based testing models from function specifications and contracts. Learn to improve test-case generation and refine models for various applications.
Reflecting on Random Generation in Property-Based Testing
Explore reflective generators as a new foundation for random data generation, unifying and enhancing existing techniques for property-based testing, shrinking, and mutation in programming.
Etna: An Evaluation Platform for Property-Based Testing - Experience Report
Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.
Formal Specification and Testing for Reinforcement Learning
Explore formal specification and testing methods for reinforcement learning applications, focusing on temporal difference methods and property-based testing using functional programming techniques.
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
osnap - Painless and Massive Regression Test Generation for OCaml
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.