Automated Software Testing of JavaScript Web Applications

Modern software is becoming more and more complex and manual testing cannot keep up with the need for high-quality reliable software: often due to the complexity of event-driven software, manual testing is done. This comes with many disadvantages in comparison with automated testing. The increased importance of having a secure, reliable online...

A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs

Recently scope graphs were introduced as a formalism to specify the name binding structure of a program and do name resolution independent of the abstract syntax tree of a program. In this thesis we show how to use a constraint language based on scope graphs to do static analysis of programs. We do this by extracting constraints from a program,...

Using Github Profiles in Software Developer Recruitment and Hiring

Social coding platforms can provide initial understanding about the skills exhibited by the developers on these platforms. In contexts where candidates social profile information is useful for recruiting software developers, the information regarding the developers on these platforms can be leveraged by the recruiters with some software...

Combining source code and test coverage changes in pull requests

With the increasing popularity of open-source version control platforms like GitHub, developers get more feedback on the changes they make. A common tool in version control systems is the highlighted difference view of the source code. This enables reviewers to quickly view the changes made. A missing feature is comparison of the test coverage....

Towards a Functional Interface for Temporal Navigation of News Archives

News producers in the digital era have adopted web standards like XML for representing news stories in datastores. News stories are very time-sensitive information. When this information is archived over time, it could be analyzed to elicit trends and gauge the level of interest in particular topics. A novel way of visualizing this data would...

Relations in Role-Based Data Modeling and Navigation

Object-oriented programming languages support concise navigation of relations represented by references. However, relations are not first-class citizens and bidirectional navigation is not supported. The relational paradigm provides first-class relations, but with bidirectional navigation through verbose queries. We present a systematic analysis...

Studying Fine-Grained Co-Evolution Patterns of Production and Test Code

In this thesis we perform a study that, following a mixed methods approach, investigates fine-grained co-evolution patterns of production and test code. First, we mine fine-grained changes from the evolution of 5 open-source systems. Then, we use an association rule mining algorithm to generate the co-evolution patterns. Finally, we interpret...

BSc-Project IN3700: Eindrapport ‘Verzekerde Opzoek Systeem’

De bestaande functionaliteit van de "Verzekerden Database", zoals dat voor de verzekerden administratie van de zorgverzekeraar DSW ter beschikking staat, op basis van een andere techniek realiseren; Java-agent en webservices.

Static analyses for Stratego programs

Model driven software development is gaining momentum in the software engineering world. One approach to model driven software development is the design and development of domain-specific languages allowing programmers and users to spend more time on their core business and less on addressing non problem- specific issues. Language workbenches...

Deliverance

Dit rapport is het eindverslag van het vak IN3405 Bachelor Project, dat deel uit maakt van de bachelor opleiding Technische Informatica aan de Technische Universiteit Delft. Dit project is uitgevoerd bij het Internationaal Instituut voor Sociale Geschiedenis (IISG), te Amsterdam.