Fri 9 Nov 2018 10:30 - 11:00 at Spring Lake - Morning Talks Chair(s): Gary Leavens

The preconditions of an API method are constraints on the states of its
receiver object and arguments intended by the library designer(s) to
correctly invoke it in the client code. There have been two main kinds of
approaches for automatically inferring API preconditions. The first kind of
approaches mines the frequently checked conditions guarding the API usages in
the client code and generalize them into preconditions. The second kind of
approaches analyzes the implementation of the API to compute preconditions.

In this paper, we report an observation that the usage-based approach often
produces preconditions stronger than those intended while the implementation-based
produces weaker ones. Our finding calls for a new direction of
integrating those kinds of precondition inference approaches and refinement
solutions to reduce the differences between sets of inferred preconditions.

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Morning TalksWASPI at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
10:30
30m
Talk
Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions
WASPI
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
11:00
30m
Talk
Contract Discovery from Black-Box Components
WASPI
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
11:30
30m
Talk
Automated Generation of Creative Software Requirements: A Data-Driven Approach
WASPI
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University