@inproceedings{e44646a9453540e0be833f889a39c508,
title = "Type Checking for Reliable APIs",
abstract = "In this paper, we propose to configure at compiletime the checking associated with Application Programming Interfaces' methods that can receive possibly malformed values (e.g. erroneous user inputs and problematic retrieved recordsfrom databases) and thus cause application execution failures. To achieve this, we design a type system for implementing apluggable checker on the Java's compiler and find at compile timeinsufficient checking bugs that can lead to application crashesdue to malformed inputs. Our goal is to wrap methods whenthey receive external inputs so that the former generate checkedinstead of unchecked exceptions. We believe that our approachcan improve Java developers' productivity, by using exceptionhandling only when it is required, and ensure client applications'stability. We want to evaluate our checker by using it to verifythe source code of Java projects from the Apache ecosystem. Also, we want to analyze stack traces to validate the identifiedfailures by our checker.",
keywords = "application programming interfaces, exceptions, type systems",
author = "Maria Kechagia and Diomidis Spinellis",
year = "2017",
month = jun,
day = "30",
doi = "10.1109/WAPI.2017.5",
language = "English",
series = "Proceedings - 2017 IEEE/ACM 1st International Workshop on API Usage and Evolution, WAPI 2017",
publisher = "IEEE",
pages = "15--18",
booktitle = "Proceedings - 2017 IEEE/ACM 1st International Workshop on API Usage and Evolution, WAPI 2017",
address = "United States",
note = "1st IEEE/ACM International Workshop on API Usage and Evolution, WAPI 2017 ; Conference date: 23-05-2017",
}