Concolic execution systems allow developers to verify that invariants in their applications are not violated no matter what input is given by a user. This was demonstrated in Lab 3, where the Z3 solver was used to find inputs that would trigger inconsistencies in Zoobar balances. Unfortunately, the lab’s framework is written specifically for Zoobar, and would therefore not work for other applic...

Modern web technologies, like AJAX result in more responsive and usable web applications, sometimes called Rich Internet Applications (RIAs). Traditional crawling techniques are not sufficient for crawling RIAs. We present a new strategy for crawling RIAs. This new strategy is designed based on the concept of “Model-Based Crawling” introduced in [3] and uses statistics accumulated during the cr...

This paper describes the current state of mu.semte.ch, a platform for building state-of-the-art web applications fuelled by Linked Data aware microservices. The platform assumes a mashup-like construction of single page web applications which consume various services. In order to reuse tooling built in the community, Linked Data is not pushed to the frontend.

Not all learners learn in the same way and at the same rate. Learners’ learning styles that reflect their cognitive abilities vary in known ways; some prefer the traditional text-based or oral presentation of content, while others learn more easily in a visual or kinaesthetic instruction style. Simulation has been shown to be an effective way of teaching abstract concept, principle and process ...

Web and Requirements Engineering have been wellrecognized as two individual active areas of research in the past. Convergence between these two notable areas has been a point-of-discussion in recent years and offers new avenues of research. This paper explores this alliance from two perspectives; firstly, where Requirement Engineering can be viewed as a process for Web application development a...

The Linked Open Data University of Münster (LODUM) project establishes a university-wide infrastructure to publish university data as Linked Open Data. The main goals are to increase visibility and accessibility of data produced and collected at the university, and to facilitate effective reuse of these data. This includes the goal to ease the development of applications and mashups based on th...