Claus Brabrand

Suggest Changes
Michael I. Schwartzbach32
Andrzej Wasowski27
Christian Kästner26
Márcio Ribeiro22
Sven Apel22
32Christian Kästner
26Gunter Saake
25Michael I. Schwartzbach
24Thomas Thüm
24Anders Møller

Filter Results:

  • Full text PDF available (36)

Publication Year

1999
2017
  • This year (3)
  • Last 5 years (24)
  • Last 10 years (34)

Publication Type

Co-author

Publication Venue

Key Phrases

Learn More
42 Variability Bugs in the Linux Kernel: a Qualitative Analysis
Feature-sensitive verification pursues effective analysis of the exponentially many variants of a program family. However, researchers lack examples of concrete bugs induced by variability, occurring in real large-scale systems. Such a collection of bugs is a requirement for goal-oriented research, serving to evaluate tool implementations of… (More)
Analyzing ambiguity of context-free grammars
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and parser generation, as well as in applications where grammars are used as models of real-world physical structures. We observe that there is a simple linguistic characterization of… (More)
PowerForms: Declarative client-side form field validation
All uses of HTML forms may benefit from validation of the specified input field values. Simple validation matches individual values against specified formats, while more advanced validation may involve interdependencies of form fields. There is currently no standard for specifying or implementing such validation. Today, CGI programmers often use Perl… (More)
SPLLIFT: statically analyzing software product lines in minutes instead of years
A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Up until now, re-using traditional static analyses for SPLs was virtually intractable, as it required programmers to generate and analyze all products individually. In this work, however, we show how an important class of existing… (More)
Intraprocedural Dataflow Analysis for Software Product Lines
Software product lines (SPLs) are commonly developed using annotative approaches such as conditional compilation that come with an inherent risk of constructing erroneous products. For this reason, it is essential to be able to analyze SPLs. However, as dataflow analysis techniques are not able to deal with SPLs, developers must generate and analyze all… (More)
Static validation of dynamically generated HTML
We describe a static analysis of \bigwig\ programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two data-flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents. By… (More)
The metafront System: Extensible Parsing and Transformation
We present the metafront tool for specifying flexible, safe, and efficient syntactic transformations between languages defined by context-free grammars. The transformations are guaranteed to terminate and to map grammatically legal input to grammatically legal output. We rely on a novel parser algorithm that is designed to support gradual extensions of a… (More)
On the impact of feature dependencies when maintaining preprocessor-based software product lines
During Software Product Line (SPL) maintenance tasks, Virtual Separation of Concerns (VSoC) allows the programmer to focus on one feature and hide the others. However, since features depend on each other through variables and control-flow, feature modularization is compromised since the maintenance of one feature may break another. In this context,… (More)