10 citations · 13 across the 5 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023★ 1 cited
What Kinds of Contracts Do ML APIs Need?
Samantha Syeda Khairunnesa, Shibbir Ahmed, Sayem Mohammad Imtiaz +2
Recent work has shown that Machine Learning (ML) programs are error-prone and called for contracts for ML code. Contracts, as in the design by contract methodology, help document A…
cs.SE2019★ 2 cited
Inferring Concise Specifications of APIs
John L. Singleton, Gary T. Leavens, Hridesh Rajan +1
Modern software relies on libraries and uses them via application programming interfaces (APIs). Correct API usage as well as many software engineering tasks are enabled when APIs…
cs.SE2012★ 10 cited
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
Shin Hwei Tan, Darko Marinov, Lin Tan +1
This paper has been withdrawn by the author.