This page presents results in support of the article: "Model Checking-Enhanced Spectrum-Based Fault Localization".
Author : Mohammed BEKKOUCHE
Affiliation : Maître de conférence classe B à 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
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:
BugAssist+EWSR: https://drive.google.com/file/d/1goI7uwfaJXlPEeUKn5XH5y5xpE5-p33K/view?usp=drive_link
Tcasv2
Source code: https://drive.google.com/file/d/1u9xW3miPuOAZJ53_FlXQ8Fw3eDMFBbK1/view?usp=drive_link
The considered faulty instruction is on line: 63
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:
BugAssist+EWSR: https://drive.google.com/file/d/1mIhRrZjoAuAlVj3nraSma5lJcT3eJleF/view?usp=drive_link
Tcasv3
Source code: https://drive.google.com/file/d/1C_1SS8eAUSjx8hhevsi40MGStojaq5Er/view?usp=drive_link
The considered faulty instruction is on line: 120
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:
BugAssist+EWSR: https://drive.google.com/file/d/1lbOQTbXBjBz_PsKtYvYgrfSvaYIVZ1ld/view?usp=drive_link
Tcasv4
Source code: https://drive.google.com/file/d/19eZlH0ycV_3hqOGSKXuRbr1-WhGuvUcG/view?usp=drive_link
The considered faulty instruction is on line: 79
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:
BugAssist+EWSR: https://drive.google.com/file/d/1kulahh6UPEGBlRgJ_7Rt9nr8Vw3U-nYf/view?usp=drive_link
Tcasv5
Source code: https://drive.google.com/file/d/1hyVtSq5X6jC7mBvX8VUGHOVqLe3e5a8e/view?usp=drive_link
The considered faulty instruction is on line: 118
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:
BugAssist+EWSR: https://drive.google.com/file/d/1tzcKkvfIMbaIsP3Q4QygMWy8bnxeZgpY/view?usp=drive_link
Tcasv6
Source code: https://drive.google.com/file/d/1C8YKjJ0lCxMEKPpl-_H3QnLyTmZfrHtu/view?usp=drive_link
The considered faulty instruction is on line: 104
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:
BugAssist+EWSR: https://drive.google.com/file/d/1tNXBiHtE-Mwirbo-puaEfhrIzk6n5iuL/view?usp=drive_link
Tcasv7
Source code: https://drive.google.com/file/d/1RfWgXVQmUlpYJe7PRVx8Ce9hs39eDxbI/view?usp=drive_link
The considered faulty instruction is on line: 51
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:
BugAssist+EWSR: https://drive.google.com/file/d/1T84SibPwCWqPlkepjG2euVrZ7wVVHO3y/view?usp=drive_link
Tcasv8
Source code: https://drive.google.com/file/d/1V9c8-Y9kOPrg0OXt32pPpknT_-emZqBY/view?usp=drive_link
The considered faulty instruction is on line: 53
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:
BugAssist+EWSR: https://drive.google.com/file/d/1qDWqDOoy-BZtKOscwru0J-Vt8HT5nhby/view?usp=drive_link
Tcasv9
Source code: https://drive.google.com/file/d/1jELyA5ubxjk4scpprab6AJ9whj9J9V1l/view?usp=drive_link
The considered faulty instruction is on line: 89
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:
BugAssist+EWSR: https://drive.google.com/file/d/1KSR-q0ffb3gLAyJQYhfpvz7DzBE9BUZN/view?usp=drive_link
Tcasv10
Source code: https://drive.google.com/file/d/1v0IE9NeA2BIjL7fI7yV4wK-GhPvQnxRV/view?usp=drive_link
The considered faulty instruction is on line: 105
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:
BugAssist+EWSR: https://drive.google.com/file/d/1qy-tHP3j6QLw09OM81fPefHkBUYt9hHt/view?usp=drive_link
Tcasv11
Source code: https://drive.google.com/file/d/1JTotENJxF9Pw58cXeZqhEEvgZeWOejRH/view?usp=drive_link
The considered faulty instruction is on line: 106
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:
BugAssist+EWSR: https://drive.google.com/file/d/1zB8LlpkF0AZE8w1VZzRabsxiLHuHACUn/view?usp=drive_link
Tcasv12
Source code: https://drive.google.com/file/d/1aQ40pgbjuHE-HMlJRN_7zuIF1eTiuFmz/view?usp=drive_link
The considered faulty instruction is on line: 118
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:
BugAssist+EWSR: https://drive.google.com/file/d/1CjjjFH0cpVLfPw9D1lSjCZI550Cf6ah8/view?usp=drive_link
Tcasv13
Source code: https://drive.google.com/file/d/1tiy-UHLPyB47vKrhINV46mOAt4tbfh-G/view?usp=drive_link
The considered faulty instruction is on line: 118
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:
BugAssist+EWSR: https://drive.google.com/file/d/1R5mCoQT3afQC8Lsvd4TwrVrCJq04PJAZ/view?usp=drive_link
Tcasv14
Source code: https://drive.google.com/file/d/1vZNxn1nCaAR86y5SRr0j6AGJj3fKYoG_/view?usp=drive_link
The considered faulty instruction is on line: 118
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:
BugAssist+EWSR: https://drive.google.com/file/d/1h2VsdeZ6loFJCJ8wOQH0RZ4awpaQGOFD/view?usp=drive_link
Tcasv15
Source code: https://drive.google.com/file/d/1JGqI2u-RnKVF1I3eu8r_HuJj55FzmrSB/view?usp=drive_link
The considered faulty instruction is on line: 93
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:
BugAssist+EWSR: https://drive.google.com/file/d/1CHEbtZqCXbkhqbv9z0Qx3WUF9JXiXGYO/view?usp=drive_link
Tcasv16
Source code: https://drive.google.com/file/d/1hwvHHsQKCVSqRwYf5pujHRbydk6qhLcd/view?usp=drive_link
The considered faulty instruction is on line: 50
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:
BugAssist+EWSR: https://drive.google.com/file/d/1aS4GBYCqwUKg3GCaEMgbWmIKgM6NbBYY/view?usp=drive_link
Tcasv17
Source code: https://drive.google.com/file/d/1wBDSDddOKWtzYzjDFpdLSQq8Of1lWDy0/view?usp=drive_link
The considered faulty instruction is on line: 51
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:
BugAssist+EWSR: https://drive.google.com/file/d/1najMavXN0UR_gyKwcFkK9VWy26aqwVSD/view?usp=drive_link
Tcasv18
Source code: https://drive.google.com/file/d/1qrlRLCMP4rZG1RYmXekftzFwb4SZmrfH/view?usp=drive_link
The considered faulty instruction is on line: 52
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:
BugAssist+EWSR: https://drive.google.com/file/d/10OQjYR1faRUzyJCWoxNMIuy-P__dlDCc/view?usp=drive_link
Tcasv19
Source code: https://drive.google.com/file/d/1cq1Pg-345DnXuYQ4mvDmrZaSQraFAWIc/view?usp=drive_link
The considered faulty instruction is on line: 53
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:
BugAssist+EWSR: https://drive.google.com/file/d/1Ke9IFat-5D6MSsqjQ_daFwdgx_EIZSaW/view?usp=drive_link
Tcasv20
Source code: https://drive.google.com/file/d/1MHEo60L4BRdyWXs4Qd8vSB5a-JuNmt32/view?usp=drive_link
The considered faulty instruction is on line: 72
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:
BugAssist+EWSR: https://drive.google.com/file/d/1VXEr3rFDHFuBnpjarYQmRZ5pC1fWhZl-/view?usp=drive_link
Tcasv21
Source code: https://drive.google.com/file/d/1ykFmk2zdOBOt8pyWfGJtCSNCxfbTBO_B/view?usp=drive_link
The considered faulty instruction is on line: 72
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:
BugAssist+EWSR: https://drive.google.com/file/d/18sDp2dykxTfVs_rW1T9PuLg8hPCwSUkB/view?usp=drive_link
Tcasv22
Source code: https://drive.google.com/file/d/1-hgSUEX4LFGgQKnmkY7leSO2L-p3Mbtb/view?usp=drive_link
The considered faulty instruction is on line: 72
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:
BugAssist+EWSR: https://drive.google.com/file/d/1JAX987N-gtR6-nBbECllvYzzuC-dXkuZ/view?usp=drive_link
Tcasv23
Source code: https://drive.google.com/file/d/1W1Mqo-P3r9zH-Lww4ltgRP8hQqTEh8xW/view?usp=drive_link
The considered faulty instruction is on line: 90
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:
BugAssist+EWSR: https://drive.google.com/file/d/1pAfmXJy3-A_QzWszRgZkMKiyzS7-SVwp/view?usp=drive_link
Tcasv24
Source code: https://drive.google.com/file/d/14tyagbpE_j_quTBTG45xQvU3h97VesP6/view?usp=drive_link
The considered faulty instruction is on line: 90
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:
BugAssist+EWSR: https://drive.google.com/file/d/1z9haHXFQ5G_DWzHTW3KPzR21ClZIfysM/view?usp=drive_link
Tcasv25
Source code: https://drive.google.com/file/d/1o-3_Dwc01s0OwnELf0xH15QEtdHT03yZ/view?usp=drive_link
The considered faulty instruction is on line: 97
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:
BugAssist+EWSR: https://drive.google.com/file/d/1MJGUfv4Mz5Rt6YvBkBtqPIr_9eTT2Rf4/view?usp=drive_link
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
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:
BugAssist+EWSR: https://drive.google.com/file/d/13zi7rS444el9frnPoFEKfc1VvykO8iu1/view?usp=drive_link
Tcasv27
Source code: https://drive.google.com/file/d/12TSptaM2eVAsmoM2ANfFkHzyOLqVw5_f/view?usp=drive_link
The considered faulty instruction is on line: 118
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:
BugAssist+EWSR: https://drive.google.com/file/d/1g60EyE5SoTvpa6-oiwWeS1be80MqTf5k/view?usp=drive_link
Tcasv28
Source code: https://drive.google.com/file/d/1VeLr9BbO7prjgYaf38KZQcRZRfc9C72Y/view?usp=drive_link
The considered faulty instruction is on line: 63
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:
BugAssist+EWSR: https://drive.google.com/file/d/1FoazFx9ppo-Xj5e04j4aEFyItN10Eq5R/view?usp=drive_link
Tcasv29
Source code: https://drive.google.com/file/d/14ItjCyanbHEgchHptvGVETjXdKcu5SZI/view?usp=drive_link
The considered faulty instruction is on line: 63
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:
BugAssist+EWSR: https://drive.google.com/file/d/1Ba3oHbdNNmfhs2CWfKsAKXUPm9kgGdfV/view?usp=drive_link
Tcasv30
Source code: https://drive.google.com/file/d/1cT8sQv2dCzYdUT1mP66QK34MJuFtXVR0/view?usp=drive_link
The considered faulty instruction is on line: 63
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:
BugAssist+EWSR: https://drive.google.com/file/d/1K8jhFeNSo46NUeiNDvdoqlVIS_-m4hp7/view?usp=drive_link
Tcasv31
Source code: https://drive.google.com/file/d/1JVITEQqwPampBsCsAlTQ6G03oYx-o1DB/view?usp=drive_link
The considered faulty instruction is on line: 76
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:
BugAssist+EWSR: https://drive.google.com/file/d/1VWOzHcvudDDRh9hEbp9Lz8i0ukKKS8PI/view?usp=drive_link
Tcasv32
Source code: https://drive.google.com/file/d/1FeT-vWszKNXDKODqwQOrhJgg20mwmXHN/view?usp=drive_link
The considered faulty instruction is on line: 99
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:
BugAssist+EWSR: https://drive.google.com/file/d/1ja2F9y0s4qmpYdVLOLKA8jW2hnNM1Ckt/view?usp=drive_link
Tcasv34
Source code: https://drive.google.com/file/d/1g5VQIm84F6kiK27Dt2plHLisxfJDsvuk/view?usp=drive_link
The considered faulty instruction is on line: 124
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:
BugAssist+EWSR: https://drive.google.com/file/d/1IvtgLp9GGPm7QyxMM4p4jSTuCb11KC6z/view?usp=drive_link
Tcasv35
Source code: https://drive.google.com/file/d/1E3GQ8QhQploataZKLkGqnwz_mf4oOdAx/view?usp=drive_link
The considered faulty instruction is on line: 63
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:
BugAssist+EWSR: https://drive.google.com/file/d/1NiQJQ3WVB0J33LhAOHy2_oPHE69_xD2p/view?usp=drive_link
Tcasv36
Source code: https://drive.google.com/file/d/1Uj64g9PwU9DkyzqfbUpcVEoANxQ7E2ur/view?usp=drive_link
The considered faulty instruction is on line: 136
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:
BugAssist+EWSR: https://drive.google.com/file/d/1Hq7HQs4f_vA8abd3qZp7p8xGHPiv0Mpg/view?usp=drive_link
Tcasv37
Source code: https://drive.google.com/file/d/1WaiC38k5v_WaCOr6pjmt91CSkTeZ5iIi/view?usp=drive_link
The considered faulty instruction is on line: 58
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:
BugAssist+EWSR: https://drive.google.com/file/d/16Ysqdp0D00mdox6CONy-RsiyuDkR65zE/view?usp=drive_link
Tcasv39
Source code: https://drive.google.com/file/d/13ONqxBVjO17Tho-ToDliMvQEpLlJ17C-/view?usp=drive_link
The considered faulty instruction is on line: 97
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:
BugAssist+EWSR: https://drive.google.com/file/d/1qsxPstRviOofcup-yAOw6YvmhkTHrHeu/view?usp=drive_link
Tcasv40
Source code: https://drive.google.com/file/d/1A-8FUNgMVERryr97itJieJQgBdkmVMGl/view?usp=drive_link
The considered faulty instruction is on line: 126
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:
BugAssist+EWSR: https://drive.google.com/file/d/14FcHhS83lRq7moby58J5zapudzb2IDGc/view?usp=drive_link
Tcasv41
Source code: https://drive.google.com/file/d/1d5p6wUqIF-yDqR3Fh05PDBE6yQ2wQQR-/view?usp=drive_link
The considered faulty instruction is on line: 79
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:
BugAssist+EWSR: https://drive.google.com/file/d/1MuQ_yeMlLViMy0oLks85fRnLWjbVCHV6/view?usp=drive_link