25 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.SE2025
Do AI models help produce verified bug fixes?
Li Huang, Ilgiz Mustafin, Marco Piccioni +3
Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic P…
cs.SE2012★ 25 cited
Contracts in Practice
H. -Christian Estler, Carlo A. Furia, Martin Nordio +2
Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to…