{"id":69,"date":"2015-06-22T14:58:51","date_gmt":"2015-06-22T13:58:51","guid":{"rendered":"http:\/\/spreadsheets.ist.tugraz.at\/?page_id=69"},"modified":"2017-11-13T16:57:55","modified_gmt":"2017-11-13T15:57:55","slug":"publications","status":"publish","type":"page","link":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/papers\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<p>All publications listed here are linked to the publisher web pages\u00a0(Springer Link, IEEE Xplore, &#8230;). In case you cannot download the papers from these web pages, please contact\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/spreadsheets1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-85\" src=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/spreadsheets1.jpg\" alt=\"spreadsheets\" width=\"212\" height=\"17\" \/><\/a>.<\/p>\n<h4>Journals<\/h4>\n<ul>\n<li>Birgit Hofer, Andrea H\u00f6fler, Franz Wotawa:<br \/>\n<a href=\"http:\/\/ieeexplore.ieee.org\/abstract\/document\/7805307\/\">Combining Models for Improved Fault Localization in Spreadsheets.<\/a>\u00a0 IEEE Transactions on Reliability, Volume: 66, Issue:1, pages 38-53, March 2017.<\/li>\n<li>Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa:\u00a0<a href=\"http:\/\/link.springer.com\/article\/10.1007%2Fs10515-014-0145-3\">On the empirical evaluation of similarity coefficients for spreadsheets fault localization<\/a>. Automated Software Engineering 22(1): 47-74 (2015).<\/li>\n<li>Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa: <a href=\"http:\/\/link.springer.com\/article\/10.1007%2Fs11219-014-9236-4\">Using constraints to diagnose faulty spreadsheets<\/a>. \u00a0Software Quality Journal 23(2): 297-322 (2015).<\/li>\n<li>Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa: <a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121214000788\">Avoiding, finding and fixing spreadsheet errors &#8211; A survey of automated approaches for spreadsheet QA<\/a>. Journal of Systems and Software 94: 129-150 (2014).<\/li>\n<\/ul>\n<h4>Conferences<\/h4>\n<ul>\n<li>Birgit Hofer, Iulia Nica and\u00a0Franz Wotawa: AI for localizing faults in spreadsheets.\u00a0 The 29th International conference on Testing Software and Systems (ICTSS): 2017, 71-87.<\/li>\n<li>Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick Koch, Kostyantyn Shchekotykhin and Franz Wotawa: A Decomposition-Based Approach to Spreadsheet Testing and Debugging.\u00a0IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC): 2017.<\/li>\n<li>Elisabeth Getzner, Birgit Hofer, and Franz Wotawa:<br \/>\n<a href=\"http:\/\/ieeexplore.ieee.org\/document\/8009914\/\">Improving Spectrum-Based Fault Localization for Spreadsheet Debugging<\/a>. The 2017 IEEE International Conference on\u00a0Software Quality, Reliability and Security (QRS): 102-113, 2017.\u00a0\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2017\/09\/2017_07_QRS_Tie_breaking.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Franz Wotawa, Rui Abreu, and Simon Au\u00dferlechner:<br \/>\n<span class=\"bold\"><a href=\"http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-25945-1_8\">Testing for Distinguishing Repair Candidates in Spreadsheets &#8211; the Mussco Approach<\/a>. <\/span>The 27th International Conference on Testing Software and Systems (ICTSS): 124-140, 2015.<\/li>\n<li>Birgit Hofer, Franz Wotawa:\u00a0<a href=\"http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=7272943&amp;tag=1\">Fault localization in the light of faulty user input<\/a>.\u00a0The 2015 IEEE International Conference on Software Quality, Reliability &amp; Security (QRS 2015): 282-291. <a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/09\/2015_08_QSIC_wrongUserInput.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Franz Wotawa:\u00a0<a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6982619\">Why Does my Spreadsheet Compute Wrong Values?<\/a> 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014): 112-121.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2014_11_ISSRE_models.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa: <a href=\"http:\/\/ebooks.iospress.nl\/publication\/37103\">Generation of Relevant Spreadsheet Repair Candidates<\/a>. \u00a021st European Conference on Artificial Intelligence (ECAI 2014 ): 1027-1028.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2014_08_ECAI_dist_TC.pdf\">[Poster]<\/a><\/li>\n<li>Birgit Hofer, Franz Wotawa: <a href=\"http:\/\/ebooks.iospress.nl\/publication\/37104\">Comparing Models for Spreadsheet Fault Localization<\/a>.\u00a021st European Conference on Artificial Intelligence (ECAI 2014 ): 1029-1030.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2014_08_ECAI_models.pdf\">[Poster]<\/a><\/li>\n<li>Birgit Hofer, Andr\u00e9 Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner: <a href=\"http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-642-37057-1_6\">On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets<\/a>. \u00a016th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Lecture Notes in Computer Science: 68-82.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2013_03_FASE_Spreadsheets.pdf\">[Slides]<\/a><\/li>\n<li>Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Sp\u00f6rk, Clemens Muhlbacher, Franz Wotawa: <a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6605919\">The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets<\/a>. 2013 13th International Conference on Quality Software (QSIC 2013): 139-148.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2013_07_QSIC_SMT.pdf\">[Slides]<\/a><\/li>\n<\/ul>\n<h4>Workshops<\/h4>\n<ul>\n<li>Birgit Hofer, Iulia Nica, and Franz Wotawa:\u00a0Qualitative Deviation Models for Spreadsheet Debugging.\u00a08th IEEE International Workshop on Program Debugging (lSSRE Workshops):\u00a0 2017,\u00a0to appear. <a href=\"http:\/\/paris.utdallas.edu\/iwpd17\/docs\/IWPD2017-Wotawa.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer:\u00a0Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging.\u00a08th IEEE International Workshop on Program Debugging (lSSRE Workshops):\u00a0 2017.\u00a0 <a href=\"http:\/\/paris.utdallas.edu\/iwpd17\/docs\/IWPD2017-Hofer.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Iulia Nica, and Franz Wotawa: <a href=\"http:\/\/qrg.northwestern.edu\/qr2017\/papers\/QR2017_paper_9.pdf\">Qualitative deviation models vs. quantitative models for fault localization in spreadsheets<\/a>.\u00a030th Workshop on Qualitative Reasoning (QR): 2017.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2017\/09\/2017_08_QR_comparison_model.pdf\">[Slides]<\/a><\/li>\n<li>Patrick W. Koch,\u00a0 Birgit Hofer,\u00a0 Franz Wotawa: <a href=\"http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?arnumber=7789397\">Static Spreadsheet Analysis<\/a>. 7th IEEE International Workshop on Program Debugging (lSSRE Workshops)\u00a0 2016: 167-174.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2017\/09\/2016_11_IWPD_StaticSpreadsheetAnalysis.pdf\">[Slides]<\/a><\/li>\n<li>Franz Wotawa: <a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2016\/08\/qr_models_for_diagnosis.pdf\">On the use of qualitative deviation models for diagnosis<\/a>. 29th International\u00a0Workshop Qualitative Reasoning\u00a0 (QR), 2016, New York, U.S.A.<\/li>\n<li>Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa: <a href=\"http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-50230-4_28\">Fragment-Based Diagnosis of Spreadsheets<\/a>. 3rd International Workshop on Software Engineering Methods in Spreadsheets, 2016: 372-387.<\/li>\n<li>Birgit Hofer, Franz Wotawa:\u00a0<a href=\"http:\/\/dx-2014.sai.tugraz.at\/papers\/DX14_Tue_AM_S1_paper4.pdf\">Improving dependency-based models for fault localization in spreadsheets. <\/a>25th International Workshop on Principles of Diagnosis (DX 2014). BEST PAPER AWARD<\/li>\n<li>Birgit Hofer:<a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6983850\"> Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality<\/a>. 5th IEEE International Workshop on Program Debugging (IWPD 2014), ISSRE (Supplemental Proceedings) 2014: 263-268.\u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2014_11_IWPD_hofer.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin, Franz Wotawa: <a href=\"http:\/\/ceur-ws.org\/Vol-1209\/paper_1.pdf\">Tool-supported fault localization in spreadsheets: Limitations of current research practice<\/a>. International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2014). \u00a0<a href=\"https:\/\/spreadsheets.sai.tugraz.at\/wp-content\/uploads\/sites\/3\/2015\/06\/2014_07_SEMS_benchmarks.pdf\">[Slides]<\/a><\/li>\n<li>Birgit Hofer, Franz Wotawa:<a href=\"http:\/\/ceur-ws.org\/Vol-1209\/paper_5.pdf\"> On the Usage of Dependency-based Models for Spreadsheet Debugging<\/a>. International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2014).<\/li>\n<li>Birgit Hofer, Franz Wotawa: <a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6688892\">Mutation-based spreadsheet debugging<\/a>. 4th IEEE International Workshop on Program Debugging (IWPD 2013), ISSRE (Supplemental Proceedings) 2013: 132-137. BEST PAPER AWARD<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>All publications listed here are linked to the publisher web pages\u00a0(Springer Link, IEEE Xplore, &#8230;). In case you cannot download the papers from these web pages, please contact\u00a0. Journals Birgit Hofer, Andrea H\u00f6fler, Franz Wotawa: Combining Models for Improved Fault Localization in Spreadsheets.\u00a0 IEEE Transactions on Reliability, Volume: 66, Issue:1, pages 38-53, March 2017. Birgit &hellip; <a href=\"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/papers\/publications\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Publications<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":9,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-69","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/69","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=69"}],"version-history":[{"count":30,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/69\/revisions"}],"predecessor-version":[{"id":366,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/69\/revisions\/366"}],"up":[{"embeddable":true,"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/9"}],"wp:attachment":[{"href":"https:\/\/spreadsheets.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=69"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}