All Stories

  1. Can Formal Specifications Be Synthesized from Tests Alone?

    Article • October 2026, ACM (Association for Computing Machinery)

    Anne Koziolek, Tianhai Liu