This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n12http://localhost/temp/predkladatel/
n8http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n23http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00065952%21RIV14-MSM-14330___/
n22http://linked.opendata.cz/resource/domain/vavai/subjekt/
n21http://linked.opendata.cz/ontology/domain/vavai/
n5https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n19http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00065952%21RIV14-MSM-14330___
rdf:type
n21:Vysledek skos:Concept
dcterms:description
We present a database that can serve as a tool for tuning and evaluation of miscellaneous program analysis tools. The database contains bug-reports produced by various tools applied to various source codes. The bug-reports are classified as either real errors or false positives. The database currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28. Support of other software projects written in various programming languages is planned. The database can be downloaded and manipulated by SQL queries, or accessed via a web frontend. We present a database that can serve as a tool for tuning and evaluation of miscellaneous program analysis tools. The database contains bug-reports produced by various tools applied to various source codes. The bug-reports are classified as either real errors or false positives. The database currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28. Support of other software projects written in various programming languages is planned. The database can be downloaded and manipulated by SQL queries, or accessed via a web frontend.
dcterms:title
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
skos:prefLabel
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
skos:notation
RIV/00216224:14330/13:00065952!RIV14-MSM-14330___
n21:predkladatel
n22:orjk%3A14330
n3:aktivita
n11:S n11:P
n3:aktivity
P(GBP202/12/G061), S
n3:dodaniDat
n20:2014
n3:domaciTvurceVysledku
n9:6545270 n9:3978915 n9:9937056
n3:druhVysledku
n6:D
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n23:predkladatel
n3:idSjednocenehoVysledku
65585
n3:idVysledku
RIV/00216224:14330/13:00065952
n3:jazykVysledku
n4:eng
n3:klicovaSlova
Bug database; classified bug-reports
n3:klicoveSlovo
n15:Bug%20database n15:classified%20bug-reports
n3:kontrolniKodProRIV
[B892524F445A]
n3:mistoKonaniAkce
Rome, Italy
n3:mistoVydani
Berlin, Heidelberg
n3:nazevZdroje
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n17:GBP202%2F12%2FG061
n3:rokUplatneniVysledku
n20:2013
n3:tvurceVysledku
Strejček, Jan Slabý, Jiří Trtík, Marek
n3:typAkce
n18:WRD
n3:zahajeniAkce
2013-01-01+01:00
s:issn
0302-9743
s:numberOfPages
7
n19:doi
10.1007/978-3-642-35873-9_17
n8:hasPublisher
Springer-Verlag
n5:isbn
9783642358722
n12:organizacniJednotka
14330