New test approach for embedded applications
| dc.contributor.author | Deutsch, Alain | |
| dc.contributor.author | Wissing, Klaus | |
| dc.contributor.editor | Böttinger, Stefan | |
| dc.contributor.editor | Theuvsen, Ludwig | |
| dc.contributor.editor | Rank, Susanne | |
| dc.contributor.editor | Morgenstern, Marlies | |
| dc.date.accessioned | 2019-05-15T09:37:54Z | |
| dc.date.available | 2019-05-15T09:37:54Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract Interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors. | en |
| dc.identifier.isbn | 978-3-88579-200-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22698 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-106 | |
| dc.title | New test approach for embedded applications | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 136 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 127 | |
| gi.conference.date | 27.-30.03.2007 | |
| gi.conference.location | Hamburg | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1