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...

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...

Extending Project Lombok to improve JUnit tests

In this thesis, we look at unit and integration test suites and look for ways to improve the quality of the tests. The first step in this research is the development of the JUnitCategorizer tool to distinguish between unit tests and integration tests. JUnitCategorizer determines the actual class under test using a new heuristic and ultimately...

Schoolyard

Final report for the Schoolyard project, written in Dutch. Schoolyard was a project to develop a mobile, location based serious game for children in elementary school. This project was commissioned by TNO.

SPIN's Promela to Java Compiler: With help from Stratego

In model checking a formal model of a software system is constructed. That model is verified against a set of properties expressed in some logic. Once a model has been created and verified, it is still necessary to write the application itself completely by hand. No tools have yet been developed that can automatically create a system or...

JRET: A tool for the reconstruction of sequence diagrams from program executions

As opposed to static analysis, in which source code is inspected in order to increase program understanding, dynamic analysis concerns the actual execution of a program and the collection of runtime data. Several strategies to retrieve dynamic information exist, including source code instrumentation and the use of a customized debugger. Since...