Prismatic
MCP Status GitHub vHSBHNR
Sign In
  • Intelligence
    Due Diligence OSINT Interactive Labs
    Ecosystem
    Apps Perimeter (EASM)
    Operations
    MCP Dashboard Ops Center Health Platform Health
  • Developer Hub Agents API Reference IDE
    Prompts LLM Tools Analytics
  • Academy Glossary Blog Investigations
    Blackboard
  • Living Intelligence System CPU System Memory System Storage
    Operations Analytics Latency Analytics
ESC

No results for ""

↑↓ navigate ↡ open esc close
Reconnecting…
Investigate
  • Dashboard
  • New Investigation
    • All Cases
    • DD Cases
    • OSINT Cases
    • Investigations
    • Entity Registry
    • Czech Entities
  • Evidence Graph
    • OSINT Tools
    • EU Providers
    • Google Dorks
  • Reports
Monitor
    • Assets
    • EASM Dashboard
    • Compliance
  • Breach Detection
  • Drift Detection
  • Activity Feed
Decide
  • Risk Dashboard
  • Decision Engine
  • DD Dataroom
  • Vendor Assessment
  • Market Intelligence
  • Analytics
Learn
  • Academy
  • Glossary
  • Simulation Lab
  • Prompt Library
System
    • Health
    • Observability
    • Telemetry
    • Command Center
    • Registry
    • Builder
    • Monitoring
    • Societies
    • MCP
    • DD Pipeline
    • Bulk Processing
    • Blackboard
    • Knowledge Graph
    • Prolog Engine
    • Hub
    • IDE
    • Prompt IDE
    • Ops Center
    • Mycelial
    • AutoEvolve
    • AutoHeal
    • Kernel
    • Adapters
    • Database
    • Routes
    • Settings
    • API
    • Quality Reports
Blog / Tag

Tag

#property-based

2 articles

← All articles
Engineering

Property-Based Testing for OSINT Parsers: Find the Bugs Your Examples Miss

Example-based tests prove your parser works on the inputs you thought of. Property-based tests prove it works on the inputs you didn't. Here's how Prismatic uses StreamData to harden 128 OSINT adapters.

Apr 09, 2026 Β· 7 min read Β· TomΓ‘Ε‘ Korcak (korczis)
testing property-based stream-data +2
Engineering

Property-Based Testing: Beyond Unit Tests in Elixir

Property-based testing generates hundreds of random inputs to verify invariants that must always hold. This article shows how the TACH doctrine mandates property tests for pure modules and how StreamData generators work.

Mar 15, 2026 Β· 10 min read Β· Prismatic Engineering
testing property-based exunit +2

Related tags

elixir 52 osint 21 architecture 20 compliance 11 due-diligence 11 security 11 phoenix 10 intelligence 10 otp 10 liveview 9 pipeline 8 performance 7 deployment 6 quality 6 czech 6 pubsub 6 nis2 6 ci-cd 6 api 6 evolution 6 umbrella 5 observability 5 doctrine 5 metrics 5

CONFIDENTIAL AND PROPRIETARY

Property of Prismatic Platform. Unauthorized distribution prohibited.

GHL License