Show simple item record

dc.contributor.authorMews, Marcus
dc.contributor.authorHelke, Steffen
dc.contributor.editorJähnichen, Stefan
dc.contributor.editorRumpe, Bernhard
dc.contributor.editorSchlingloff, Holger
dc.date.accessioned2018-11-19T13:30:00Z
dc.date.available2018-11-19T13:30:00Z
dc.date.issued2012
dc.identifier.isbn978-3-88579-293-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/18369
dc.description.abstractThe 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 based on static control flow, data flow and alias analyses. The paper illustrates the presented approach using a small-sized Java library example. In the end, we give a brief outlook to necessary enhancements.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2012. Workshopband
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-199
dc.titleTowards static modular software verificationen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages147-153
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationBerlin
mci.conference.date27. Februar - 2. März 2012


Files in this item

Thumbnail

Show simple item record