Wed 28 Oct 2015 10:00 - 10:45 at Woodlawn 1 - Demo1
Thu 29 Oct 2015 12:00 - 12:45 at Brighton 3-4 - Demo12
Fri 30 Oct 2015 12:00 - 12:45 at Brighton 3-4 - Demo20
Thu 29 Oct 2015 12:00 - 12:45 at Brighton 3-4 - Demo12
Fri 30 Oct 2015 12:00 - 12:45 at Brighton 3-4 - Demo20
Formal specifications for APIs help developers correctly use them and enable checker tools automatically verify their uses. However, formal specifications are not always available with released APIs. In this work, we demonstrate an approach for mining API preconditions from a large-scale corpus of open-source software. It considers conditions guarding API calls in client code as potential preconditions of the corresponding APIs. Then it uses consensus among a large number of API usages to keep the ones appearing in the majority. Finally, the mined preconditions are ranked based on their frequencies and reported to users.
Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 10:45 | |||
10:00 45mDemonstration | Consensus-based Mining of API Preconditions in Big Code Demos Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA |
Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Displayed time zone: Eastern Time (US & Canada) change
12:00 - 12:45 | |||
12:00 45mDemonstration | Consensus-based Mining of API Preconditions in Big Code Demos Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA |
Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Displayed time zone: Eastern Time (US & Canada) change
12:00 - 12:45 | |||
12:00 45mDemonstration | Consensus-based Mining of API Preconditions in Big Code Demos Hoan Nguyen Iowa State University, Robert Dyer Bowling Green State University, Tien N. Nguyen Iowa State University, Hridesh Rajan Iowa State University, USA |