Topic
Agentic and model-driven generation of software, and the question of what acceptance test — plausibility versus proof — governs generated code.
No current published clusters are mapped here yet.