lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Evaluation and reproducibility of program analysis (Track Introduction)
Lawrence Livermore National Laboratory, USA.
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-7565-3714
University of Passau, Germany.
2014 (English)In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications / [ed] Margaria T.,Margaria T.,Steffen B., Springer, 2014, 479-481 p.Conference paper, Published paper (Refereed)
Abstract [en]

Today’s popular languages have a large number of different language constructs and standardized library interfaces. The number is further increasing with every new language standard. Most published analyses therefore focus on a subset of such languages or define a language with a few essential constructs of interest. More recently, program-analysis competitions [4,6,7,1] aim to evaluate comparatively implemented analyses for a given set of benchmarks. The comparison of the analyses focuses on various aspects: (a) the quality of established structures and automata describing the behavior of the analyzed program, (b) the verification of various specified program properties, (c) the impact on a client analysis of particular interest, and (d) the impact of analysis precision on program optimizations.

Place, publisher, year, edition, pages
Springer, 2014. 479-481 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8803
National Category
Software Engineering
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-58970DOI: 10.1007/978-3-662-45231-8_37Scopus ID: 2-s2.0-84910621501ISBN: 9783662452301 (print)ISBN: 978-3-662-45231-8 (print)OAI: oai:DiVA.org:lnu-58970DiVA: diva2:1056225
Conference
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Corfu. Greece, 8-11 October 2014
Available from: 2016-12-14 Created: 2016-12-13 Last updated: 2017-09-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Löwe, Welf
By organisation
Department of Computer Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 70 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf