Can I read Automating Formal Specification Extraction on EtoBox?
Automating Formal Specification Extraction by aaditya1gole is a document available to read on EtoBox.
What is Automating Formal Specification Extraction about?
The document discusses the challenges of extracting formal specifications from software documents for automated testing, highlighting the reliance on manual analysis which is time-consuming and error-prone. It explores the potential of Large Language Models (LLMs) in automating this process, presenting an empirical study that evaluates their capabilities and identifies limitations such as oversimplification and fabrication of specifications. A novel two-stage method, annotation-then-conversion, is proposed
- Author
- aaditya1gole
- Language
- EN