SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013, s. 268-274. ISBN 978-3-642-35872-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35873-9_17. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1075388, author = {Slabý, Jiří and Strejček, Jan and Trtík, Marek}, address = {Berlin, Heidelberg}, booktitle = {Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013}, doi = {http://dx.doi.org/10.1007/978-3-642-35873-9_17}, editor = {Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni}, keywords = {Bug database; classified bug-reports}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin, Heidelberg}, isbn = {978-3-642-35872-2}, pages = {268-274}, publisher = {Springer}, title = {ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools}, year = {2013} }
TY - JOUR ID - 1075388 AU - Slabý, Jiří - Strejček, Jan - Trtík, Marek PY - 2013 TI - ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools PB - Springer CY - Berlin, Heidelberg SN - 9783642358722 KW - Bug database KW - classified bug-reports N2 - 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. ER -
SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. \textit{Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013}. Berlin, Heidelberg: Springer, 2013, s.~268-274. ISBN~978-3-642-35872-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35873-9\_{}17.
|