Enhanced Fault Localization with Multiple Counterexamples

EXPERIMENTS ON FAULT LOCALIZATION

This page presents results in support of the article: "Combining Model Checking and Spectrum-Based Fault Localization with Multiple Counterexamples".

Author : Mohammed BEKKOUCHE

Affiliation : Maître de conférence classe A (HDR) à l'École Nationale Supérieure en Informatique de Sidi Bel Abbès, Algérie

Experiments

The original source code for Tcas:

https://drive.google.com/file/d/1Zfm3MNnhB6EurHtaD45tEjXE34BOcoSR/view?usp=drive_link

All test cases that were used:

https://drive.google.com/file/d/1tBllmTN6LQJYWYlrBozZyBBELotfs7bX/view?usp=drive_link

Tcasv1

Source code: https://drive.google.com/file/d/10pK1w6YFz8x4zyFavjLOHJWSSCs7ADYc/view?usp=drive_link
The considered faulty instruction is on line: 75
The considered counterexamples: https://drive.google.com/file/d/11FkNw9x6XQpOuufmnZWLEMzqSFOSPdU4/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1ItGB_2R8Rh8xZqFidvirA0XNpeWgkb2h/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1PVxyDqUHD71Rt43hmv1nfs3BQy765W3b/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1OHfrWonnxpiCVi85r6pPkXVKuAt1vp_a/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1MLBOaTREOTt2p9gUIZLOy3uGQvqwb9wI?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1A0ftRUGLAE6NNyQqCaAYUqnyGwlygE6u?usp=sharing

Tcasv2

Source code: https://drive.google.com/file/d/1u9xW3miPuOAZJ53_FlXQ8Fw3eDMFBbK1/view?usp=drive_link
The considered faulty instruction is on line: 63
The considered counterexamples: https://drive.google.com/file/d/18CxY0g4mcQzyL0nDRP2-pn2C8zFda8k0/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/19lQSJ0zlvHjDEm49Cj5b4GgcdBix6DOX/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1R95X20S0TGodx4YvizoMCQ6xQ0o1dX2k/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1JMoKZWyBGFTTj3M2--uUVoFZPSGNHUVM/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1o46lrdtR6u31YjJm6dlltHD5_TUqfdOK?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1oDIO6m0GcSFCVhCf69OLW8hBLcH_z5wG?usp=sharing

Tcasv3

Source code: https://drive.google.com/file/d/1C_1SS8eAUSjx8hhevsi40MGStojaq5Er/view?usp=drive_link
The considered faulty instruction is on line: 120
The considered counterexamples: https://drive.google.com/file/d/1Ki0d8mQnx7IIqFPoXzJiwN8_JB9rR1yX/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1Ju3wIu5aggefp-MhmOXqagWKj39-3bJN/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1uZwdEgbhrxdrfOWHEZQ_w8R2c1xxSPAX/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1B_7QlVZBSZJwcafXVWMIOkCJQr2VpycQ/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1a5UDMUiChW36T4jgiU1fgOdoBl_pKluD?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1_BAiRCf5DrOma839dcQRGjHFLZ-bDOmN?usp=sharing

Tcasv4

Source code: https://drive.google.com/file/d/19eZlH0ycV_3hqOGSKXuRbr1-WhGuvUcG/view?usp=drive_link
The considered faulty instruction is on line: 79
The considered counterexamples: https://drive.google.com/file/d/1_mQ6z7rfV_DjvOJPUfEKy_6J49xq9CCe/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1a1BvQsq1gI_buFz6spk-E2EVAHkMwBb9/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1nzpqzlhDsq6e1jvM9Nk51jinOmhIVKsr/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1IeAS3czt8Qv73M13ZlBBuRBV4ohJR0hM/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1dU6VXgtCGAQTdEyI-kV-Fqcz1j6XUmcs?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1PtOnYUiOBw9qEjpvtR_eh-LaCfAtgxHo?usp=sharing

Tcasv5

Source code: https://drive.google.com/file/d/1hyVtSq5X6jC7mBvX8VUGHOVqLe3e5a8e/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1BSlVwgtoGoBkfijugTLAUJAu3exZdbSP/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1Yjbc3G7s63eCFGOCudtFYndrvBWNaIWT/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1iUCTSbRym68yk9IsaiuJimUtydDzExNj/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1Pr6BWS3qN_ufgkxSyxmrQ9pZPfp7Hrak/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/19p1bsLMu1h0AN0i-GFj5NnNqTKchXDKM?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1aeTfO2-M9uMpK5dAhF1CJljubP9FRZY_?usp=sharing

Tcasv6

Source code: https://drive.google.com/file/d/1C8YKjJ0lCxMEKPpl-_H3QnLyTmZfrHtu/view?usp=drive_link
The considered faulty instruction is on line: 104
The considered counterexamples: https://drive.google.com/file/d/1hl3UeZpHi40ClF1nijrd-4ggW9koQjI5/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1NYZ6l_S7cKgv62XXdyMoB3d1E7x4V2fl/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1Mhumuh-7PvGIMsKAtOdMPhkpEPshA_Io/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1B1DQl3zRzVIIzfxFFDSj2eljULvo5G99/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1dsm8Un5Z-zJGUtzNhwz5Hxfv4XAwYdr5?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/19WLuYlX9Kqs1flLY43xY8Hd7FZ-PwVdW?usp=sharing

Tcasv7

Source code: https://drive.google.com/file/d/1RfWgXVQmUlpYJe7PRVx8Ce9hs39eDxbI/view?usp=drive_link
The considered faulty instruction is on line: 51
The considered counterexamples: https://drive.google.com/file/d/18zTi5ltruuTWdtFZahufT-6zfHjBEXgT/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1IIGWqwQTfYd9Lbqf-QxvsrjAK4cKgl2L/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/13nKbBhpUtrMApO5uynG0ZZrosKiuhuji/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1FdajGM3W2QZ6xPg3IjD5q5Irvs-7a4cq/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1ICyDVBWrPK_HU1pirigbW3qoFZr-H5Sa?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1CpR9v2E2AoPosPjkUv1qIbh5g-5F-t3p?usp=sharing

Tcasv8

Source code: https://drive.google.com/file/d/1V9c8-Y9kOPrg0OXt32pPpknT_-emZqBY/view?usp=drive_link
The considered faulty instruction is on line: 53
The considered counterexamples: https://drive.google.com/file/d/1VaRD_8sLT6nUyZxtSlCviB_r-zIhQMiI/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1fvi6RjAtuGejPgbE_mpfMcjh7h4GKxPm/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1cHZlsQTfGDjyiR278S9tJgjP2t05GMAi/view?usp=drive_link

EWSR: https://drive.google.com/file/d/14Do-d18ZeXQBsFDRDVuIxKF81OSlO1Aa/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1aAPCekUzqU5g5ID4PQdGPrAcE7Wu5SKs?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1a_dzVRPD_EWpe9xGSecSdGpSwXxnRXUf?usp=sharing

Tcasv9

Source code: https://drive.google.com/file/d/1jELyA5ubxjk4scpprab6AJ9whj9J9V1l/view?usp=drive_link
The considered faulty instruction is on line: 89
The considered counterexamples: https://drive.google.com/file/d/1pn52dNgvsQOUiukLqnE66r1TxtJ9lnDg/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1oHc0ZEb6whz1OvD3K5D0Wd1yd_nuOD3w/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1ifTLLsuzKcnbgIDXLIxIpGzTJ9U5AAXR/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1wIe73N8mpM2btQVfmsY1J3uB_MqrFq5j/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1IwCvoQchDPiA_b5ilLm4Ud-VMjIeU8yB?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/11FJKdaCPQiQO1WwoEDfVG_tK5kJ8zouF?usp=sharing

Tcasv10

Source code: https://drive.google.com/file/d/1v0IE9NeA2BIjL7fI7yV4wK-GhPvQnxRV/view?usp=drive_link
The considered faulty instruction is on line: 105
The considered counterexamples: https://drive.google.com/file/d/1-caIA1eZPB6t_NMaed1WKCGFiOKYsd9O/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/15w4NPRFTxj7f0sMH-zufsIsVLsG0Meqi/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1w6xIDIQpkw6-ST_aBdZTb0dzOpNcpoVA/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1at7G6aHKR-43EqlTFi6DDuRzlYA_obsb/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1bXA8GHVjvCMxFrBXFZYuVuWNb7yOFsqR?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1q2GovRI3njxR0o5aBmBV8nHeTmDlBhV9?usp=sharing

Tcasv11

Source code: https://drive.google.com/file/d/1JTotENJxF9Pw58cXeZqhEEvgZeWOejRH/view?usp=drive_link
The considered faulty instruction is on line: 106
The considered counterexamples: https://drive.google.com/file/d/1saT8Sc0bsi2mkZPJ6fvKhFOafUegVtYN/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1nJgobBaZFu6DIRLOcStwohxYpS3Bnhml/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1yUg0-y8gcs94a4gPq4g6SS0rU8j4_FVw/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1F3QYifFW5hTVGeREoKX65AcHgaWIROB4/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1D6WW4fgssLxGqJAS42gykMj9HF-0EpUZ?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1tIPeLdwcjg_EbSjypyfqcBueAPxMTh5i?usp=sharing

Tcasv12

Source code: https://drive.google.com/file/d/1aQ40pgbjuHE-HMlJRN_7zuIF1eTiuFmz/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1xqkQ8ss4lNtV4mRpZI9D-6K7kZh7b9A4/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/19niVsuPY1GANgPP0iV59cLoPhTNpiHpG/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1IvmbjxxHzqav9jS3bT9fLeasWGFjsL2a/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1D8EnnUE8R_VNxgk-cAvXsGrvh64Kp2I0/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1-oLGLWYFoHuKCyYPAu4kNQ4_wyXIfePm?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1KgXRtQ5lRkWtf-iAXJC16Dg_z7xpMDMb?usp=sharing

Tcasv13

Source code: https://drive.google.com/file/d/1tiy-UHLPyB47vKrhINV46mOAt4tbfh-G/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1TIE2Lt-u25q9tHyvOB1XdS0AHQ2VCGkO/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1I1cBSJiz1_qy2Kxqve69np_lCfiM2REf/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1VD8Lwm-oL93M3SzOWxMDvZGdbVLaudVh/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1RaroNU2ag138KFlH9sAob1S3hLfiDTMg/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1DjAm-cz_s30zhHDRv5QLlPzn_KfboD6C?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1PK8II1z5udCDB_NaPQ3S9zSEtj-SnwNL?usp=sharing

Tcasv14

Source code: https://drive.google.com/file/d/1vZNxn1nCaAR86y5SRr0j6AGJj3fKYoG_/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1sAbqqlIEuXwH3sLSegW0RQOoTB2SFShX/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1Q5QjuqfNmrPdh9lemvWFOEslLPA0r0N5/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1RpuRWSsP3j6FnX81aBP4ZRHcV_WDKwYJ/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1zv-qKcGaCPJKRPiiX5DyGDmgy1zACZW7/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/141r7rnnkdW-kQKDovyJQfcfQMKIHVKzF?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1op-9tTafQdD9W7bFxeGqGEfEGxJ2PzZh?usp=sharing

Tcasv15

Source code: https://drive.google.com/file/d/1JGqI2u-RnKVF1I3eu8r_HuJj55FzmrSB/view?usp=drive_link
The considered faulty instruction is on line: 93
The considered counterexamples: https://drive.google.com/file/d/1Z0lmWMe0rjCsZyBr_GDFAI1ZWBJKSs5S/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1gZFRat4n_rP4kypPIFEmKlPECrNue1CE/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1y4AQuhQ0T3cQWw7GyOTKd8k7s5fGWR7a/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1jqI8TNBIYJLLVhBPi0NKcVhsBes_ma3w/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1KJzt73zyU8sbtojXvEZUURadScPaRgmb?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1NQaGGX1jpF6TgU2-q1K6u3pK0XJ87cxD?usp=sharing

Tcasv16

Source code: https://drive.google.com/file/d/1hwvHHsQKCVSqRwYf5pujHRbydk6qhLcd/view?usp=drive_link
The considered faulty instruction is on line: 50
The considered counterexamples: https://drive.google.com/file/d/1ZQ-wTlCw2LMSPScWjRCFwC-NvEy_12j-/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1_9gPnOA3Sjr6H4LHKyVimKiYgxdG7lQN/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1t46Zu8rkRw5DycXKyPCIP9dBwjELAmP7/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1jAWfqeKvzsV-nE361VlCkoN5PjxvO0HX/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1lVLf9l5_OZQYgiDQHJ42pNJYH6usgxQu?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/18JCKRAb0SVgIjSPRqWgwnnjbn6m0X8ib?usp=sharing

Tcasv17

Source code: https://drive.google.com/file/d/1wBDSDddOKWtzYzjDFpdLSQq8Of1lWDy0/view?usp=drive_link
The considered faulty instruction is on line: 51
The considered counterexamples: https://drive.google.com/file/d/1GxUZSsJHumDnlkwFq12ENQ-qvGNzN-Ew/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1niJl-6xFN0o6h2bo_pW_IYNTb47m_DX4/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1jF5VF_qoyN9xOIQ-jfV_H0SDvCwR6ZJS/view?usp=drive_link

EWSR: https://drive.google.com/file/d/14xvVwvKPKl85ZTJ4k6W0Sr7rna8z5TL6/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/14cvJho39KpR93WigCt2_ak4AoQ1Qjdbz?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/15JjIHrw7MrQwW9mgb6XCZD-4wwolyu6Q?usp=sharing

Tcasv18

Source code: https://drive.google.com/file/d/1qrlRLCMP4rZG1RYmXekftzFwb4SZmrfH/view?usp=drive_link
The considered faulty instruction is on line: 52
The considered counterexamples: https://drive.google.com/file/d/1T7jIqGM0F7pdH7BBRQR4h1e1shJbViH6/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1-MDXUvVg-6tJa48zNx9-pQdbFKvt_hTB/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1lCkcIl7jt-zpe_8ZJNN44DdFHHtPcHSD/view?usp=drive_link

EWSR: https://drive.google.com/file/d/15OpctFme6fwC0cRbKnXcsRpA_RXgJt8V/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1a64aARs2PIXv3xaCnbtqIYNuY-5scxkH?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1huY6uAumEvoGJ2Tsw_JJ2DObWlP6QtSo?usp=sharing

Tcasv19

Source code: https://drive.google.com/file/d/1cq1Pg-345DnXuYQ4mvDmrZaSQraFAWIc/view?usp=drive_link
The considered faulty instruction is on line: 53
The considered counterexamples: https://drive.google.com/file/d/15_KCh0KKQ83ugW0xAQisNT-tikzEJt_L/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1CStm3nrpodYwtQ0Uwpr63ANSjVf9NOjD/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1aOXtsP54VhmylbibH7gpo3YuNmhQhd3d/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1vjIblKGnXHSwzOh_hksLnLsJg2k9nRWJ/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1pV6YgRNkOuQ4P7K6SU4y4e-bPW1iYHzw?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1n0Ih4ph88A6FxLMd5rj6ZSbXdtg8Hvok?usp=sharing

Tcasv20

Source code: https://drive.google.com/file/d/1MHEo60L4BRdyWXs4Qd8vSB5a-JuNmt32/view?usp=drive_link
The considered faulty instruction is on line: 72
The considered counterexamples: https://drive.google.com/file/d/1QXJ0hO6Gxvtus2_1Qal0iA3eeYYXPB3R/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1udaGaxP2TyuEfcfN29PlVEVywayPmalR/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1vG9Qz_57exSFZWgeQuUoXnMj5BDNcVFF/view?usp=drive_link

EWSR: https://drive.google.com/file/d/19_4tRDcGgEnIbJyw_BmAVODKqdLUaMyj/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1ha_gXjvnf4SeI09c5LGUDMrjun6oq1Iv?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1V-PsXCpgUGgg51wwi13gjqFh9Ce9ixxt?usp=sharing

Tcasv21

Source code: https://drive.google.com/file/d/1ykFmk2zdOBOt8pyWfGJtCSNCxfbTBO_B/view?usp=drive_link
The considered faulty instruction is on line: 72
The considered counterexamples: https://drive.google.com/file/d/1hy2YWUWEYjafYeF8czwbll6d7eyhHlQU/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/16L6iBagauaNkbYOuX9LRN6ZrVEZjwQNB/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1bK-cq6ubE3UXcIzmUcNUH_WqrzMdcNYm/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1vIeQRzLHfrAok3ZJdd7XtclOTbMw-24J/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1UHlsMPTmKeb-ncU90XH1T_YJlukMp4Xa?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1f67LwEbaDvowdBv4zM3ZCGEo9g2n7Nw8?usp=sharing

Tcasv22

Source code: https://drive.google.com/file/d/1-hgSUEX4LFGgQKnmkY7leSO2L-p3Mbtb/view?usp=drive_link
The considered faulty instruction is on line: 72
The considered counterexamples: https://drive.google.com/file/d/1oJpsDt6PHb2yqeZfg408jMKZ_LtL1tM-/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1ZVH_FsaTnk9NjHNgOUKeiTcNqkh3eolB/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/15-c8UVlA6fJg76hvA0l5BQfHki8C9e69/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1qWGe_ajANaw5lPT5gTgZEL8c2TSbxe4v/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/12WoKbJY8DES2ag8ZfvetgItDolw1v_qE?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1ugB1BT9AswkO9YhVjLJInyoetu_Fphhl?usp=sharing

Tcasv23

Source code: https://drive.google.com/file/d/1W1Mqo-P3r9zH-Lww4ltgRP8hQqTEh8xW/view?usp=drive_link
The considered faulty instruction is on line: 90
The considered counterexamples: https://drive.google.com/file/d/1wEKFkJ8rVVNBZwgW4N7LKJJMoTMRS2et/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1AwVHpXYUv38VsA7BMbUfzWiSMlSCbqpa/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/13S4eEbwO49wfXejYaTChw6_5kRMHaf8y/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1mC5n2GvtVe5ihzYTli4HUhhmwJnUtOVQ/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1xdMQ0kDsyTxOJ9uj6iCEYJPLU9kaQM-7?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1yaZGm6E6wRFa1HwrE4VIwyrIFiZgMJ9I?usp=sharing

Tcasv24

Source code: https://drive.google.com/file/d/14tyagbpE_j_quTBTG45xQvU3h97VesP6/view?usp=drive_link
The considered faulty instruction is on line: 90
The considered counterexamples: https://drive.google.com/file/d/1fayky_0_H6_3mIOEjAovwoWVr_KM5_Ks/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1YCb-BdZ8yRy1rneMxOPw6E2rNRjPikp0/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1Zq8wXp9cVW_0w2omuNoUhK8v82QPs4K6/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1ZyAj6nN7mBLCpB-Yew9AxfjCytSMWniy/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1Wnzf2O8nlM89tJC0ye1T77ft4u4UeZ-P?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1WI_G9RdRTck17RwdBOJnoIaVjU1l8lOM?usp=sharing

Tcasv25

Source code: https://drive.google.com/file/d/1o-3_Dwc01s0OwnELf0xH15QEtdHT03yZ/view?usp=drive_link
The considered faulty instruction is on line: 97
The considered counterexamples: https://drive.google.com/file/d/1j_CV5-24FpZKPF4MMI6TFDzFaavacMRT/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1TWghS__oLLsPlG-PvGsGYZrxMA-EqRPH/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1b_9SPf4LWWvrIqOodWrdj-2dEyQ5Jyp6/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1saPHPDV75bRQOaSTb3D6q4lY637GbkI9/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1p9YZkdllGIvTwrgn1aNXOffFTVYk58H6?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1kcGVJ9H_SBsOXhQxKf--BV7qEZVwOmI-?usp=sharing

Tcasv26

Source code: https://drive.google.com/file/d/1viMa0fcKNQs2c_Wo-5ova0pPLnB-E4cR/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1ifuhyVYIYiCRKjr5lNTfcmd7ZmdiQZfg/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1Ps6dX_VC2FI56bhreFeoQZhUKptj-V40/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1-rrXKRAbyGYJr042DTYISlEo1tqP5v7H/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1StvGIw8j7TrnHG8Ca6n5hGBTLUe2r8Tr/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1HV3SKfw1Fp15uSaN1X-Jp3jlG2ooYuCQ?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1za7-2OS0_RlOa5DlSWAJygceKOx5DgDn?usp=sharing

Tcasv27

Source code: https://drive.google.com/file/d/12TSptaM2eVAsmoM2ANfFkHzyOLqVw5_f/view?usp=drive_link
The considered faulty instruction is on line: 118
The considered counterexamples: https://drive.google.com/file/d/1VV0jZ0u7i44BgFgGbqzZmemY4B4dSJ2E/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1XQ7KbgQc5mPGulY8QUcJfY90SHGxuUOr/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1FBUzTqTa1prMI9c5YstAlvGTq4GA2H9i/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1Xaw7__b5kkJ0yB_4NoeFYZmw77oIWJ4l/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1XlBOsr8wfdAdEJEl2PpTRHAOygO4AfhB?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/14sufZu8_T4iyFMDwRduAMEOLdqpQLLgB?usp=sharing

Tcasv28

Source code: https://drive.google.com/file/d/1VeLr9BbO7prjgYaf38KZQcRZRfc9C72Y/view?usp=drive_link
The considered faulty instruction is on line: 63
The considered counterexamples: https://drive.google.com/file/d/1WCKMZ0a4pMaqV9O3fqjpnJ8WeT8B3843/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1NFN8z1MjY1JSktozU9if4wE-QoCwY0Ht/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1bwOL1YSCASpRhnE2WM0FchdYJ0FGgr2H/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1KlHH4PLoL1SYdoywRlqzjaxSJHk_J8mf/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1bsHUiGa38LenoQkO8-g1boknJovCasnf?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1_mTKrhsJuduELpAYKDHGfcA-68gePS5R?usp=sharing

Tcasv29

Source code: https://drive.google.com/file/d/14ItjCyanbHEgchHptvGVETjXdKcu5SZI/view?usp=drive_link
The considered faulty instruction is on line: 63
The considered counterexamples: https://drive.google.com/file/d/1M4Q52P13AbmLJABOq90LajRc48JgyMh6/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1RkFTwpJ4fJMSbhIgwXSkm0n9UETjyK-g/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1OoFN8xJ0ZqWNc0xjr0cdQobZc9rDA7Wi/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1fCTwikF5Z5gvXcqUuNFUXdehbsIl03t1/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/15rZa0S5sN1iB5EaP2pNJFL5XBw4n8AIL?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1Ck5um6tgS8hpFDGp7mT5ln9lEGSVpdB4?usp=sharing

Tcasv30

Source code: https://drive.google.com/file/d/1cT8sQv2dCzYdUT1mP66QK34MJuFtXVR0/view?usp=drive_link
The considered faulty instruction is on line: 63
The considered counterexamples: https://drive.google.com/file/d/1JMOS4hQ6BUTQegcX03pvih1uYzrBk-bJ/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1lji7_oJGNwa7eht1bY91BXctP-zhSMQr/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/15Bf-0igoPv3r_ZnlscA8KP6EkGYoEw8_/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1WQg_SJlFLYASTtJKuJJS0dzjkmr9AIQA/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1jxMzcWtMk5A75VMMdr3h3VoorDKiBL26?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/150zMIjN8_BAj1oeD7wkk5JAaLeKI551n?usp=sharing

Tcasv31

Source code: https://drive.google.com/file/d/1JVITEQqwPampBsCsAlTQ6G03oYx-o1DB/view?usp=drive_link
The considered faulty instruction is on line: 76
The considered counterexamples: https://drive.google.com/file/d/1SJYvp26H1AYUUbDEuSDLhEWXrxTVPwUr/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1NrqTAri_unOtdXjiZhMjyzFc7Go-IANq/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1pC2k5CVolWFr_jxAGNeGxLAeimLncYiS/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1-EzvVwPY2eR-x3i1vLiYHG8Y4p8skdJL/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1b24t2JXN4P0YG5sF8U-fIfwi_wuKR1cW?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/16cln6yHXARoB8ApqV45jVd3x-ASfce5_?usp=sharing

Tcasv32

Source code: https://drive.google.com/file/d/1FeT-vWszKNXDKODqwQOrhJgg20mwmXHN/view?usp=drive_link
The considered faulty instruction is on line: 99
The considered counterexamples: https://drive.google.com/file/d/1NLDsH16NHmHbAJ0DcolX9P7ltON_xKTk/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1AGi7Tq5iTw97-EEnu2ydSnuslgzBb_5T/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1tycBp1t5UtFwQTH8U2U4ZW3Rg2DFV-ty/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1V8rJevvIDwjEZjitpSJ3T3nZuF3xsvw8/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1cXHzPIyZ_WChTEC8o4lfPMF4UCD2gVwR?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1ZEKyMW5aGAAt-maYn9D0FvIA-4HMxEnv?usp=sharing

Tcasv34

Source code: https://drive.google.com/file/d/1g5VQIm84F6kiK27Dt2plHLisxfJDsvuk/view?usp=drive_link
The considered faulty instruction is on line: 124
The considered counterexamples: https://drive.google.com/file/d/1Vr-XzMg89MLMQSkBgsHkZfe6jWkb5wk7/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1IV1dRGYeFfqqCBCg7KWACd1pNPlWYEGp/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1PERu4B_KIeKfaGMPmJWsujzWvV_20hIA/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1qDAMlHz3xpmqgwjqYYOqaD_avy-LWOqH/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/13_Dqi2U9tWnsQtLPvb7ezYJQiPyGsliD?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1qTVBb7_MD-8ODV2mbVq6oNaQk9R6mfry?usp=sharing

Tcasv35

Source code: https://drive.google.com/file/d/1E3GQ8QhQploataZKLkGqnwz_mf4oOdAx/view?usp=drive_link
The considered faulty instruction is on line: 63
The considered counterexamples: https://drive.google.com/file/d/11x34iz0GxjawxqvM5_winxZLkFH4SX-4/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1eiysQQFhDZk-50iG1xc4dhB3WrTMg82X/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1AhntEWS8zfjIi1ac6KFfx5YjmeRwNeYz/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1uDihxtGNiqxyp_M8m2reP4HKAvtpHPk8/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1CasIs8VwpK7c2lHRgcyYPc3_21UrlKsa?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/13_1FRMo0nq0Nop1n_PP9Yz3LG_Hyjk2o?usp=sharing

Tcasv36

Source code: https://drive.google.com/file/d/1Uj64g9PwU9DkyzqfbUpcVEoANxQ7E2ur/view?usp=drive_link
The considered faulty instruction is on line: 136
The considered counterexamples: https://drive.google.com/file/d/1MDXxVxishcGxNJ6mFfEzijx3Ml0e92cv/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/19TfOctxMue-O4tu6wy9yRMMU6HcAnvFV/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1AELqEa6ngjAUr2gEUNCj8wQwuIw8yRYH/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1WhgF0y4Kklu74upVwYjE2PMldhmH6qyg/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1u0iudvSiRrq1soSN2YNgto_LovldhZ3k?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1SBE8Cd0LpR3OxwdjwZxWOQlCayy6s0PV?usp=sharing

Tcasv37

Source code: https://drive.google.com/file/d/1WaiC38k5v_WaCOr6pjmt91CSkTeZ5iIi/view?usp=drive_link
The considered faulty instruction is on line: 58
The considered counterexamples: https://drive.google.com/file/d/1nonVb2Jjg5SkMGXsclTUt32UXHGm5Xh-/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1UaDVi1HRvK9rCaL3lmk86NOcj79CsH2S/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1iIaORifz3J30uaSPYSVtxxxQUux34sgo/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1SMfF3gGIWWFinAqFCNtIGnrOTQ9beZvg/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1cCF7NRNL6NgTMoGUirJ1DwqjQPER1k7Y?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/16Ni_RgP278TzbbmNXrTWLrPoc6uTEvN4?usp=sharing

Tcasv39

Source code: https://drive.google.com/file/d/13ONqxBVjO17Tho-ToDliMvQEpLlJ17C-/view?usp=drive_link
The considered faulty instruction is on line: 97
The considered counterexamples: https://drive.google.com/file/d/1fiZVspk40sMsq1F6BfeUYhoKNFbdh7ag/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1CzVmzPfNk53uqbyjRWmoDJeMxNl6EYRy/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1N1cFOBYlTVvgaLgw6npYENOANZVGix1m/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1TaVEGuHjwZmAgYArmBj5Nu-GYqH-BXik/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1MhaEDsll-etdexlIxmNBuIA9yCzp4a8H?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1GlEdD6NNAOR86LUH9qqBa19FXcl5hRsz?usp=sharing

Tcasv40

Source code: https://drive.google.com/file/d/1A-8FUNgMVERryr97itJieJQgBdkmVMGl/view?usp=drive_link
The considered faulty instruction is on line: 126
The considered counterexamples: https://drive.google.com/file/d/1dWoykKKpmoxnX39-Ocx12mRVREDhYYrI/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1V19_zx8zdx90jPcXi_xmkKZ5E-UnX90E/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1zy6H7z5Tfls-i_Gdic2MqSZTD95ISEXl/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1b4_zMY9dmR_GkH3b1LX8vslaOvFviOOu/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1pRmtjjtFjrBLmRdxYBWVST9O_hMf8UfV?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1Zpo1Hh6p_MDwEEeZDyj2Jp_-6hiDPK2X?usp=sharing

Tcasv41

Source code: https://drive.google.com/file/d/1d5p6wUqIF-yDqR3Fh05PDBE6yQ2wQQR-/view?usp=drive_link
The considered faulty instruction is on line: 79
The considered counterexamples: https://drive.google.com/file/d/1xNoyxujXYJv8OdL3iTv3UwfSdn6vPOPL/view?usp=sharing
Results:

- Pure spectrum-based fault localization:

Ochiai: https://drive.google.com/file/d/1sj-kP8YFQ0cOybooDgW3mzabUXr3Nfnn/view?usp=drive_link

Tarantula: https://drive.google.com/file/d/1NZh54QVR1hBUd5uOFt32zKbpZBdS0LkG/view?usp=drive_link

EWSR: https://drive.google.com/file/d/1QzOZVwMR3tZ7yEHFoQha_Fej-Pva1fr2/view?usp=drive_link

- Combination of model checking and spectrum-based fault localization, results for each single counterexample:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1eP8yj0NYLkxQAR8YHlCjQJOoW4h22Wnz?usp=sharing

- Combination of model checking and spectrum-based fault localization with multiple counterexamples:

BugAssist+Ochiai: https://drive.google.com/drive/folders/1XT6Zy_7e-I0DmPljtiibNuCDLKgOsecG?usp=sharing

Page updated

Report abuse