A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...

Pricing via functional size: A case study of 77 outsourced projects

A medium-sized west-European telecom company experienced a worsening trend in performance, indicating that the organization did not learn from history, in combination with much time and energy spent on preparation and review of project proposals. In order to create more transparency in the supplier proposal process a pilot was started on...

Understanding Ajax Applications by Connecting Client and Server-Side Execution Traces

Author's version of the work published in: Empirical Software Engineering (Springer), 18 (2), 2013; doi:10.1007/s10664-012-9200-5 Ajax-enabled web applications are a new breed of highly interactive, highly dynamic web applications. Although Ajax allows developers to create rich web applications, Ajax applications can be difficult to comprehend...

Measuring Library Stability Through Historical Version Analysis

Preprint of paper published in: ICSM 2012 - Proceedings of the IEEE International Conference on Software Maintenance, 23-28 September 2012; doi:10.1109/ICSM.2012.6405296 Backward compatibility is a major concern for any library developer. In this paper, we evaluate how stable a set of frequently used third-party libraries is in terms of method...

What your Plug-in Test Suites Really Test: An Integration Perspective on Test Suite Understanding

Author's version of the work published in: Empirical Software Engineering, 18 (5), 2013; doi:10.1007/s10664-012-9235-7 Software architectures such as plug-in and service-oriented architectures enable developers to build extensible software products, whose functionality can be enriched by adding or configuring components. A well-known example of...

Declaratively Defining Domain-Specific Language Debuggers

Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification can be extended to describe a debugger for a language. To realize this, we introduce a meta...

Challenges of reengineering into multi-tenant SaaS applications

Multi-tenancy is a relatively new software architecture principle in the realm of the Software as a Service (SaaS) business model. It allows to make full use of the economy of scale, as multiple customers "tenants" share the same application and database instance. All the while, the tenants enjoy a highly configurable application, making it...

Observation-Based Modeling for Model-Based Testing

One of the single most important reasons that modeling and modelbased testing are not yet common practice in industry is the perceived difficulty of making the models up to the level of detail and quality required for their automated processing. Models unleash their full potential only through sufficient formality, and after being processed by...

Code Generation by Model Transformation: A Case Study in Transformation Modularity

Preprint of paper published in: Theory and Practice of Model Transformations (ICMT 2008), Lecture Notes in Computer Science 5063; doi:10.1007/978-3-540-69927-9_13 The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for...

On How Developers Test Open Source Software Systems

Engineering software systems is a multidisciplinary activity, whereby a number of artifacts must be created — and maintained — synchronously. In this paper we investigate whether production code and the accompanying tests co-evolve by exploring a project’s versioning system, code coverage reports and size-metrics. Three open source case studies...

Proceedings first international workshop; Towards evaluation of aspect mining - TEAM 2006

Proceedings TEAM 2006, Nantes (France), 4 July, 2006