Inferring Concise Specifications of APIs.

John L. Singleton Gary T. Leavens Hridesh Rajan David R. Cok

Published in: CoRR (2019)

Keyphrases

delay insensitive
lightweight
application developers
open source
formal specification
source code
specification language
real time
data mining
artificial intelligence
website
high level
expert systems
user interface
business applications