activity
20152026
most citedState Machine Mutation-based Testing Framework for Wireless Communication Protocols

6 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

cs.LO2026

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation

Priscilla Kyei Danso, Mohammad Saqib Hasan, Niranjan Balasubramanian +1

Propositional Linear Temporal Logic (LTL) is a popular formalism for specifying desirable requirements and security and privacy policies for software, networks, and systems. Yet ex…