{"id":66,"date":"2015-06-18T12:50:31","date_gmt":"2015-06-18T11:50:31","guid":{"rendered":"http:\/\/spreadsheets.ist.tugraz.at\/?page_id=66"},"modified":"2015-07-21T10:05:30","modified_gmt":"2015-07-21T08:05:30","slug":"integer-corpus","status":"publish","type":"page","link":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/corpora-for-benchmarking\/integer-corpus\/","title":{"rendered":"Integer Corpus"},"content":{"rendered":"

The special feature of this corpus is — as the name suggests — that it consists of spreadsheets with Integer values only.\u00a0The corpus consists of 33 spreadsheets, 21 of them are real-life spreadsheets while 12 are artificially created. The spreadsheets are used for a variety of purposes, e.g. for determining the winner of Wimbledon and\u00a0for calculating the lowest price combination of a shopping list.\u00a0The spreadsheets use arithmetical and logical operations as well as the functions SUM<\/em> and IF<\/em> in their formulas. The \u00a0size of the spreadsheets vary from 7 to 233 formulas, with an average of 39 formulas.<\/p>\n

From the 33 base spreadsheets, 231 faulty versions were created by randomly selecting formula cells and applying one of the mutation operators defined by Abraham and Erwig<\/a> on them. \u00a0We seeded up to three faults into a single copy of a spreadsheet.\u00a0More details about the creation of the faulty spreadsheets can be found in our paper “The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets<\/a>“.<\/p>\n

The Integer corpus can be downloaded\u00a0here<\/a>.\u00a0\u00a0If you want to cite this corpus, please refer to the initial paper using the following bibtex entry.<\/p>\n

@inproceedings{Ausserlechner2013,
\nauthor = {Simon Ausserlechner and Sandra Fruhmann and Wolfgang Wieser and Birgit Hofer and Raphael Spork and Clemens Muhlbacher and Franz Wotawa},
\ntitle = {The Right Choice Matters! {SMT} Solving Substantially Improves Model-Based Debugging of Spreadsheets},
\nbooktitle = {2013 13th International Conference on Quality Software (QSIC)},
\npublisher = {{IEEE}},
\nisbn = {978-1-4799-0500-3},
\npages = {139--148},
\nyear = {2013},
\ndoi = {10.1109\/QSIC.2013.46},
\n}
\n<\/code><\/div>\n","protected":false},"excerpt":{"rendered":"

The special feature of this corpus is — as the name suggests — that it consists of spreadsheets with Integer values only.\u00a0The corpus consists of 33 spreadsheets, 21 of them are real-life spreadsheets while 12 are artificially created. The spreadsheets are used for a variety of purposes, e.g. for determining the winner of Wimbledon and\u00a0for … Continue reading Integer Corpus<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":5,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-66","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/66","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/comments?post=66"}],"version-history":[{"count":5,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/66\/revisions"}],"predecessor-version":[{"id":161,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/66\/revisions\/161"}],"up":[{"embeddable":true,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/5"}],"wp:attachment":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=66"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}