• Publications
  • Influence
A taxonomy of model‐based testing approaches
TLDR
Model‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. Expand
  • 512
  • 47
  • PDF
Ontology-based personalized search and browsing
TLDR
We show that these automatically created profiles reflect the user's interests quite well and they are able to produce moderate improvements when applied to search results. Expand
  • 478
  • 40
Engineering Automotive Software
TLDR
This paper pinpoints the idiosyncrasies of the domain, characterizes the essentials of automotive software engineering, and discusses the challenges of automotivesoftware engineering. Expand
  • 294
  • 21
  • PDF
Ontology based personalized search
TLDR
This paper studies ways to model a user’s interests and shows that fully automatic creation of large hierarchical user profiles is possible. Expand
  • 359
  • 20
  • PDF
A taxonomy of model-based testing
Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field. Seven different dimensions defineExpand
  • 236
  • 13
  • PDF
Software Engineering for Automotive Systems: A Roadmap
TLDR
We present research challenges in the domain of automotive software engineering in terms of requirements engineering and management, architecture development, and testing. Expand
  • 331
  • 12
A Policy Language for Distributed Usage Control
TLDR
We present the Obligation Specification Language (OSL), a policy language for distributed usage control that supports the formalization of a wide range of usage control requirements. Expand
  • 165
  • 12
  • PDF
Model-Based Testing in Practice
TLDR
Testing comprises activities that aim at showing that the intended and actual behaviors of a system differ, or at gaining confidence that they do not. Expand
  • 235
  • 11
  • PDF
On Obligations
TLDR
We provide a formal framework that allows us to precisely specify and specify a large subset of data protection requirements. Expand
  • 133
  • 9
  • PDF