conftrace_

formal model

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

non-manual gesture (1) corpus-based analysis (1) behavioral coverage (1) grey-box fuzzing (1) scenario coverage (1) production rule (1) sign language (1) distributed system (1)

Papers

Feedback-guided Adaptive Testing of Distributed Systems Designs NSDI 2026 Extending AZee with Non-manual Gesture Rules for French Sign Language COLING 2024