Searched for: subject%3A%22Java%22
(1 - 20 of 54)

Pages

document
Roest, Vivian (author)
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,...
bachelor thesis 2024
document
Lips, Maarten (author)
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...
master thesis 2023
document
Bot, Gideon (author)
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...
bachelor thesis 2023
document
Thabet, Omar (author)
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...
bachelor thesis 2023
document
Damastuti, Ekaningrum (author), van Wesenbeeck, B (author), Leemans, Rik (author), de Groot, Rudolf S. (author), Silvius, Marcel J. (author)
Management and restoration of mangrove forests to protect coasts are promoted in many countries, including Indonesia. Indonesian mangrove forests are actively restored and managed by local communities for their ecosystem services, including coastal protection. Whether community-based mangrove management (CBMM) is effective is still debated....
journal article 2023
document
Zimmerhackl, Lukas (author)
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...
bachelor thesis 2022
document
Chaliasos, Stefanos (author), Sotiropoulos, Thodoris (author), Spinellis, D. (author), Gervais, Arthur (author), Livshits, Benjamin (author), Mitropoulos, Dimitris (author)
We propose a testing framework for validating static typing procedures in compilers. Our core component is a program generator suitably crafted for producing programs that are likely to trigger typing compiler bugs. One of our main contributions is that our program generator gives rise to transformation-based compiler testing for finding...
conference paper 2022
document
Chaliasos, Stefanos (author), Sotiropoulos, Thodoris (author), Drosos, Georgios Petros (author), Mitropoulos, Charalambos (author), Mitropoulos, Dimitris (author), Spinellis, D. (author)
Despite the substantial progress in compiler testing, research endeavors have mainly focused on detecting compiler crashes and subtle miscompilations caused by bugs in the implementation of compiler optimizations. Surprisingly, this growing body of work neglects other compiler components, most notably the front-end. In statically-typed...
journal article 2021
document
Vogl, Sebastian (author), Schweikl, Sebastian (author), Fraser, Gordon (author), Arcuri, Andrea (author), Campos, José (author), Panichella, A. (author)
EvoSuite is a search-based unit test generation tool for Java. This paper summarises the results and experiences of EvoSuite's participation at the ninth unit testing competition at SBST 2021, where EvoSuite achieved the highest overall score.
conference paper 2021
document
Gerling, Jan (author)
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...
master thesis 2020
document
Sellik, Hendrig (author)
Mistakes in binary conditions are a source of error in many software systems. They happen when developers use &lt; or &gt; instead of &lt;= or &gt;=. 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...
master thesis 2020
document
Bridié, Dereck (author)
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...
master thesis 2020
document
Devroey, Xavier (author), Panichella, Sebastiano (author), Gambi, Alessio (author)
We report on the results of the eighth edition of the Java unit testing tool competition. This year, two tools, EvoSuite and Randoop, were executed on a benchmark with (i) new classes under test, selected from open-source software projects, and (ii) the set of classes from one project considered in the previous edition. We relied on an updated...
conference paper 2020
document
Wahyu Satrio Ardiko, Wahyu (author)
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....
master thesis 2019
document
Sawant, A.A. (author), Robbes, Romain (author), Bacchelli, A. (author)
Application Programming Interfaces (API) provide reusable functionality to aid developers in the development process. The features provided by these APIs might change over time as the API evolves. To allow API consumers to peacefully transition from older obsolete features to new features, API producers make use of the deprecation mechanism...
journal article 2019
document
Kifetew, Fitsum (author), Devroey, Xavier (author), Rueda, Urko (author)
We report on the results of the seventh edition of the JUnit tool competition. This year, four tools were executed on a benchmark with (i) new classes, selected from real-world software projects, and (ii) challenging classes from the previous edition. We use Randoop and manual test suites from the projects as baselines. Given the interesting...
conference paper 2019
document
Kluiters, Thomas (author), Overweel, Leon (author), Vos, Daniël (author), Vos, Jelle (author)
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,...
bachelor thesis 2018
document
Raateland, Wouter (author)
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...
bachelor thesis 2018
document
Poulsen, C.B. (author), Rouvoet, A.J. (author), Tolmach, Andrew (author), Krebbers, R.J. (author), Visser, Eelco (author)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for...
journal article 2018
document
Stephen Sanjaya, Stephen (author)
student report 2018
Searched for: subject%3A%22Java%22
(1 - 20 of 54)

Pages