Marcus Mews

  • Citations Per Year
Learn More
Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks information about tests or test scenarios. Early testing in the automotive domain is often done by Model-in-the-Loop simulation. Simulations of(More)
The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project’s source code is analyzed and checked against the library’s behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is(More)
  • 1