• Publications
  • Influence
A taxonomy of model‐based testing approaches
TLDR
The process of model‐based testing is discussed and a taxonomy that covers the key aspects of MBT approaches is defined to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool.
Ontology-based personalized search and browsing
TLDR
Research is reported on that adapts information navigation based on a user profile structured as a weighted concept hierarchy that shows 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.
Engineering Automotive Software
TLDR
The idiosyncrasies of the domain are pinpoints, the essentials of automotive software are characterized, and the challenges of the automotive software engineering are discussed.
Ontology based personalized search
TLDR
This paper explores ways of incorporating users' interests into the search process to improve the results and shows that fully automatic creation of large hierarchical user profiles is possible.
A Policy Language for Distributed Usage Control
TLDR
Translations between OSL and two rights expression languages (RELs) from the DRM area make it possible to use DRM mechanisms to enforce OSL policies and enhance the interoperability of DRM mechanisms.
Model-Based Testing in Practice
TLDR
The goal of testing is failure detection: observable differences between the behaviors of implementation and specification, which is an important and expensive activity in the development process.
Software Engineering for Automotive Systems: A Roadmap
TLDR
This paper presents research challenges in the domain of automotive software engineering and outlines the priorities for further research in this area.
A taxonomy of model-based testing
TLDR
An overview of model-based testing is provided to help with understanding benefits and limitations, understanding the approach used in a particular model- based testing tool, and understanding the issues involved in integrating model-Based testing into a software development process.
Code obfuscation against symbolic execution attacks
TLDR
This paper addresses the problem of characterizing the resilience of code obfuscation transformations against automated symbolic execution attacks, complementing existing works that measure the potency of obfuscation Transformations against human-assisted attacks through user studies.
...
...