The NWO/EZ Jacquard Software Engineering Program has granted the following project: Automated Runtime Testability of SOA Composites Team dr. phil. Hans-Gerhard Gross ...
Research project: ASSESS Within the ASSESS project, we focus on the development of techniques and methods for source based software quality and security evaluation ...
Main.GerdGross 08 Oct 2007 Alberto Gonzalez Automatic Error Detection Techniques Based on Dynamic Invariants Abstract This document presents the methods used to ...
AnjaGuzzi Email: a DOT guzzi AT tudelft DOT nl Web: http://www.st.ewi.tudelft.nl/~guzzi/ Since November 2009, I am !PhD student in the Software Engineering Research ...
Arjan Seesing EvoTest Test Case Generation Using Genetic Programming and Software Analysis Testing in diverse software development paradigms is an ongoing problem ...
Aspect Mining Group Set GROUP LeonMoonen, ArieVanDeursen, MariusMarin, MagielBruntink Set ALLOWTOPICCHANGE TWikiAdminGroup (Note: Set the members of TWiki Administrator ...
Investigating the relation between static and dynamic coupling metrics and the fault-proneness of object-oriented software systems Atam Gangaram Panday The problem ...
Atlas Introduction Atlas is a component-framework based on Fractal with extensions to simplify and enhance the testing. In particular it provides: Built-In Testing ...
Available Open MSc Projects TOC SERG Internal One possibility is to conduct your MSc project in direct collaboration with one of our research projects. This will ...
BENEVOL 2006 01/12/2006: Schedule is available. 01/12/2006: Practical arrangements. Hotel, how to get to, ... 09/11/2006: Deadline for registration is 21/11/2006 ...
BENEVOL registration You can register for BENEVOL until the 21st of November by sending a mail to Andy Zaidman (a.e.zaidman@tudelft.nl). BENEVOL starting hours and ...
Program Information for presenters Every presenter can talk for no more than 20 minutes, after which there is time for questions. Due to the number of contributions ...
Bas Cornelissen Name: Bas Cornelissen Email: s.g.m.cornelissen at tudelft dot nl Web: http://www.st.ewi.tudelft.nl/~cornel/ Login name: Bas Cornelissen CategoryMember ...
BenVanGameren Ben van Gameren Ben van Gameren is a !PhD candidate at the Delft University of Technology. In October 2009 he became part the Software Engineering Research ...
A GUI for model checkers Bo Wang System validation, the process of checking the correctness of specifications, designs and products, is an important technique to ...
Chain monitoring for Web Services Bobby Bregman This Master Thesis describes an implementation and realization of Chain monitoring for Web Services for Fortis Insurances ...
Research Project: LaQuSo Buildfarm Introduction An important recent development in software dependability research that is attracting world wide attention is the ...
Internal Project: C6 The C6 project (KO: Sept 2005) aims to build a new soft processor core and associated compiler tools for low-cost FPGAs. The primary motivation ...
Main.GerdGross 08 Oct 2007 Carsten Krauter An Automatic Approach For VDM To Lydia-Model Transformation Abstract The systems, we use, are getting more complex and ...
SWERL Members Category for the members of SWERL. SEARCH{search "CategoryMember" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic ...
Chavdar Bachvarov Security Architectures for Sharing of Distributed Resources in Community Based Systems The amount of digital assets people have grows very rapidly ...
Managing Code Clones CloneBoard CloneBoard is an Eclipse plug-in for code clone management. It supports dynamic code clone indentification by investigating copy/paste ...
Collaboration with Exact Software Background In 2008, the TU Delft and Exact Software entered into a strategic partnership. This partnership brings the collaboration ...
Contact The Software Engineeirng Research Group is part of the Software Technology department of the faculty of Electrical Engineering, Mathematics and Computer Science ...
Courses Our group teaches the following courses. Credits are in ECTS (The European Credit Transfer System). The period is indicated in quarters: Q1 is the first half ...
Profile Name: Danny M. Groenewegen Email: dgroenewegen@gmail.com Twitter: @dgroenewegen !LinkedIn: http://www.linkedin.com/in/dannygroenewegen Research Interests ...
David Barrientos Velasco Improving Timing Analyzability through Source Code Analysis and Testability Transformations in Real-Time Systems Timing analysis is a method ...
Hotels in Delft are typically relatively small. This is a list of hotels that was used for WCRE 2004 (see also http://swerl.tudelft.nl/wcre2004/index.php?topic accom ...
Computer software is getting larger and more complex everyday. The demands for present day software are so high that it’s becoming very difficult to create a single ...
Model Transformation of Domain-Specific Models Application of the theory of DSMLs and MDA Duncan G. Doyle This Master Thesis describes the transformation of models ...
PURPLE Eclipse Test Suite Exploration Tool (ETSE) ENDCOLOR The Eclipse Test Suite Exploration Tool implements five architectural views that can be used to understand ...
EricDeBacker Eric de Backer is a Master student at the TU Delft. Abstract thesis: This thesis introduces Erix, Empirical Research Infrastructure for Clustered Software ...
Erix Infrastructure A prototype of the Empirical research infrastructure for clustered software (Erix) is now available for testing and evaluation purposes. Installation ...
Main.GerdGross 08 Oct 2007 Etienne Gerts EMV Credit Card Certification Abstract Credit card fraud has become a major issue for financial institutions. To reduce ...
Since a couple of years many developments have taken place in the field of IT. Two of these (relevant to this thesis assignment) are: • The rise of Open Source Software ...
Execution Trace Analysis Through Massive Sequence and Circular Bundle Views Cornelissen, Holten, Zaidman, Moonen, Jarke J. van Wijk, and van Deursen This page provides ...
Research Project: Finesse Summary The ability to accurately diagnose and recover from faults in complex systems such as the copiers of Oce constitutes a crucial element ...
FireDetective Introduction !FireDetective is a tool that allows you to better understand Ajax web applications. It links execution traces from both the client side ...
Internal Project: Forments Any form of system development begins with a requirements engineering phase that results in some requirements documents. Requirements documents ...
Java Security Vulnerabilities Detection with Static Analysis G.L. Cheng Security in software plays an important role in todays society as computer networking is getting ...
dr. phil. Hans-Gerhard Gross Full List of Publications Books Theses H.-G. Gross, M. Lormans, J. Tretmans (Eds). Proceedings of the 2009 ESEC/FSE workshop on Software ...
SINTER Workshop Software Integration and Evolution @ Runtime Satellite Workshop ESEC/FSE 2009 Amsterdam, August 25, 2009 Associated with the The 7th joint meeting ...
Handin Guidelines The handin deadlines for each of the assignments can be found in the Schedule . Most assignments require one or two weeks. Hand in the assignment ...
Hans Wasmus Evaluation of Test-Driven Development This thesis is about a development practice that will help to create clean code that works, called Test Driven Development ...
Hok Kwan Kan Design and implementation of an editor and simulators for constraint automata in the context of Reo The coordination language Reo offers a flexible framework ...
IN3205: Software Testing and Quality Engineering Arie van Deursen Testing and Quality What can we do to create high quality software systems? How can we ensure that ...
Ms Course in4024: Real-Time Systems This course introduces and discusses the fundamental concepts of real-time system construction. It presents an overview of where ...
Ms Course in4073: Embedded Real-Time Systems This course comes with a lab project in which students develop an embedded control unit for a tethered electrical model ...
Ideals Project The Ideals project aims to develop a software desing methodology that realizes the structured composition of software from separate modules, while ...
Job Openings Specific Positions Currently, we do not have open positions. PhD Projects Background In The Netherlands, almost all PhD positions are linked to funded ...
Kevin Bouwmeester GridAssist Middleware Interoperability Through Scenario Based Software Architecture Assessment This thesis describes the work done on adapting a ...
KevinDullemond Kevin Dullemond Kevin Dullemond is a !PhD candidate at the Delft University of Technology since October 2009. In 2004 Kevin started at the Technical ...
Khalid Adam Nasr Contact Email: k.a.nasr@tudelft.nl Web: www.tudelft.nl Publications Khalid Adam Nasr, Hans-Gerhard Gross, Arie van Deursen. Performance Trade-offs ...
Koen Egelink Multi-Version Software Analysis to Detect Architectural Mismatches A software repository is a special kind of information system maintaining information ...
Leon Moonen Name: Leon Moonen Login Name: LeonMoonen email Leon.Moonen@computer.org For more information see my (new) webpage at http://simula.no/~leonm/ Performs ...
Internal Project: Lydia As the impressive, exponential increase in hardware performance/cost ratio is expected to be continued for at least another decade, trillions ...
Multi-Tenant Software (MTS) Systems Multi-tenant software systems are a new breed of hosted software applications, whereby a service-provider installs one such application ...
Guidelines for Master Thesis Proposals In order to start a MSc thesis project, we would like you to write a thesis proposal which describes your project. The goal ...
SERG Master's Thesis Style Master's theses written within the Software Engineering Research Group should be formatted according to requirements and guidelines of ...
Master's Projects For students participating in the Delft computer science master's programme we have several openings for MSc projects in our research labs. Optionally ...
Main.GerdGross 08 Oct 2007 Maurits Hartman Bio-SPHERE a Service-Oriented Biometrics Platform Abstract This thesis describes the proceedings of the Bio-SPHERE project ...
The MERLIN Project The MERLIN project is an ITEA project lasting from July 2004 to June 2007. MERLIN aims to improve competitiveness and products’ quality in European ...
Model-Driven Software Evolution Research project granted by NWO/JACQUARD in 2006 Summary The promise of model-driven engineering (MDE) is that the development and ...
The MoVES Project Modelling, Verification and Evolution of Software Software-intensive systems are among the most complex artefacts ever built. In the development ...
Mobile communication brings deep changes to our everyday lives. The launch of 3rd generation mobile systems in 2001 in Japan and from 2002 throughout the rest of the ...
Moose Project The main goal of MOOSE Project is to improve product quality and software development productivity through optimised integration and interfacing of ...
FEI company designs, manufactures, markets and services products based on focused charged particle technology such as electron microscopes. One of the current research ...
Nobody Group Set GROUP Set ALLOWTOPICCHANGE TWikiAdminGroup Used to prevent dangerous actions e.g. renaming TWIKIWEB .TWikiPreferences put NobodyGroup as the only ...
Orlando Mendez Aspect Mining using Clone Detection #CloneDetection Any software system in usage is required to be adapted in order to meet the ever changing and increasingly ...
PCODA 2007 3rd International Workshop on Program Comprehension through Dynamic Analysis TOC Program The program is available PCODA2007program. Proceedings Download ...
PCODA 2007 program Monday October 29th, 2007 from 14:30 until 18:00. Session 1: Coping with large-sized execution traces (presented by Abdelwahab Hamou-Lhadj) Working ...
Set GROUP AndyZaidman, OrlaGreevy, AbdelwahabHamouLhadj, DavidRothlisberger Set ALLOWTOPICCHANGE TWikiAdminGroup (Note: Set the members of TWiki Administrator Group ...
Special issue on Program Comprehension through Dynamic Analysis TOC General information Published in the July/August 2008 issue of the Journal on Software Maintenance ...
The NWO/EZ Jacquard Software Engineering Program (http://www.jacquard.nl) has granted the following project: Pull Deployment of Services Team dr. Eelco Visser TU ...
Principles of Programming Languages (POPL) 2008 2009 The 2009-2010 edition of this course Literature Software Assignments Course description Programmers spend a ...
POPL Assignment 1: A Rudimentary Interpreter Write a parser and interpreter for the WAE language we discussed in class. The textbook can be of great assistance in ...
POPL Assignment 2 The assignment consists of two separate parts: 1 Write a parser and two interpreters for CFWAE (conditionals, functions, with, and arithmetic expressions ...
POPL Assignment 3 In this assignment you will be writing a web program. The assignment is not individual, but may be done in pairs. Unlike the other programming assignments ...
POPL Assignment 4 The goal of this assignment is to hone your skills for defining interpreters, deepen your understanding of continuations, and make sure you understand ...
POPL Assignment 5 Web Programming in Scheme In this assignment you will use the PLT Scheme Webserver, which is based on the concept of continuations that we studied ...
Assignments for POPL Assignment 1 A Rudimentary Interpreter Assignment 2 An Extended Interpreter Assignment 3 Web Programming Assignment 4 Assignment 5 Web Programming ...
POPL Literature Programming Languages: Application and Interpretation The book for this course is "Programming Languages: Application and Interpretation" written ...
POPL Software For the exercises in the course we will be using DrScheme, which can be found at: http://www.plt-scheme.org/software/drscheme/ DrScheme has already ...
Past and Current MSc Projects Below you can find a list of current and past SERG Masters projects. You can browse through the list in order to get an idea for the ...
Past Research Colloquium Presentations Date Speaker Title Extras 02-12-2010 Birna van Riemsdijk Empirical Software Engineering for Agent Programming abstract; 11 ...
Past Student Presentations Date Speaker Title Supervisor Extras 28-08-2007 Vahid Gharavi Modelling Ajax User Interfaces for the Purpose of Code Generation Mesbah ...
SERG People Faculty prof. dr. Arie van Deursen ir. Hans Geers dr. phil. Hans-Gerhard (Gerd) Gross prof. dr. Erik Meijer (0.2 fte, primary appointment at Microsoft ...
PERPLEX Programmer Expressiveness in Practice: Model-Driven Engineering at Work In 2008 Microsoft, Avanade and Delft University of Technology started a four year ...
Persbericht RIA Project, December 2004 EUR 1.3 mln government grant for Backbase Software-ontwikkelaar werkt nauw samen met IBM, CWI en TU Delft Amsterdam, 8 december ...
Pieter Hartman Exploring for Architecture: “beyond module viewtype” Abstract The software architecture description is the most important document for software engineers ...
Research Project: Poseidon #PoseidonProject Introduction Today’s modern high tech systems offer a previously unparalleled variety of feasible applications, made possible ...
A Systematic Survey of Program Comprehension through Dynamic Analysis This page provides an on line appendix to our paper entitled "A Systematic Survey of Program ...
Program Analysis for Software Quality The Software Engineering Research Group of Delft University of Technology has an open position for a PhD student in the area ...
Quality Software Linguistics On the first of October, Eric Bouwers, Technical Consultant at the Improvement Group, has started as part-time Ph.D. student on the ...
Main.GerdGross 08 Oct 2007 Rafi Vayani Improving Automatic Software Fault Localization Abstract To keep software systems dependable, debugging is essential. The ...
Course IN4389: Reactive Programming Programming Reactive Extensions and LINQ Background Reactive programming is a programming paradigm oriented around data flows ...
Architecture Reconstruction / ReconstructorProject From the TU Delft: Andy Zaidman Bas Graaf Leon Moonen Hans Geers Arie van Deursen Mulo Emmanuel Philips Medical ...
Reconstructor Project A software architecture is an abstraction of a software system, which is indispensible for many software engineering tasks, such as impact analysis ...
ReqAnalyst ReqAnalyst is a tool that automates the process of traceability link recovery, by means of Latent Semantic Indexing. It is described in TechnicalReports ...
Research Assignment What the Study Guide Says ``The Literature Survey is an individual assignment carried out under supervision of a CS or MKE staff member. For this ...
Research Colloquium The SERG group meets (at least) once in the two weeks to learn about and exchange ideas on recent research carried out by the group's researchers ...
Research Pointers This page focuses on students performing the research for their masters thesis at SWERL lab at TU Delft and collects a number of pointers to "tools ...
Research Projects We are currently involved in the following externally funded research projects: The Allegio project on Composable Embedded Systems for Healthcare ...
Rini van Solingen Name: Rini van Solingen Email: D DOT M DOT vansolingen AT tudelft DOT nl Web: http://www.rinivansolingen.ml Login name: RiniVanSolingen CategoryMember ...
Rob van der Leek Implementation Strategies For Island Grammars The Improvement Group (SIG) offers software assessments that provides companies insight into their ...
Static Detection of Exploitable Vulnerabilities in Input Dependencies Robin van Schendel Software vulnerabilities are weaknesses in a system that allow the security ...
Student Colloquium Presentation Abstracts TOC Extending the Java Programming Language with Generators Speaker: Jonathan Guzman Carmona BR BR Abstract: The Java programming ...
Symposium on Software Language Design and Engineering You are cordially invited to attend the symposium on software language design and engineering that the TU Delft ...
SOFL Introduction The goal of this tool is to simulate synthetically various software system (primarily represented via their topology and execution paths) and to ...
Research Colloquium Presentation Abstracts TOC Declaratively Defining Domain-Specific Language Debuggers Speaker: Ricky Lindeman Tool support is vital to the effectiveness ...
The Software Evolution Research Lab SWERL The majority of the costs involved in software development is spent after the software product's first release. Software ...
Conferences We are actively involved in several international conferences in the areas of software maintenance (ICSM), reverse engineering (WCRE), program comprehension ...
Publications Technical Reports The SERG Reports series contains preprints of our publications, as well as longer versions including detailed appendices. The series ...
2nd Reconstructor Meeting Eindhoven University of Technology February 3, 2006 The Second Reconstructor Workshop was held in Febrary 2006, this time at the premisses ...
Main.GerdGross 08 Oct 2007 Sijmen Woutersen X32: A 32-bit FPGA Softcore and Tool Chain Abstract Originally, processor design has always been in the hands of large ...
Software Engineering Group People allowed access to the intranet Set GROUP HansGeers, PeterKluit, LeonMoonen, ArjanVanGemund, ArieVanDeursen, KeesPronk, GerdGross ...
The Software Engineering Research Group SERG Software engineering is concerned with methods and techniques for building high quality software systems. This not only ...
Special issue on Software Evolution, Adaptability and Variability Special issue in Science of Computer Programming Context Successful software systems are long-lived ...
Software We are software engineers, and enjoy creating software. Much of our research results in tools that are available for download, often under an open source ...
Spicy Stonehenge Spicy Stonehenge is a simulation of the real world stock market, built using web services. This system is based on Apache Stonehenge and is composed ...
Staccato Staccato is a statistics-directed algorithm to compute the minimal hitting set. More information on the algorithm will be posted soon. Team Contributors ...
Stefan Slinger Code Smell Detection in Eclipse Refactoring is a software engineering technique that, by applying a series of small behavior-preserving transformations ...
Student Colloquium The SERG Student Colloquium provides the opportunity for Software Engineering MSc students to present the results of their Assignment and receive ...
Transformations for Abstractions Research project granted in the NWO/EW Open Competition 2005. Summary This proposal is about techniques at the intersection of two ...
These groups are used to define fine grained TWIKIWEB .TWikiAccessControl in SWERL: TWikiAdminGroup SwerlGroup AspectMiningGroup SoftwareEngineeringGroup PCODAGroup ...
List of SWERL users A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A AbdelwahabHamouLhadj 23 Jul 2008 AdyenTeam 25 Mar 2011 AlbertoGonzalez 10 Oct 2007 ...
Research Project: Tangram #TangramProject The performance demands on high-tech products keep on growing; they should be faster, more accurate, their uptime should ...
TUD-SERG Technical Report Series Our technical report series, started in 2006, contains preprints of our Publications. They are listed in reverse chronological order ...
Test and production code co-evolution In this research we investigate whether production and test code co-evolve together. The main investigators for this line of ...
On How Developers Test Open Source Software Systems Zaidman, Bart Van Rompaey, Serge Demeyer, and van Deursen Online Appendix High resolution, full color versions ...
TestNForce TestNForce is a Visual Studio plug-in that tracks which tests cover a particular piece of code (e.g., a method). It allows developers to see which tests ...
Test Similarity Correlator Test similarity Correlator (TestSim) can support test suite understanding by automatically deriving relations between test cases. In particular ...
Thijs Reus Harvesting existing software systems for MDA-based reengineering Software systems degrade over time: they are affected by a phenomenon called aging. It ...
Main.GerdGross 08 Oct 2007 Thomas Kraus Generating system documentation augmented with traceability information, using a central XML-based repository Abstract Many ...
Trace Repository This page serves as an execution trace repository, and contains the reduction techniques and (non-industrial) traces that were used in the ICSM'08 ...
Research Project: Trader #TraderProject Within the TRADER project, we develop tools and techniques for improving the user-perceived reliability of systems with embedded ...
Developing a "Web of Trust" Rating to Support Tsunami Rehabilitation Coordination Proposal for an MSc project to be carried out at http://www.servelots.com. Servelots ...
Events Upcoming presentations that we give and meetings that we organize. Upcoming Events In chronological order STARTINCLUDE 11 January 2011 SERG Kickoff 2011 at ...
The Software Engineering Research Group Conferences INCLUDE{ScientificConferences} archive Events INCLUDE{WebEvents} archive Visitors INCLUDE{WebVisitors} archive ...
About SERG People Research Projects Publications Reports Colloquium Software MastersProjects Master Projects Colloquium News Events Openings Details Index Search ...
This is a subscription service to be automatically notified by e-mail when topics change in this Main web. This is a convenient service, so you do not have to come ...
SWERL.Main Web Preferences The following settings are web preferences of the SWERL.Main web. These preferences overwrite the site-level preferences in TWIKIWEB . ...
SWERL's Main web SCRIPTURL /view SCRIPTSUFFIX /Main The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE ...
Upcoming Visitors in chronological order: STARTINCLUDE December, 2011 Erran Carmel, American University, Washington DC, USA November, December, 2011 Karl Trygve Kalleberg ...
-- Main.GerdGross 08 Oct 2007 Willem Ridderhof An Approach to Automatic Generation of Evidence for Safety Cases Abstract Safety critical systems are systems that ...
Wouter Lindhoud Automated Fault Diagnosis at Philips Medical Systems As our machines get faster, better and cheaper every day the increase in complexity of these ...
YellowGrass YellowGrass is a user-friendly, tag-based issue tracker. It supports issue voting, issue tagging, roadmaps, assigning and following issues, private and ...
Main.GerdGross 08 Oct 2007 Yves Bourgeois Design and Verification of Concurrent Real-Time Systems using SDL and MSC Abstract This thesis examines both the shortcomings ...