Sökning: onr:"swepub:oai:DiVA.org:lnu-58970" >
Evaluation and repr...
Evaluation and reproducibility of program analysis (Track Introduction)
-
- Schordan, Markus (författare)
- Lawrence Livermore National Laboratory, USA
-
- Löwe, Welf (författare)
- Linnéuniversitetet,Institutionen för datavetenskap (DV)
-
- Beyer, Dirk (författare)
- University of Passau, Germany
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2014
- 2014
- Engelska.
-
Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. - Berlin, Heidelberg : Springer. - 9783662452301 - 9783662452318 ; , s. 479-481
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas