Hacker News
- Does your test suite account for weak transaction isolation? https://concerningquality.com/txn-isolation-testing/ 55 comments
Lobsters
- Does Your Test Suite Account For Weak Transaction Isolation? https://concerningquality.com/txn-isolation-testing/ 8 comments databases , testing
- Forward and Backward Reasoning in Proof Assistants https://concerningquality.com/proof-assistants-direction/ 5 comments formalmethods , math
- Most Tests Should Be Generated https://concerningquality.com/generated-tests/ 27 comments practices , testing
- Property-Based Testing Against a Model of a Web Application https://concerningquality.com/model-based-testing/ 3 comments testing , web
- Logical Time and Deterministic Execution https://concerningquality.com/logical-time-determinism/ 3 comments compsci , philosophy , plt , programming
- Efficient and Flexible Model-Based Testing https://concerningquality.com/model-based-testing-theory 8 comments formalmethods , testing
- The Case for Models https://concerningquality.com/models/ 23 comments formalmethods , philosophy , testing
- Extracting a Verified Interpreter from Isabelle/HOL https://concerningquality.com/semantics-extraction-isabelle/ 13 comments formalmethods , plt
- State Space Explosion: The Reason We Can Never Test Software to Perfection (2021) https://concerningquality.com/state-explosion/ 5 comments formalmethods , testing
- Property-Based Testing Against a Model of a Web Application https://concerningquality.com/model-based-testing/ 4 comments formalmethods , testing
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods https://concerningquality.com/verification-gap/ 17 comments formalmethods
- Misspecification: The Blind Spot of Formal Verification https://concerningquality.com/misspecification/ 3 comments formalmethods
- Compiling a Test Suite https://concerningquality.com/test-compilation/ 6 comments programminglanguages