About: Symbiotic 2: More Precise Slicing (Competition Contribution)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Symbiotic 2 keeps the concept and the structure of the original bug-finding tool Symbiotic, but it uses a more precise slicing based on a field-sensitive pointer analysis instead of field-insensitive analysis of the original tool. The paper discusses this improvement and its consequences. We also briefly recall basic principles of the tool, its strong and weak points, installation, and running instructions. Finally, we comment the results achieved by Symbiotic 2 in the competition.
  • Symbiotic 2 keeps the concept and the structure of the original bug-finding tool Symbiotic, but it uses a more precise slicing based on a field-sensitive pointer analysis instead of field-insensitive analysis of the original tool. The paper discusses this improvement and its consequences. We also briefly recall basic principles of the tool, its strong and weak points, installation, and running instructions. Finally, we comment the results achieved by Symbiotic 2 in the competition. (en)
Title
  • Symbiotic 2: More Precise Slicing (Competition Contribution)
  • Symbiotic 2: More Precise Slicing (Competition Contribution) (en)
skos:prefLabel
  • Symbiotic 2: More Precise Slicing (Competition Contribution)
  • Symbiotic 2: More Precise Slicing (Competition Contribution) (en)
skos:notation
  • RIV/00216224:14330/14:00073504!RIV15-MSM-14330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I, P(GAP202/10/1469), S
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 48862
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/14:00073504
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • instrumentation; symbolic execution; program slicing (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [C60D7F41E91D]
http://linked.open...v/mistoKonaniAkce
  • Grenoble, France
http://linked.open...i/riv/mistoVydani
  • Berlin, Heidelberg
http://linked.open...i/riv/nazevZdroje
  • Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Slabý, Jiří
  • Strejček, Jan
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
issn
  • 0302-9743
number of pages
http://bibframe.org/vocab/doi
  • 10.1007/978-3-642-54862-8_34
http://purl.org/ne...btex#hasPublisher
  • Springer-Verlag
https://schema.org/isbn
  • 9783642548611
http://localhost/t...ganizacniJednotka
  • 14330
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software