conftrace_

behavioral coverage

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

grey-box fuzzing (1) scenario coverage (1) formal model (1) text-based environment (1) large language model (1) environment dynamics (1) distributed system (1) world model (1) reinforcement learning (1)

Papers

Feedback-guided Adaptive Testing of Distributed Systems Designs NSDI 2026 From Word to World: Can Large Language Models be Implicit Text-based World Models? ACL 2026