FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi. FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs. In 22nd IEEE/ACM International Conference on Mining Software Repositories, MSR@ICSE 2025, Ottawa, ON, Canada, April 28-29, 2025. pages 758-762, IEEE, 2025. [doi]

This author has not been identified. Look up 'Madhurima Chakraborty' in GoogleThis author has not been identified. Look up 'Peter Pirkelbauer' in GoogleThis author has not been identified. Look up 'Qing Yi' in Google

runs on WebDSL