| | Branch Coverage Won't Prove the Collatz Conjecture (concerningquality.com) |
| 1 point by PaulHoule 4 months ago | past |
|
| | Branch Coverage Won't Prove the Collatz Conjecture (concerningquality.com) |
| 2 points by Bogdanp 4 months ago | past |
|
| | Simulating Some Queues (concerningquality.com) |
| 3 points by thunderbong 7 months ago | past |
|
| | Bug Bash 2025 conference writeup (concerningquality.com) |
| 5 points by wwilson 7 months ago | past | 1 comment |
|
| | Branch Coverage Won't Prove the Collatz Conjecture (concerningquality.com) |
| 1 point by amw-zero 10 months ago | past |
|
| | State Space Explosion: The Reason We Can Never Test Software to Perfection(2021) (concerningquality.com) |
| 10 points by thunderbong 10 months ago | past | 1 comment |
|
| | Simulating Some Queues (concerningquality.com) |
| 1 point by amw-zero 11 months ago | past |
|
| | Controlling Nondeterminism in Model-Based Tests with Prophecy Variables (concerningquality.com) |
| 1 point by todsacerdoti 11 months ago | past |
|
| | Does your test suite account for weak transaction isolation? (concerningquality.com) |
| 86 points by todsacerdoti on Jan 4, 2024 | past | 55 comments |
|
| | Forward and Backward Reasoning in Proof Assistants (concerningquality.com) |
| 3 points by todsacerdoti on Oct 4, 2023 | past |
|
| | Compiling a Test Suite (concerningquality.com) |
| 2 points by g0xA52A2A on Sept 2, 2023 | past |
|
| | Compiling a Test Suite (concerningquality.com) |
| 1 point by todsacerdoti on Aug 23, 2023 | past |
|
| | Most Tests Should Be Generated (concerningquality.com) |
| 2 points by signa11 on July 3, 2023 | past |
|
| | Logical Time and Deterministic Execution (concerningquality.com) |
| 1 point by sealeck on March 1, 2023 | past |
|
| | Logical Time and Deterministic Execution (concerningquality.com) |
| 19 points by todsacerdoti on March 1, 2023 | past |
|
| | Efficient and Flexible Model-Based Testing (concerningquality.com) |
| 3 points by todsacerdoti on Feb 1, 2023 | past |
|
| | The Case for Models (concerningquality.com) |
| 5 points by amw-zero on Dec 12, 2022 | past |
|
| | Extracting a Verified Interpreter from Isabelle/HOL (concerningquality.com) |
| 4 points by todsacerdoti on Sept 21, 2022 | past |
|
| | Domain-Driven Test Data Generation: A Category-Partition Method and Property-Ba (concerningquality.com) |
| 3 points by todsacerdoti on Aug 31, 2022 | past |
|
| | State Space Explosion: The Reason We Can Never Test Software to Perfection (202 (concerningquality.com) |
| 3 points by todsacerdoti on Aug 23, 2022 | past |
|
| | Property-Based Testing Against a Model of a Web Application (concerningquality.com) |
| 3 points by todsacerdoti on Aug 11, 2022 | past |
|
| | The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods (concerningquality.com) |
| 4 points by todsacerdoti on July 13, 2022 | past |
|
| | Refinement: Formalizing the Simplicity Underneath Complex Programs (concerningquality.com) |
| 2 points by todsacerdoti on Nov 30, 2021 | past |
|
