The Application of Bayesian Network Model: Quantifying Riverine Flood Hazard in the Java Island

Provably Sound Nullness Analysis of Java Code

Null pointer dereferences in Java raise exceptions, occur often, are hard to debug and cost a lot of unnecessary effort and resources. Therefore, a lot of effort has been put in analyses spotting those null pointer dereferences. As developers rely on those analyses it is important that they are sound. However, proving null pointer analyses sound...

Creating an automation tool for customer journey experts at ING

ING wants to offer their customers the best experience possible. To achieve this goal, ING’s Customer Journey Experts (CJEs) constantly map and analyze the way customers use ING services in a Customer Journey Map. These maps however, are hard to share and collaborate on. ING needs an online tool in which they can, together with multiple people,...

Socio-Hydrology of Keduang Sub-basin in Central Java, Indonesia using case study approach: Understanding the relation between hydrology of Keduang sub-basin and social aspects using qualitative case study

Since coined in 2011, socio-hydrology studies have been dominated with mathematical models developed by mostly hydrologists, which often did not take social aspects into account so seriously. Some people argued that more attention into the social part of socio-hydrology should be given, because often the social aspects were too oversimplified....

Investigating deprecation misuse: A taxonomy, alternatives, controlled experiment, and experiment platform

Deprecation in Java is a language feature that allows API producers to mark program elements as obsolete. However, previous work has identified that this mechanism is co-opted to indicate another concept entirely: a misuse of deprecation. This leaves room for improvement because deprecation warning mechanisms do not fully describe the true...

Learning Off-By-One Mistakes: An Empirical Study on Different Deep Learning Models

Mistakes in binary conditions are a source of error in many software systems. They happen when developers use < or > instead of <= or >=. These boundary mistakes are hard to find for developers and pose a manual labor-intensive work. While researches have been proposing solutions to identify errors in boundary conditions, the problem...

Machine Learning for Software Refactoring: a Large-Scale Empirical Study

Refactorings tackle the challenge of architectural degradation of object-oriented software projects by improving its internal structure without changing the behavior. Refactorings improve software quality and maintainability if applied correctly. However, identifying refactoring opportunities is a challenging problem for developers and...

Comparing Code extraction from Agda to Java to existing Methods

Dependent programming languages such as Agda show a lot of promise in creating new ways of writing code, but currently suffer from a lack of support and features. In this paper we attempt to create a new back-end for Agda targeting Java which has a huge and thriving ecosystem.<br/><br/>We implement the new back-end for Agda in Haskell and we...

Phased Type Checker For Java: A Type Checker For a Subset of Java Built On Scope Graph Semantics

Traditional type-checking programs are typically designed for specific programming languages, re- sulting in complex and tightly coupled imperative implementations. One of the challenges faced by type checkers is ensuring consistent name-binding resolution in the presence of new names and sym- bols added to the environment. To address this issue...

Uncovering secrets of the Maven Repository: Java Build Aspects: An empirical analysis

The Maven Central Repository hosts over 11 million packages. As Maven itself is a build tool for Java, the majority of these packages are Java archives.<br/>This research aims to analyze these packages and look into various build aspects of these projects (the research questions): are Java modules used, what Java versions are used and how is the...

From Course to Online Learning Paths: Improving the Teacher's Experience of an Existing Online Node-link Course Tool

The online website Skill Circuits is a tool developed by teachers at the Delft University of Technology. Skill Circuits is an online learning tool that presents students with a node-link (i.e. a tree) structure where each node represents a skill, containing tasks that aim to teach the skill. The website aims to benefit teachers, by letting them...

An analysis of Java release practices on GitHub

This paper examines the release practices of Java Maven Repositories on GitHub. Most prior research in this vein has been done on Maven Central, the largest Maven package repository. However, GitHub hosts 15.5 million Java repositories, and is left untapped. Additionally of interest is the fact that GitHub provides a competitor to Maven Central,...