Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Concolic Testing
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24252
posts in
404.4
ms
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
20h
🧪
Binary Fuzzing
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Formal
Methods
Practice and Theory
adacore.com
·
15h
·
Discuss:
Hacker News
✅
Formal Methods
CoRefine
: Confidence-Guided
Self-Refinement
for Adaptive Test-Time Compute
arxiv.org
·
1d
⚡
Incremental Computation
ABC-Bench
and the Real Test for AI
Engineers
: Can It Run End-to-End?
hackernoon.com
·
2d
⚡
Proof Automation
Testing software in the era of coding agents
garymm.org
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
14m
⚡
Proof Automation
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
⚔️
Lean Tactics
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Proving Grounds Linux Box
Extplorer
( Road to
OSCP
)
infosecwriteups.com
·
11h
🏠
Homelab Pentesting
rut
: A Python Test Runner That Skips
Unaffected
Tests
dev.to
·
3d
·
Discuss:
DEV
🐛
Fuzzing
Microsoft researchers
crack
AI
guardrails
with a single prompt
techradar.com
·
11h
💾
Persistence Strategies
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
#0182: The CTO Review: Using
Socratic
Dialog
with AI for Better Technical Decisions
matthewsinclair.medium.com
·
16h
⚔️
Lean Tactics
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
1h
·
Discuss:
Blogger
⚡
CPU Microarchitecture
TDD
Is Backwards: Why
Assertions
Should Come First in Disruptive Development
hackernoon.com
·
1d
🧪
Property-Based Testing
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
⚙️
TLA+
Cadence
heard
you wanted some AI in your AI so it used AI to design an AI chip
theregister.com
·
9h
🔧
Hardware Verification
SolarWinds
Web Help Desk
Exploitation
elastic.co
·
1d
🎫
Kerberos Exploitation
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
3d
·
Discuss:
DEV
🧪
Property-Based Testing
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