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

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

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

A Java Compatible Virtual Machine for Wireless Sensor Networks

Writing software for Wireless Sensor Networks (WSN) is hard, as programmers have to write robust, distributed, highly concurrent applications on extremely resource limited devices. Virtual machines offer among other things support for high-level object-oriented languages, dynamic memory management and protection, hardware abstraction, and...

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

Field Of Threads: Master’s Thesis on a tool for clarifying thread behavior

Multithreaded programming is becoming increasingly important because of recent increase in the use of multiprocessor computing. Multithreaded or concurrent programming is inherently more complex than single threaded code, requiring the use of synchronization and causing possible problems like deadlock or dormancy. Dynamic analysis tools can aid...

Extending the Java Programming Language with Generators

The Java programming language allows to create portable applications in a variety of domains. With the continuous development and demanding environment in industrial and research fields many proposals exist to extend the language in order to facilitate a more easier development and implementation of applications. Many extensions have been...

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

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

Performing data assimilation experiments with hydrodynamic models: A Java Sea case

Floods are a big problem for Jakarta; the capital of Indonesia is subsiding below mean sea level and floods will become more frequent. Flood protection and measures against subsidence are, therefore, of high importance to Jakarta’s government. One of the options they are studying is a great sea wall to regulate the water levels in Jakarta Bay....

Setting up a freight transportation model for Java in Indonesia

The project consisted of the development of a freight transportation model for the island Java in Indonesia. A literature study concerning freight modelling has been performed to formulate an appropriate framework of such a model for the given situation. Different data sources have been identified, analyzed and combined to be used as input for...

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