Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
Martin Horauer, Oliver Praprotnik, Martin Zauner, ...
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...