Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Property-based Testing

Showing: 49 courses
Microsoft

Writing Tests with F#

0 rewiews
Learn efficient F# testing techniques using Ionide, XUnit, and FSCheck. Explore basic and property-based testing methods to enhance your software development skills.
Add to list
7 Lesons
27 minutes
On-Demand
Free-Video
ChariotSolutions

Functions and Determinism in Property-based Testing - Lecture 9

0 rewiews
Explore property-based testing, its implementation, and advanced techniques. Learn to create robust test suites using generators, determinism, and invariants for more effective software validation.
Add to list
36 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Rust

Martin Hellspong - Using QuickCheck for Rust Porting: Lessons from a CPU Emulator Project

0 rewiews
Explore QuickCheck's role in porting a CPU emulator to Rust, addressing challenges, compiler issues, and language tradeoffs from a multi-language developer perspective.
Add to list
10 Lesons
26 minutes
On-Demand
Free-Video
Scala Days Conferences

Improve Your Tests with Property State-Machine Tests

0 rewiews
Discover property state-machine testing to validate system behavior over complete execution traces, enhancing critical system components beyond traditional code coverage.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
ACM SIGPLAN

Generating Well-Typed Terms That Are Not "Useless"

0 rewiews
Explore a novel algorithm for generating well-typed lambda terms that use their arguments effectively, improving random testing of functional language compilers.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
GOTO Conferences

The Verification of a Distributed System - A Practitioner's Guide to Increasing Confidence in System Correctness

0 rewiews
Explore techniques for verifying distributed systems, addressing challenges of partial failure and asynchrony to increase confidence in system correctness and reliability.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types

0 rewiews
Explore coverage types and their connection to Incorrectness Logic, integrating underapproximate reasoning within refinement type systems for enhanced program analysis and verification.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Merging Inductive Relations for Improved Program Specification

0 rewiews
Explore an algorithm for merging inductive relations, improving automatic generation performance and simplifying mechanized proofs in proof engineering tools like QuickChick for Coq.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Strange Loop Conference

Browser Testing Using Grammars and a Consensus Oracle

0 rewiews
Explore property-based testing for browser rendering using grammar-based generators and consensus oracles. Learn innovative techniques to identify and minimize failing test cases.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
NDC Conferences

The Lazy Programmer's Guide to Writing Thousands of Tests

0 rewiews
Discover property-based testing: a powerful technique to find edge cases, understand code behavior, and generate hundreds of tests with random inputs. Learn its benefits and implementation.
Add to list
22 Lesons
53 minutes
On-Demand
Free-Video
Devoxx

Property-Based Testing for Everyone

0 rewiews
Discover how property-based testing can simplify your test suite, reduce technical debt, and document business rules explicitly. Learn to find domain invariants and improve your design in Java.
Add to list
14 Lesons
49 minutes
On-Demand
Free-Video
Devoxx

Automating Resilience Testing with Docker and Property Based Testing

0 rewiews
Explore automated resilience testing using Docker and property-based testing to enhance system reliability against various failure modes and unexpected scenarios.
Add to list
10 Lesons
41 minutes
On-Demand
Free-Video
GOTO Conferences

Jepsen 9 - A Fsyncing Feeling

0 rewiews
Explore distributed systems correctness with Kyle Kingsbury as he applies property-based testing to databases, verifying their claims on data durability, isolated transactions, and read-write consistency.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
GOTO Conferences

Structure and Interpretation of Test Cases

0 rewiews
Explore effective unit testing strategies, from naming conventions to data-driven and property-based testing, using real-world examples to improve test structure and interpretation for better code quality.
Add to list
15 Lesons
46 minutes
On-Demand
Free-Video
Devoxx

Property Based Testing - Let Your Testing Library Work for You

0 rewiews
Explore property-based testing techniques to enhance software quality by automating test case generation and uncovering edge cases for more robust and reliable code.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
CppNow

Testing Battle.net - Before Deploying to Millions of Players

0 rewiews
Explore designing testable components in distributed systems, focusing on Battle.net's development. Learn practical strategies for structuring classes, ensuring correctness, and evaluating performance without full-scale deployment.
Add to list
55 Lesons
1 hour 16 minutes
On-Demand
Free-Video
PyCon US

Introduction to Property-Based Testing

0 rewiews
Discover property-based testing with Hypothesis, learn to write robust tests, and find real bugs. Hands-on experience in creating generalized tests for diverse scenarios.
Add to list
29 Lesons
1 hour 23 minutes
On-Demand
Free-Video
PyCon US

Testing Stochastic AI Models with Hypothesis

0 rewiews
Explore property-based testing for AI models using Hypothesis library, focusing on generating random edge cases and defining system properties and specifications.
Add to list
23 Lesons
25 minutes
On-Demand
Free-Video
PyCon US

Introduction to Property Based Testing

0 rewiews
Discover property-based testing with Hypothesis to write more robust and efficient tests. Learn to define input types, create generalized tests, and uncover hidden bugs in your Python code.
Add to list
1 Lesons
1 hour 24 minutes
On-Demand
Free-Video
PyCon US

Introduction to Property-Based Testing

0 rewiews
Discover property-based testing with Hypothesis to write more robust and effective tests. Learn to define input strategies, create generalized tests, and uncover hidden bugs in your Python code.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
EuroPython Conference

Will I Still Be Able to Get a Job in 2024 if I Don't Do TDD?

0 rewiews
Explore the future of Test Driven Development and related technologies in software engineering, examining their potential impact on job prospects and industry adoption by 2024.
Add to list
42 Lesons
47 minutes
On-Demand
Free-Video
EuroPython Conference

Testing with Two Failure Seeking Missiles - Fuzzing and Property Based Testing

0 rewiews
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.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
EuroPython Conference

API-Schema-Based Testing with Schemathesis

0 rewiews
Explore property-based API testing using schemathesis to automatically generate test scenarios from API schemas, enhancing test coverage and efficiency for web projects.
Add to list
18 Lesons
28 minutes
On-Demand
Free-Video
EuroPython Conference

Stop Writing Tests

0 rewiews
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.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
EuroPython Conference

Property-Based Testing the Python Way

0 rewiews
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.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
try! Swift Conference

Property-Based Testing with SwiftCheck

0 rewiews
Explore property-based testing with SwiftCheck to enhance unit tests, find edge cases, and validate code assumptions in Swift development.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
try! Swift Conference

Property-Based Test Beginning with SwiftCheck

0 rewiews
Explore property-based testing with SwiftCheck, a powerful technique for generating random input values to validate logical properties of functions in Swift development.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Scala Days Conferences

The Essence of Testing

0 rewiews
Explore the core principles of software testing, focusing on ScalaTest's evolution, propositional and predicate logic, and property-based testing advancements.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Scala Days Conferences

Testing in the Postapocalyptic Future

0 rewiews
Explore advanced testing techniques for complex logic, including property-based and mutation testing, to create robust test suites in Scala applications.
Add to list
26 Lesons
43 minutes
On-Demand
Free-Video
NDC Conferences

Testing in Python

0 rewiews
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.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
NDC Conferences

Domain Invariants & Property-Based Testing for the Masses

0 rewiews
Explore domain invariants and property-based testing to improve software design, reduce test-debt, and enhance communication with domain experts across various programming paradigms.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
NDC Conferences

Property Based Testing with Hypothesis

0 rewiews
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.
Add to list
14 Lesons
50 minutes
On-Demand
Free-Video
NDC Conferences

Breaking Your Code in New and Exciting Ways

0 rewiews
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.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Code Sync

Improve Your Tests with Makina - Property-Based Testing for Complex Systems

0 rewiews
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.
Add to list
6 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Covering All the Bases: Type-Based Verification of Test Input Generators

0 rewiews
Explore a novel type-based verification method for validating coverage in test input generators, enhancing property-based testing with underapproximate reasoning and refinement types.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Property-Based Testing: Climbing the Stairway to Verification - Lecture

0 rewiews
Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.
Add to list
12 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Generation and Refinement of Testing Models - Erlang 2023

0 rewiews
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.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Reflecting on Random Generation in Property-Based Testing

0 rewiews
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.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Etna: An Evaluation Platform for Property-Based Testing - Experience Report

0 rewiews
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.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Formal Specification and Testing for Reinforcement Learning

0 rewiews
Explore formal specification and testing methods for reinforcement learning applications, focusing on temporal difference methods and property-based testing using functional programming techniques.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing

0 rewiews
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Code Sync

osnap - Painless and Massive Regression Test Generation for OCaml

0 rewiews
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
Add to list
9 Lesons
21 minutes
On-Demand
Free-Video
NDC Conferences

Property-Based Testing

0 rewiews
Discover property-based testing: a powerful approach to ensure code correctness by specifying universal truths rather than relying on specific examples. Learn its benefits and real-world applications.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
NDC Conferences

Zen and the Art of Code Life Cycle Maintenance

0 rewiews
Explore software quality through tests, types, and analysis, drawing parallels to "Zen and the Art of Motorcycle Maintenance" to uncover key aspects and their interplay.
Add to list
36 Lesons
55 minutes
On-Demand
Free-Video
NDC Conferences

Property-Based Testing

0 rewiews
Introduction to property-based testing: its benefits, use cases, and real-world applications. Learn how to improve code reliability by specifying universal truths rather than relying on specific examples.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Code Sync

TypeCheck - Effortless Runtime Type Checking

0 rewiews
Explore runtime type-checking in Elixir with TypeCheck library. Learn its benefits, implementation, and advanced features for improved code clarity and resilience.
Add to list
6 Lesons
36 minutes
On-Demand
Free-Video
EuroPython Conference

Adventures in Not Writing Tests - Using Hypothesis for Code Validation

0 rewiews
Explore Hypothesis library for creating robust test inputs, focusing on edge cases. Learn to use Ghostwriting to generate tests from type hints, saving time and validating code.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Google TechTalks

Design is Testability - Understanding Software Testing Through Design Principles

0 rewiews
Explore software design's impact on testability, linking design concepts to testing strategies for effective automated testing in continuous integration systems.
Add to list
1 Lesons
1 hour 12 minutes
On-Demand
Free-Video
Association for Computing Machinery (ACM)

Tyche - Making Sense of Property-Based Testing Effectiveness

0 rewiews
Explore how property-based testing effectiveness impacts software quality through innovative analysis techniques and practical implementation strategies.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video