Weight prioritized slicing based on constraint logic programming for fault localization
Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs. Compared to other fault localization techniques, slicing can directly narrow the range of the code which needed checkin...
Uložené v:
| Vydané v: | PloS one Ročník 15; číslo 4; s. e0231331 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
United States
Public Library of Science
10.04.2020
Public Library of Science (PLoS) |
| Predmet: | |
| ISSN: | 1932-6203, 1932-6203 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs. Compared to other fault localization techniques, slicing can directly narrow the range of the code which needed checking by abstracting a program into a reduced one by deleting irrelevant parts. Only minority slicing methods take into account the fact that the probability of different statements leading to failure is different. Moreover, no existing prioritized slicing techniques can work on multilingual programs. In this paper, we propose a new technique called weight prioritized slicing(WP-Slicing), an improved static slicing technique based on constraint logic programming, to help the programmer locate the fault quickly and precisely. WP-Slicing first converts the original program into logic facts. Then it extracts dependences from the facts, computes the static backward slice and calculates the statements' weight. Finally, WP-Slicing provides the slice in a suggested check sequence by weighted-sorting. By comparing it's slice time and locate effort with three pre-exsiting slicing techniques on five real world C projects, we prove that WP-Slicing can locate fault within less time and effort, which means WP-Slicing is more effectively. |
|---|---|
| AbstractList | Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs. Compared to other fault localization techniques, slicing can directly narrow the range of the code which needed checking by abstracting a program into a reduced one by deleting irrelevant parts. Only minority slicing methods take into account the fact that the probability of different statements leading to failure is different. Moreover, no existing prioritized slicing techniques can work on multilingual programs. In this paper, we propose a new technique called weight prioritized slicing(WP-Slicing), an improved static slicing technique based on constraint logic programming, to help the programmer locate the fault quickly and precisely. WP-Slicing first converts the original program into logic facts. Then it extracts dependences from the facts, computes the static backward slice and calculates the statements' weight. Finally, WP-Slicing provides the slice in a suggested check sequence by weighted-sorting. By comparing it's slice time and locate effort with three pre-exsiting slicing techniques on five real world C projects, we prove that WP-Slicing can locate fault within less time and effort, which means WP-Slicing is more effectively. Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs. Compared to other fault localization techniques, slicing can directly narrow the range of the code which needed checking by abstracting a program into a reduced one by deleting irrelevant parts. Only minority slicing methods take into account the fact that the probability of different statements leading to failure is different. Moreover, no existing prioritized slicing techniques can work on multilingual programs. In this paper, we propose a new technique called weight prioritized slicing(WP-Slicing), an improved static slicing technique based on constraint logic programming, to help the programmer locate the fault quickly and precisely. WP-Slicing first converts the original program into logic facts. Then it extracts dependences from the facts, computes the static backward slice and calculates the statements' weight. Finally, WP-Slicing provides the slice in a suggested check sequence by weighted-sorting. By comparing it's slice time and locate effort with three pre-exsiting slicing techniques on five real world C projects, we prove that WP-Slicing can locate fault within less time and effort, which means WP-Slicing is more effectively.Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs. Compared to other fault localization techniques, slicing can directly narrow the range of the code which needed checking by abstracting a program into a reduced one by deleting irrelevant parts. Only minority slicing methods take into account the fact that the probability of different statements leading to failure is different. Moreover, no existing prioritized slicing techniques can work on multilingual programs. In this paper, we propose a new technique called weight prioritized slicing(WP-Slicing), an improved static slicing technique based on constraint logic programming, to help the programmer locate the fault quickly and precisely. WP-Slicing first converts the original program into logic facts. Then it extracts dependences from the facts, computes the static backward slice and calculates the statements' weight. Finally, WP-Slicing provides the slice in a suggested check sequence by weighted-sorting. By comparing it's slice time and locate effort with three pre-exsiting slicing techniques on five real world C projects, we prove that WP-Slicing can locate fault within less time and effort, which means WP-Slicing is more effectively. |
| Author | Zhou, Weijia Xia, Lei Ren, Shengbing Zhou, Haiwei |
| AuthorAffiliation | School of Computer Science and Engineering, Central South University, Changsha, China Shandong University of Science and Technology, CHINA |
| AuthorAffiliation_xml | – name: Shandong University of Science and Technology, CHINA – name: School of Computer Science and Engineering, Central South University, Changsha, China |
| Author_xml | – sequence: 1 givenname: Shengbing orcidid: 0000-0001-7709-4234 surname: Ren fullname: Ren, Shengbing – sequence: 2 givenname: Weijia surname: Zhou fullname: Zhou, Weijia – sequence: 3 givenname: Haiwei surname: Zhou fullname: Zhou, Haiwei – sequence: 4 givenname: Lei surname: Xia fullname: Xia, Lei |
| BackLink | https://www.ncbi.nlm.nih.gov/pubmed/32275731$$D View this record in MEDLINE/PubMed |
| BookMark | eNp9Uktv1DAQtlARfcA_QBCJSy-7-BE_wgEJVQUqVeIC6tGaOE7qldde7ASJ_nqcbha1FeLk8cw333zzOEVHIQaL0GuC14RJ8n4TpxTAr3fFvcaUEcbIM3RCGkZXgmJ29MA-Rqc5bzDmTAnxAh0zSiWXjJygmxvrhtux2iUXkxvdne2q7J1xYahayOUXQ2ViyGMCF8bKx8GZgo5Dgu12RvUxVT1Mfo4Z8O4ORhfDS_S8B5_tq-U9Qz8-X36_-Lq6_vbl6uLT9cpwKsaVbAX0jHNFFQfCFKiOdrhpqVKi44RxITBmvZHcQKd6A9i0jeQtqdu6dGPZGXq75935mPUyk6wpU4oRLOqmIK72iC7CRpc-t5B-6whO3ztiGjSk0RlvNTfUKi64bBiuBTEgMeCe19A3banHCtfHpdrUbm1nbChj8Y9IH0eCu9VD_KUlqaWsVSE4XwhS_DnZPOqty8Z6D8HGaa-7CKd01v3uCfTf3b15qOivlMOGC-DDHmBSzDnZXhs33q9o3qjXBOv5nA7kej4nvZxTSa6fJB_4_5v2B-2J0jw |
| CitedBy_id | crossref_primary_10_3233_JIFS_202931 |
| Cites_doi | 10.1109/TSE.2009.66 10.1145/1571629.1571631 10.1145/2393596.2393610 10.1007/s11704-017-6512-z 10.1016/j.infsof.2018.01.004 10.1016/0020-0190(88)90054-3 10.1145/261640.261644 10.1109/TSE.2009.87 10.1109/ACCESS.2018.2853153 10.1016/j.scico.2014.10.006 10.1049/iet-sen.2018.5137 10.1109/TSE.1984.5010248 10.1016/j.jss.2006.02.040 10.1155/2012/628571 10.1016/j.jss.2015.10.052 |
| ContentType | Journal Article |
| Copyright | 2020 Ren et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. 2020 Ren et al 2020 Ren et al |
| Copyright_xml | – notice: 2020 Ren et al. This is an open access article distributed under the terms of the Creative Commons Attribution License: http://creativecommons.org/licenses/by/4.0/ (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. – notice: 2020 Ren et al 2020 Ren et al |
| DBID | AAYXX CITATION NPM 3V. 7QG 7QL 7QO 7RV 7SN 7SS 7T5 7TG 7TM 7U9 7X2 7X7 7XB 88E 8AO 8C1 8FD 8FE 8FG 8FH 8FI 8FJ 8FK ABJCF ABUWG AEUYN AFKRA ARAPS ATCPS AZQEC BBNVY BENPR BGLVJ BHPHI C1K CCPQU D1I DWQXO FR3 FYUFA GHDGH GNUQQ H94 HCIFZ K9. KB. KB0 KL. L6V LK8 M0K M0S M1P M7N M7P M7S NAPCQ P5Z P62 P64 PATMY PDBOC PHGZM PHGZT PIMPY PJZUB PKEHL PPXIY PQEST PQGLB PQQKQ PQUKI PTHSS PYCSY RC3 7X8 5PM DOA |
| DOI | 10.1371/journal.pone.0231331 |
| DatabaseName | CrossRef PubMed ProQuest Central (Corporate) Animal Behavior Abstracts Bacteriology Abstracts (Microbiology B) Biotechnology Research Abstracts Nursing & Allied Health Database Ecology Abstracts Entomology Abstracts (Full archive) Immunology Abstracts Meteorological & Geoastrophysical Abstracts Nucleic Acids Abstracts Virology and AIDS Abstracts Agricultural Science Collection Health & Medical Collection ProQuest Central (purchase pre-March 2016) Medical Database (Alumni Edition) ProQuest Pharma Collection Public Health Database Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Natural Science Collection Hospital Premium Collection Hospital Premium Collection (Alumni Edition) ProQuest Central (Alumni) (purchase pre-March 2016) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest One Sustainability ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection Agricultural & Environmental Science Collection (ProQuest) ProQuest Central Essentials Biological Science Collection ProQuest Central ProQuest Technology Collection Natural Science Collection Environmental Sciences and Pollution Management ProQuest One Community College ProQuest Materials Science Collection ProQuest Central Korea Engineering Research Database Proquest Health Research Premium Collection Health Research Premium Collection (Alumni) ProQuest Central Student AIDS and Cancer Research Abstracts SciTech Premium Collection ProQuest Health & Medical Complete (Alumni) Materials Science Database Nursing & Allied Health Database (Alumni Edition) Meteorological & Geoastrophysical Abstracts - Academic ProQuest Engineering Collection Biological Sciences Agricultural Science Database ProQuest Health & Medical Collection Medical Database Algology Mycology and Protozoology Abstracts (Microbiology C) ProQuest Biological Science Engineering Database Nursing & Allied Health Premium Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Biotechnology and BioEngineering Abstracts Environmental Science Database Materials Science Collection ProQuest Central Premium ProQuest One Academic Publicly Available Content Database ProQuest Health & Medical Research Collection ProQuest One Academic Middle East (New) ProQuest One Health & Nursing ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition Engineering Collection Environmental Science Collection Genetics Abstracts MEDLINE - Academic PubMed Central (Full Participant titles) DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef PubMed Agricultural Science Database Publicly Available Content Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials Nucleic Acids Abstracts SciTech Premium Collection Environmental Sciences and Pollution Management ProQuest One Applied & Life Sciences ProQuest One Sustainability Health Research Premium Collection Meteorological & Geoastrophysical Abstracts Natural Science Collection Health & Medical Research Collection Biological Science Collection ProQuest Central (New) ProQuest Medical Library (Alumni) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database Virology and AIDS Abstracts ProQuest Biological Science Collection ProQuest One Academic Eastern Edition Agricultural Science Collection ProQuest Hospital Collection ProQuest Technology Collection Health Research Premium Collection (Alumni) Biological Science Database Ecology Abstracts ProQuest Hospital Collection (Alumni) Biotechnology and BioEngineering Abstracts Environmental Science Collection Entomology Abstracts Nursing & Allied Health Premium ProQuest Health & Medical Complete ProQuest One Academic UKI Edition Environmental Science Database ProQuest Nursing & Allied Health Source (Alumni) Engineering Research Database ProQuest One Academic Meteorological & Geoastrophysical Abstracts - Academic ProQuest One Academic (New) Technology Collection Technology Research Database ProQuest One Academic Middle East (New) Materials Science Collection ProQuest Health & Medical Complete (Alumni) ProQuest Central (Alumni Edition) ProQuest One Community College ProQuest One Health & Nursing ProQuest Natural Science Collection ProQuest Pharma Collection ProQuest Central ProQuest Health & Medical Research Collection Genetics Abstracts ProQuest Engineering Collection Biotechnology Research Abstracts Health and Medicine Complete (Alumni Edition) ProQuest Central Korea Bacteriology Abstracts (Microbiology B) Algology Mycology and Protozoology Abstracts (Microbiology C) Agricultural & Environmental Science Collection AIDS and Cancer Research Abstracts Materials Science Database ProQuest Materials Science Collection ProQuest Public Health ProQuest Nursing & Allied Health Source ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest Medical Library Animal Behavior Abstracts Materials Science & Engineering Collection Immunology Abstracts ProQuest Central (Alumni) MEDLINE - Academic |
| DatabaseTitleList | PubMed Agricultural Science Database MEDLINE - Academic |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website – sequence: 2 dbid: NPM name: PubMed url: http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed sourceTypes: Index Database – sequence: 3 dbid: PIMPY name: ProQuest Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Sciences (General) Engineering Computer Science |
| DocumentTitleAlternate | Weight prioritized slicing |
| EISSN | 1932-6203 |
| ExternalDocumentID | 2388310649 oai_doaj_org_article_5c2e85657930461ca70a0f54af9bb403 PMC7147748 32275731 10_1371_journal_pone_0231331 |
| Genre | Journal Article |
| GeographicLocations | China |
| GeographicLocations_xml | – name: China |
| GroupedDBID | --- 123 29O 2WC 53G 5VS 7RV 7X2 7X7 7XC 88E 8AO 8C1 8CJ 8FE 8FG 8FH 8FI 8FJ A8Z AAFWJ AAUCC AAWOE AAYXX ABDBF ABIVO ABJCF ABUWG ACCTH ACGFO ACIHN ACIWK ACPRK ACUHS ADBBV AEAQA AENEX AEUYN AFFHD AFKRA AFPKN AFRAH AHMBA ALMA_UNASSIGNED_HOLDINGS AOIJS APEBS ARAPS ATCPS BAIFH BAWUL BBNVY BBTPI BCNDV BENPR BGLVJ BHPHI BKEYQ BPHCQ BVXVI BWKFM CCPQU CITATION CS3 D1I D1J D1K DIK DU5 E3Z EAP EAS EBD EMOBN ESX EX3 F5P FPL FYUFA GROUPED_DOAJ GX1 HCIFZ HH5 HMCUK HYE IAO IEA IGS IHR IHW INH INR IOV IPY ISE ISR ITC K6- KB. KQ8 L6V LK5 LK8 M0K M1P M48 M7P M7R M7S M~E NAPCQ O5R O5S OK1 OVT P2P P62 PATMY PDBOC PHGZM PHGZT PIMPY PJZUB PPXIY PQGLB PQQKQ PROAC PSQYO PTHSS PV9 PYCSY RNS RPM RZL SV3 TR2 UKHRP WOQ WOW ~02 ~KM 3V. ADRAZ ALIPV BBORY IPNFZ NPM RIG 7QG 7QL 7QO 7SN 7SS 7T5 7TG 7TM 7U9 7XB 8FD 8FK AZQEC C1K DWQXO ESTFP FR3 GNUQQ H94 K9. KL. M7N P64 PKEHL PQEST PQUKI RC3 7X8 5PM - 02 AAPBV ABPTK ADACO BBAFP KM |
| ID | FETCH-LOGICAL-c526t-7b6af3558285a138a8d2d09b2886d513566003fc75cad8fca0cb975b14b4053e3 |
| IEDL.DBID | P5Z |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000535983300050&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1932-6203 |
| IngestDate | Fri Nov 26 17:53:10 EST 2021 Tue Oct 14 19:09:22 EDT 2025 Tue Nov 04 01:59:26 EST 2025 Sun Nov 09 14:06:46 EST 2025 Tue Oct 07 07:36:29 EDT 2025 Wed Feb 19 02:31:09 EST 2025 Tue Nov 18 22:01:44 EST 2025 Sat Nov 29 03:02:09 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| License | This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Creative Commons Attribution License |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c526t-7b6af3558285a138a8d2d09b2886d513566003fc75cad8fca0cb975b14b4053e3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23 Competing Interests: The authors have declared that no competing interests exist. |
| ORCID | 0000-0001-7709-4234 |
| OpenAccessLink | https://www.proquest.com/docview/2388310649?pq-origsite=%requestingapplication% |
| PMID | 32275731 |
| PQID | 2388310649 |
| PQPubID | 1436336 |
| ParticipantIDs | plos_journals_2388310649 doaj_primary_oai_doaj_org_article_5c2e85657930461ca70a0f54af9bb403 pubmedcentral_primary_oai_pubmedcentral_nih_gov_7147748 proquest_miscellaneous_2388831229 proquest_journals_2388310649 pubmed_primary_32275731 crossref_citationtrail_10_1371_journal_pone_0231331 crossref_primary_10_1371_journal_pone_0231331 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-04-10 |
| PublicationDateYYYYMMDD | 2020-04-10 |
| PublicationDate_xml | – month: 04 year: 2020 text: 2020-04-10 day: 10 |
| PublicationDecade | 2020 |
| PublicationPlace | United States |
| PublicationPlace_xml | – name: United States – name: San Francisco – name: San Francisco, CA USA |
| PublicationTitle | PloS one |
| PublicationTitleAlternate | PLoS One |
| PublicationYear | 2020 |
| Publisher | Public Library of Science Public Library of Science (PLoS) |
| Publisher_xml | – name: Public Library of Science – name: Public Library of Science (PLoS) |
| References | pone.0231331.ref006 M. Falaschi (pone.0231331.ref017) 2018 R. Gupta (pone.0231331.ref007) 1997; 6 pone.0231331.ref016 pone.0231331.ref010 Y. Zhang (pone.0231331.ref014) 2016; 114 pone.0231331.ref011 Y. Choi (pone.0231331.ref019) 2015; 103 S. Ren (pone.0231331.ref015) 2019; 7 A. Zakari (pone.0231331.ref001) 2019; 13 B. Korel (pone.0231331.ref005) 1988; 29 W. Masri (pone.0231331.ref012) 2009; 19 M Weiser (pone.0231331.ref004) 1984; SE-10 B. Hofer (pone.0231331.ref018) 2012 E. Pira (pone.0231331.ref002) 2018; 97 Feyzi. Farid (pone.0231331.ref003) 2019; 13 G. K Baah (pone.0231331.ref013) 2010; 36 J Krinke (pone.0231331.ref009) 2006; 79 S. Horwitz (pone.0231331.ref008) 2010; 36 |
| References_xml | – volume: 36 start-page: 7 issue: 1 year: 2010 ident: pone.0231331.ref008 article-title: Better debugging via output tracing and callstack-sensitive slicing publication-title: IEEE Transactions on Software Engineering doi: 10.1109/TSE.2009.66 – start-page: 148 year: 2018 ident: pone.0231331.ref017 article-title: An assertion language for slicing constraint logic languages publication-title: Logic-Based Program Synthesis and Transformation – volume: 19 start-page: 5:1 issue: 2 year: 2009 ident: pone.0231331.ref012 article-title: Measuring the strength of information flows in programs publication-title: ACM Transactions on Software Engineering and Methodology doi: 10.1145/1571629.1571631 – ident: pone.0231331.ref016 – ident: pone.0231331.ref010 doi: 10.1145/2393596.2393610 – ident: pone.0231331.ref011 – volume: 13 start-page: 735 issue: 4 year: 2019 ident: pone.0231331.ref003 article-title: Inforence: effective fault localization based on information-theoretic analysis and statistical causal inference publication-title: Frontiers of Computer Science doi: 10.1007/s11704-017-6512-z – volume: 97 start-page: 110 year: 2018 ident: pone.0231331.ref002 article-title: Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations publication-title: Information and Software Technology doi: 10.1016/j.infsof.2018.01.004 – volume: 29 start-page: 155 year: 1988 ident: pone.0231331.ref005 article-title: Dynamic program slicing. Information Processing Letters publication-title: Information Processing Letters doi: 10.1016/0020-0190(88)90054-3 – volume: 6 start-page: 370 issue: 4 year: 1997 ident: pone.0231331.ref007 article-title: Hybrid slicing: Integrating dynamic information with static analysis publication-title: ACM Transactions on Software Engineering and Methodology doi: 10.1145/261640.261644 – volume: 36 start-page: 528 issue: 4 year: 2010 ident: pone.0231331.ref013 article-title: The probabilistic program dependence graph and its application to fault diagnosis publication-title: IEEE Transactions on Software Engineering doi: 10.1109/TSE.2009.87 – volume: 7 start-page: 62352 year: 2019 ident: pone.0231331.ref015 article-title: Scenario oriented program slicing for large-scale software through constraint logic programming and program transformation publication-title: IEEE Access doi: 10.1109/ACCESS.2018.2853153 – volume: 103 start-page: 51 issue: C year: 2015 ident: pone.0231331.ref019 article-title: Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation publication-title: Science of Computer Programming doi: 10.1016/j.scico.2014.10.006 – volume: 13 start-page: 60 issue: 1 year: 2019 ident: pone.0231331.ref001 article-title: Software fault localisation: a systematic mapping study publication-title: IET Software doi: 10.1049/iet-sen.2018.5137 – volume: SE-10 start-page: 352 issue: 4 year: 1984 ident: pone.0231331.ref004 article-title: Program slicing publication-title: IEEE Transactions on Software Engineering doi: 10.1109/TSE.1984.5010248 – ident: pone.0231331.ref006 – volume: 79 start-page: 1249 issue: 9 year: 2006 ident: pone.0231331.ref009 article-title: Effects of context on program slicing publication-title: Journal of Systems and Software doi: 10.1016/j.jss.2006.02.040 – start-page: 1 year: 2012 ident: pone.0231331.ref018 article-title: Combining slicing and constraint solving for better debugging: The conbas approach publication-title: Advances in Software Engineering doi: 10.1155/2012/628571 – volume: 114 start-page: 38 issue: C year: 2016 ident: pone.0231331.ref014 article-title: Prioritized static slicing and its application to fault localization publication-title: Journal of Systems and Software doi: 10.1016/j.jss.2015.10.052 |
| SSID | ssj0053866 |
| Score | 2.3264775 |
| Snippet | Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of... |
| SourceID | plos doaj pubmedcentral proquest pubmed crossref |
| SourceType | Open Website Open Access Repository Aggregation Database Index Database Enrichment Source |
| StartPage | e0231331 |
| SubjectTerms | Algorithms Biology and Life Sciences Computer and Information Sciences Computer science Computers Dependence Engineering Engineering and Technology Fault location Localization Logic programming Methods Physical Sciences Probability Research and Analysis Methods Researchers Slicing Social Sciences Weight |
| SummonAdditionalLinks | – databaseName: DOAJ Directory of Open Access Journals dbid: DOA link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1JT9wwFLYqxKEXxNKWKYuM1AMcAokdLzkCKuKAUA8tcItsxxEjDclolh749bxne6YMQuLSa_yi2G_x-7zke4T8QMbeRnieceFggSJllWmvXMZtayDDKM8Dz_bdjbq91Q8P1a9Xpb7wTlikB46KOxOOeY1nc1XgBndG5SZvRWnaytoy8nwC6lkspuIcDFEsZfpRjqviLNnldNx3_hQZz2JRuX-JKPD1I7_pqJ--hzXfXpl8lYOuNslGAo_0PHZ6i3zy3TbZSuE5pceJQ_pkh9zfhy1POp4Me6QtevYNBUTpIFFRTFwN7TvqEBtiiYgZDTMgTZe1nlAKwCxtzXyEbWDH9LvmF_Ln6ufvy-ss1VDInGBylikrTYsU6kwLU3BtdMOavLJMa9mIggOag7hunRLONLp1Jne2UsIWJShXcM-_krUOtLZLqOOce8ATvgDIWIBca6W3uS-4rZxndkD4QqG1SwTjOIhRHU7NFCw0oppqNEOdzDAg2fKtcSTY-ED-Am21lEV67PAAnKZOTlN_5DQDsouWXnxgWgNwwYprsqwGZH9h_febj5bNEIh4umI638-jDAgxBjLforMsOwmzphIKO69W3GhlFKst3fAxkH2rogR16-__Y9h75DPD7QKkqsz3ydpsMvcHZN39nQ2nk8MQQS-QdiLt priority: 102 providerName: Directory of Open Access Journals – databaseName: Public Library of Science (PLoS) Journals Open Access dbid: FPL link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1Lb9QwEB6hwgEOlC6PLhRkJA5wSEns9SNHQKw4VFUPQHuLbMcRKy3Jah8c-us74zhLt2qFuMZjxR7P2J899jcA74ixt5ZBZEJ63KAoVWYmaJ8J11hcYXQQkWf754k-PTUXF-XZ343ijQi-0MXHpNPjRdeGY2IrE_Rs-j4XStEVrunZyTDzou8qlZ7H3VVzZ_mJLP3EajrvVrchzJsXJa-tPNP9_23zE3icMCb71BvFAdwL7Qj2h_wNLLnzCB5dIyMcwUH6vmLvExf1h6dwfh6PTtliOeuI_ugy1AyRqccajBbAmnUt84QxKdXEmsWZlKVLX79JCkExa-xmTmVoD-nZ5zP4Mf36_cu3LOViyLzkap1pp2xDVOzcSFsIY03N67x03BhVy0IgKsT5ofFaelubxtvcu1JLV0wcQkIRxHPYa1Ebh8C8ECIgLgkFQs8C5RqngstDIVzpA3djEMMQVT4RlVMn5lWMvmncsPR6rEi9VVLvGLJtrUVP1PEP-c80-ltZotmOH3Acq-S1lfQ8GAoMl5GY3lud27yRE9uUDvslxnBItjP8YFUhAKLMbWpSjuFosKfbi99ui9GhKUpj29BtehkU4hxlXvTmt20kzr5aamq83jHMnV7slrSzX5E0XBcTVLd5eXeLX8FDTocJRGSZH8HeerkJr-GB_7OerZZvoqddAbpmKs0 priority: 102 providerName: Public Library of Science |
| Title | Weight prioritized slicing based on constraint logic programming for fault localization |
| URI | https://www.ncbi.nlm.nih.gov/pubmed/32275731 https://www.proquest.com/docview/2388310649 https://www.proquest.com/docview/2388831229 https://pubmed.ncbi.nlm.nih.gov/PMC7147748 https://doaj.org/article/5c2e85657930461ca70a0f54af9bb403 http://dx.doi.org/10.1371/journal.pone.0231331 |
| Volume | 15 |
| WOSCitedRecordID | wos000535983300050&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: DOA dateStart: 20060101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M~E dateStart: 20060101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: P5Z dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Agricultural Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M0K dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/agriculturejournals providerName: ProQuest – providerCode: PRVPQU databaseName: Biological Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M7P dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/biologicalscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: M7S dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Environmental Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: PATMY dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/environmentalscience providerName: ProQuest – providerCode: PRVPQU databaseName: Health & Medical Collection customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 7X7 dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/healthcomplete providerName: ProQuest – providerCode: PRVPQU databaseName: Materials Science Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: KB. dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/materialsscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Nursing & Allied Health Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 7RV dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/nahs providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: BENPR dateStart: 20061201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Publicly Available Content Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: PIMPY dateStart: 20061201 isFulltext: true titleUrlDefault: http://search.proquest.com/publiccontent providerName: ProQuest – providerCode: PRVPQU databaseName: Public Health Database customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: 8C1 dateStart: 20061201 isFulltext: true titleUrlDefault: https://search.proquest.com/publichealth providerName: ProQuest – providerCode: PRVATS databaseName: Public Library of Science (PLoS) Journals Open Access customDbUrl: eissn: 1932-6203 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0053866 issn: 1932-6203 databaseCode: FPL dateStart: 20060101 isFulltext: true titleUrlDefault: http://www.plos.org/publications/ providerName: Public Library of Science |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3Nb9MwFLfYxgEOjJWPFUZlJA5wSJfETeycEJ1WgbZV0YCt7BLZjgOVSlKalgN_Pe85TreiCQ5c3iF-Vuy8Dz8_O79HyCtE7M0jwzwWadigxHHiCcO1x1QhYYXhhlmc7YtTPh6LySRJXcKtdtcqW59oHXVeacyRH8LSgjWx4kHydv7Dw6pReLrqSmhskR1ESUDDTKOr1hODLcex-12O8eDQSac_r0rTR9yzprTc9XJkUfsR5XRW1bdFnH9enLyxEo12_3cOD8kDF4PSd43S7JE7puyQ3ba-A3Xm3iH3b4AVdsiee17T1w6r-s0jcnlpU6t0vphWCI_0y-QUIlcNPSgukDmtSqoxBsVSFEtqPS11l8K-IxcEzbSQqxm2gb6430Ifk8-j409H7z1Xq8HTURgvPa5iWSBUeygiGTAhRR7mfqJCIeI8ChhEjeA_Cs0jLXNRaOlrlfBIBQMFISMz7AnZLkEu-4RqxpiBuMUEEJoGwFeo2CjfBEwl2oSqS1grskw7IHOcxCyzp3McNjTNd8xQ0JkTdJd4617zBsjjH_xD1IY1L8Jw2wfV4mvmrDqLdGgEHhwnFrheS-5Lv4gGskgUzIt1yT7qUvuCOrvWgC45aHXk9uaX62YweDzFkaWpVg0PMIUh8Dxt1HE9SPDOPOI4eL6hqBuz2Gwpp98sqDgPBvC5xbO_D-s5uRdiwgHBLv0Dsr1crMwLclf_XE7rRY9s8fMLpBNuqQAqjoIe2Rkej9Pznk14AB2lp0BPhn2gZ_4JUp5a-rFnLRh6pB_O0i-_AZUyST0 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9NAEB6VggQcKA2PBgosEkhwcGvvxl77gBCvqlVDxKHQ3Mzueg2Rgh3iBAQ_it_IjL12G1TBqQeu3nGyu_7mtY9vAB4RY28WWuGJ0GCCEkWJF1tpPKFzhR5GWlHzbH8YytEoHo-Td2vwq70LQ8cqW5tYG-qsNLRGvouuhWpiRYPk-eyrR1WjaHe1LaHRwOLQ_viOKVv17OA1ft_HnO-9OXq177mqAp4JebTwpI5UTqTiPA5VIGIVZzzzE83jOMrCQGB8g0jPjQyNyuLcKN_oRIY6GGgMboQV-LsX4CLacUlHyOS4S_DQdkSRu54nZLDr0LAzKwu7QzxrTSm7E_dXVwkgVtVpWZ0V4f55UPOU59vb-N_m7DpcczE2e9EoxSas2aIHG239CubMWQ-uniJj7MGme16xJ46L--kNOD6ul47ZbD4pif7pp80YRuYG32AUAGSsLJihGJtKbSxY7UmYO_T2haQwKWC5Wk6pDfXBXXu9Ce_PZQZuwXqBONgCZoQQFuMyG2DoHaBcriOrfRsInRjLdR9EC5HUOKJ2GsQ0rXcfJSZszTymBKzUAasPXvfWrCEq-Yf8S0JfJ0s04_WDcv4pdVYrDQ23MW2MJzUxv1HSV34eDlSeaByX6MMWYbf9gyo9QVwftltMnt38sGtGg0a7VKqw5bKRQSHOUeZ2A_-uk-h9ZCip83JFMVZGsdpSTD7XpOkyGOB0x3f-3q0HcHn_6O0wHR6MDu_CFU6LK0Ts6W_D-mK-tPfgkvm2mFTz-7XmM_h43mrzG5Fpl_0 |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VghAcKF0eXShgJJDgkG5ir-PkgBBQKqpWqz0ArbgE23FgpSVZ9gGCn8avYyZxtl1UwakHrvFk13a-efnxDcAjYuzNpROBkBYTlDhOg8QpGwhTaPQwyomaZ_v9oRoMkuPjdLgGv9q7MHSssrWJtaHOK0tr5D10LVQTK-6nvcIfixju7j2ffA2oghTttLblNBqIHLgf3zF9mz3b38Vv_ZjzvddvX70JfIWBwEoezwNlYl0QwThPpI5EopOc52FqeJLEuYwExjqI-sIqaXWeFFaH1qRKmqhvMNARTuDvXoCLCnNMSvyG8kPrBdCOxLG_qidU1PPI2JlUpdshzrWmrN2JK6wrBhDD6rianRXt_nlo85QX3Nv4n-fvOlzzsTd70SjLJqy5sgMbbV0L5s1cB66eImnswKZ_PmNPPEf30xtwdFQvKbPJdFQRLdRPlzOM2C2-wSgwyFlVMkuxN5XgmLPawzB_GO4LSWGywAq9GFMb6om_DnsT3p3LDNyC9RIxsQXMCiEcxmsuwpA8QrnCxM6ELhImtY6bLogWLpn1BO40iHFW70oqTOSaecwIZJkHWReC5VuThsDkH_IvCYlLWaIfrx9U00-Zt2aZtNwltGGe1oT9VqtQh4Xs6yI1OC7RhS3CcfsHs-wEfV3YbvF5dvPDZTMaOtq90qWrFo0MCnGOMrcbVVh2Er2Skoo6r1aUZGUUqy3l6HNNpq6iPk53cufv3XoAl1FbssP9wcFduMJpzYX4PsNtWJ9PF-4eXLLf5qPZ9H5tBBh8PG-t-Q3uJaDw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Weight+prioritized+slicing+based+on+constraint+logic+programming+for+fault+localization&rft.jtitle=PloS+one&rft.au=Ren%2C+Shengbing&rft.au=Zhou%2C+Weijia&rft.au=Zhou%2C+Haiwei&rft.au=Xia%2C+Lei&rft.date=2020-04-10&rft.pub=Public+Library+of+Science&rft.eissn=1932-6203&rft.volume=15&rft.issue=4&rft.spage=e0231331&rft_id=info:doi/10.1371%2Fjournal.pone.0231331&rft.externalDBID=HAS_PDF_LINK |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1932-6203&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1932-6203&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1932-6203&client=summon |