Can Formal Specifications Be Synthesized from Tests Alone?

Tianhai Liu, Maximilian Müller, Tobias Hey +4

Formal specifications offer strong guarantees, but remain costly to write manually. Recent LLM-based approaches automate this by inferring specifications from source code, yet thei…