🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧪 Property-Based Testing

QuickCheck, Input Generation, Hypothesis Testing, Test Refinement

Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·10h·
Discuss: DEV
⚡Performance Tools
What Is Wrong with Statement Coverage
bullseye.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Program Execution, follow-up
windowsir.blogspot.com·5h·
Discuss: www.blogger.com
⚡Performance Tools
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Understanding the Basics: What Is Unit Testing?
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
The Agent Testing Pyramid
rchaves.app·1h·
Discuss: Hacker News
🔍Concolic Testing
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·1d
🐛Fuzzing
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Xunit.v3, Testcontainers, and .NET
azan-n.com·2d·
Discuss: Hacker News
🐛Fuzzing
Regression Testing Services: What to Expect and What to Demand
belitsoft.com·1d·
Discuss: Hacker News
🔍Concolic Testing
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.org·1d
🧠Machine Learning
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·11h
📏Code Metrics
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
BNFGen: A random text generator based on context-free grammars
baturin.org·32m·
Discuss: Hacker News
🌳Context free grammars
Loading...Loading more...
AboutBlogChangelogRoadmap