Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Test DSLs
Scenario Testing, BDD, Domain-Specific Testing, Test Automation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185048
posts in
9.6
ms
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
Configuration Validation
MIST-RL
:
Mutation-based
Incremental Suite Testing via Reinforcement Learning
arxiv.org
·
7h
🎲
Test Generators
A Practical Guide to
Manual
Testing
Techniques
and Their Future
dev.to
·
10h
·
Discuss:
DEV
🎲
Property Testing
DSLs
for
functional
testing
thoughtworks.com
·
3d
🧪
Compiler Testing
SASE
testing:
Exploring
next generation network defense
datacenterdynamics.com
·
2h
🔐
Capability Protocols
Towards the
Systematic
Testing of Regular
Expression
Engines
arxiv.org
·
7h
🧪
Parser Testing
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
17h
🧪
Parser Testing
Building an Open-Source
Verilog
Simulator with AI:
580K
Lines in 43 Days
normalcomputing.com
·
10h
·
Discuss:
Hacker News
💓
Live Variable Analysis
Show HN:
Spec-shaker
– "Chaos engineering" for tests via semantic
mutation
github.com
·
4h
·
Discuss:
Hacker News
🎲
Test Generators
The
Mirror
World Protocol: Why A/B Testing is
Obsolete
pub.towardsai.net
·
23h
📡
Protocol Buffers
Built
Testream
- A Better Alternative for
Jira
Test Management
dev.to
·
1d
·
Discuss:
DEV
🚂
Cranelift IR
RalphMAD
– Autonomous SDLC Workflows for Claude Code (
BMAD
and Ralph Loop)
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🎭
Program Synthesis
Augustus
: Open-Source LLM Prompt
Injection
Tool
praetorian.com
·
8h
·
Discuss:
Hacker News
🛡️
Parser Security
VeriBin
: Adaptive Verification of
Patches
at the Binary Level
papers.cool
·
1d
🎯
Symbolic Execution
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
19h
📈
Monotonic Logic
Code
Rewriting
With AI and
TDD
dzone.com
·
1d
🚚
Code Migration
What are the Top 10 AI Testing Companies in the USA in 2026
blog.qasource.com
·
19h
🎲
Property Testing
PropertyGPT
: LLM-driven
Formal
Verification of Smart Contracts through Retrieval-Augmented Property Generation
papers.cool
·
1d
🎲
Property Testing
Downstream
Testing
nesbitt.io
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Verilog
Testbench
Essentials
hackster.io
·
1d
💓
Live Variable Analysis
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help