Výsledky vyhledávání - "Tautschnig, M."

Report

A model for time-dependent grain boundary diffusion of ions and electrons through a film or scale, with an application to alumina

Autor: Tautschnig, M. P., Harrison, N. M., Finnis, M. W.

A model for ionic and electronic grain boundary transport through thin films, scales or membranes with columnar grain structure is introduced. The grain structure is idealized as a lattice of identical hexagonal cells - a honeycomb pattern. Reactions

Externí odkaz: http://arxiv.org/abs/1702.01333

Zobrazit plný text záznamu

Proving Reachability Using FShell - (Competition Contribution)

Autor: Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H

FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the declarative specification language FQL (FShell Query Language), an efficien

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::486ca1539c68a4edbc35a920bbfc308a
https://doi.org/10.1007/978-3-642-28756-5_43

Zobrazit plný text záznamu

Formal Co-Validation of Low-Level Hardware/Software Interfaces

Autor: Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE

Today's microelectronics industry is increasingly confronted with the challenge of developing and validating software that closely interacts with hardware. These interactions make it difficult to design and validate the hardware and software separate

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::bfb2d70f114d19cbb9aa268823840ea2
https://ora.ox.ac.uk/objects/uuid:7b10ab2d-00a7-4658-8d4f-3d6432013f33

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Proving Reachability Using FShell - (Competition Contribution)

Autor: Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H, Flanagan, C, König, B

Publikováno v: TACAS. 7214

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::9007d6c492ecfd4d6791f65a07230cb2
http://ora.ox.ac.uk/objects/uuid:c00885e0-5c27-4fa5-a388-1edde9a57a2f

Zobrazit plný text záznamu

Improving the Confidence in Measurement−Based Timing Analysis

Autor: Bünte, S, Kirner, R, Zolda, M, Tautschnig, M

Publikováno v: Proceedings of 14th IEEE International Symposium on Object/Component/Service−Oriented Real−Time Distributed Computing‚ ISORC 2011.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e825de91f978bc67ee6a94240cdc2fe
http://ora.ox.ac.uk/objects/uuid:c994ab8d-1717-4673-89ff-4dff7624ee40

Zobrazit plný text záznamu

Seamless Testing for Models and Code

Autor: Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H, Giannakopoulou, D, Orejas, F

Publikováno v: FASE. 6603

This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::34a6801ff3069102b0d7922708515dad
http://ora.ox.ac.uk/objects/uuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76d

Zobrazit plný text záznamu

An Introduction to Test Specification in FQL

Autor: Holzer, A, Tautschnig, M, Schallhart, C, Veith, H, Barner, S, Harris, IG, Kroening, D, Raz, O

Publikováno v: Haifa Verification Conference. 6504

In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test specifications and test generation engines. We believe that establishing a common language for test criteria will ha

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::37f6b2bde040746409358353d5892920
http://ora.ox.ac.uk/objects/uuid:3326aa19-6c71-4ae5-ae49-22743e0de318

Zobrazit plný text záznamu

How did you specify your test suite

Autor: Holzer, A, Schallhart, C, Tautschnig, M, Veith, H, Pecheur, C, Andrews, J, Nitto, ED

Publikováno v: ASE

Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and concise in daily use, feature a precise semantics, and of course, it has

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3eac1edd218010ff31f201e61b56ffe2
http://ora.ox.ac.uk/objects/uuid:7c9097ff-46c5-4241-b18c-8d3a00e2ae59

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání