Prioritized static slicing and its application to fault localization
•We build a model PrioSlice that prioritizes statements in a static slice.•Not all statements in a static slice are equally likely to propagate effects.•Some data dependencies are more likely to occur than others.•Control dependencies are less likely than data dependencies to propagate effects.•Prio...
Gespeichert in:
| Veröffentlicht in: | The Journal of systems and software Jg. 114; S. 38 - 53 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Elsevier Inc
01.04.2016
Elsevier Sequoia S.A |
| Schlagworte: | |
| ISSN: | 0164-1212, 1873-1228 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | •We build a model PrioSlice that prioritizes statements in a static slice.•Not all statements in a static slice are equally likely to propagate effects.•Some data dependencies are more likely to occur than others.•Control dependencies are less likely than data dependencies to propagate effects.•PrioSlice helps localize faults more effectively than other static-slicing methods.
Static slicing is a popular program analysis used in software engineering to find which parts of a program affect other parts. Unfortunately, static slicing often produces large and imprecise results because of its conservative nature. Dynamic slicing can be an alternative in some cases, but it requires detailed runtime information that can be hard or impossible to obtain or re-create. This is often the case when users report bugs in deployed software. In this paper, we significantly improve the precision of static slicing through PrioSlice, a novel technique that exploits the insight that not all statements in a static slice are equally likely to affect another statement such as a failing point. PrioSlice first computes a probabilistic model of the dependencies in the program. In this model, some data dependencies are more likely to occur than others and control dependencies are less likely than data dependencies to propagate effects (e.g., errors). PrioSlice then traverses the program backwards, like static slicing, but in an order defined by the computed dependence probabilities. Our study of fault localization on various Java subjects indicates that PrioSlice can help localize faults much more effectively than existing static-slicing approaches. |
|---|---|
| AbstractList | •We build a model PrioSlice that prioritizes statements in a static slice.•Not all statements in a static slice are equally likely to propagate effects.•Some data dependencies are more likely to occur than others.•Control dependencies are less likely than data dependencies to propagate effects.•PrioSlice helps localize faults more effectively than other static-slicing methods.
Static slicing is a popular program analysis used in software engineering to find which parts of a program affect other parts. Unfortunately, static slicing often produces large and imprecise results because of its conservative nature. Dynamic slicing can be an alternative in some cases, but it requires detailed runtime information that can be hard or impossible to obtain or re-create. This is often the case when users report bugs in deployed software. In this paper, we significantly improve the precision of static slicing through PrioSlice, a novel technique that exploits the insight that not all statements in a static slice are equally likely to affect another statement such as a failing point. PrioSlice first computes a probabilistic model of the dependencies in the program. In this model, some data dependencies are more likely to occur than others and control dependencies are less likely than data dependencies to propagate effects (e.g., errors). PrioSlice then traverses the program backwards, like static slicing, but in an order defined by the computed dependence probabilities. Our study of fault localization on various Java subjects indicates that PrioSlice can help localize faults much more effectively than existing static-slicing approaches. Static slicing is a popular program analysis used in software engineering to find which parts of a program affect other parts. Unfortunately, static slicing often produces large and imprecise results because of its conservative nature. Dynamic slicing can be an alternative in some cases, but it requires detailed runtime information that can be hard or impossible to obtain or re-create. This is often the case when users report bugs in deployed software. In this paper, we significantly improve the precision of static slicing through PrioSlice, a novel technique that exploits the insight that not all statements in a static slice are equally likely to affect another statement such as a failing point. PrioSlice first computes a probabilistic model of the dependencies in the program. In this model, some data dependencies are more likely to occur than others and control dependencies are less likely than data dependencies to propagate effects (e.g., errors). PrioSlice then traverses the program backwards, like static slicing, but in an order defined by the computed dependence probabilities. Our study of fault localization on various Java subjects indicates that PrioSlice can help localize faults much more effectively than existing static-slicing approaches. |
| Author | Santelices, Raul Zhang, Yiji |
| Author_xml | – sequence: 1 givenname: Yiji surname: Zhang fullname: Zhang, Yiji email: yzhang20@nd.edu, yiji21@gmail.com – sequence: 2 givenname: Raul orcidid: 0000-0001-7234-605X surname: Santelices fullname: Santelices, Raul email: rsanteli@nd.edu |
| BookMark | eNp9kM1PwyAchomZiZv6B3hr4sVLK1BaaDyZ-Zks0YOeCeXD0HSlAjVxf71s87TDTvx4f89LyLMAs8ENGoArBAsEUX3bFV0IBYaoSvcCVvgEzBGjZY4wZjMwTwxJM8JnYBFCByGkGOI5eHj31nkb7UarLEQRrcxCb6UdvjIxqMzGkIlxTElauSGLLjNi6mPWOyl6u9mlF-DUiD7oy__zHHw-PX4sX_LV2_Pr8n6Vy7JiMS8VhpTSigmjiWkVJKKhtcFEKURFw4wUlSIK1wqWrGm0aUwpJTJt25JK1W15Dm72747efU86RL62Qeq-F4N2U-CIoRrihtI6odcHaOcmP6TfcUTrqiEMkTJRaE9J70Lw2vDR27XwvxxBvvXKO5688q3XbZS8pg496EgbdxqiF7Y_2rzbN3Vy9GO150FaPUitrNcycuXskfYfikSVHQ |
| CODEN | JSSODM |
| CitedBy_id | crossref_primary_10_1016_j_jss_2024_112189 crossref_primary_10_1371_journal_pone_0231331 crossref_primary_10_1016_j_infsof_2020_106312 crossref_primary_10_1016_j_ins_2016_04_023 crossref_primary_10_1049_iet_sen_2018_5137 crossref_primary_10_1109_TSE_2023_3279125 crossref_primary_10_3390_app15042079 crossref_primary_10_1002_smr_2546 crossref_primary_10_1016_j_jss_2017_08_025 |
| Cites_doi | 10.1145/1217295.1217297 10.1007/BF00873408 10.1145/77606.77608 10.1016/j.jss.2006.02.040 10.1007/s10664-005-3861-2 10.1145/1571629.1571631 10.1109/TSE.2005.94 10.1109/TSE.2009.66 10.1109/TSE.2009.87 10.1016/0020-0190(88)90054-3 10.1016/S0950-5849(98)00086-X 10.1145/227607.227610 10.1109/TSE.1984.5010248 10.1145/24039.24041 10.1016/j.jss.2013.08.031 |
| ContentType | Journal Article |
| Copyright | 2015 Elsevier Inc. Copyright Elsevier Sequoia S.A. Apr 2016 |
| Copyright_xml | – notice: 2015 Elsevier Inc. – notice: Copyright Elsevier Sequoia S.A. Apr 2016 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jss.2015.10.052 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-1228 |
| EndPage | 53 |
| ExternalDocumentID | 3955985191 10_1016_j_jss_2015_10_052 S016412121500237X |
| Genre | Feature |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD AFXIZ AGCQF AGRNS JQ2 L7M L~C L~D SSH |
| ID | FETCH-LOGICAL-c358t-3d2077758afe4fbd04a976f24dd17a98fca5d4d26d03899ef9f3cc1fbbb45d6b3 |
| ISICitedReferencesCount | 14 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000370914300003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0164-1212 |
| IngestDate | Sun Sep 28 04:34:47 EDT 2025 Mon Jul 14 08:17:47 EDT 2025 Tue Nov 18 21:22:37 EST 2025 Sat Nov 29 07:23:54 EST 2025 Fri Feb 23 02:33:19 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Fault localization Dependence analysis Probabilistic slicing Program analysis Thin slicing Static slicing |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c358t-3d2077758afe4fbd04a976f24dd17a98fca5d4d26d03899ef9f3cc1fbbb45d6b3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23 |
| ORCID | 0000-0001-7234-605X |
| PQID | 1765948143 |
| PQPubID | 45802 |
| PageCount | 16 |
| ParticipantIDs | proquest_miscellaneous_1816029776 proquest_journals_1765948143 crossref_primary_10_1016_j_jss_2015_10_052 crossref_citationtrail_10_1016_j_jss_2015_10_052 elsevier_sciencedirect_doi_10_1016_j_jss_2015_10_052 |
| PublicationCentury | 2000 |
| PublicationDate | April 2016 2016-04-00 20160401 |
| PublicationDateYYYYMMDD | 2016-04-01 |
| PublicationDate_xml | – month: 04 year: 2016 text: April 2016 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2016 |
| Publisher | Elsevier Inc Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier Sequoia S.A |
| References | Beszedes, Farago, Mihaly Szabo, Csirik, Gyimothy (bib0008) 2002 Do, Elbaum, Rothermel (bib0014) 2005; 10 Binkley, Gold, Harman (bib0009) 2007; 16 Korel, Laski (bib0025) 1988; 29 Santelices, Harrold (bib0035) 2007 Zhang, Santelices (bib0047) 2012 Zhang, Gupta, Gupta (bib0046) 2006 Abreu, Zoeteweij, Gemund (bib0001) 2007 Jones, Harrold, Stasko (bib0024) 2002 Parnin, Orso (bib0032) 2011 Boole (bib0010) 1854 Ball, Larus (bib0007) 1993 Santelices, Jones, Yu, Harrold (bib0038) 2009 Mao, Lei, Dai, Qi, Wang (bib0028) 2014; 89 Krinke (bib0026) 2006; 79 Mock, Atkinson, Chambers, Eggers (bib0030) 2005; 31 Ferrante, Ottenstein, Warren (bib0015) 1987 Santelices, R., Harrold, M. J., 2010. Probabilistic slicing for predictive impact analysis. Techical Report CERCS-10-10, Georgia Tech. Santelices, Harrold, Orso (bib0037) 2010 Debroy, Wong (bib0012) 2011; 43 Offutt, Lee, Rothermel, Untch, Zapt (bib0031) 1996; 5 Goradia (bib0016) 1993 Weiser (bib0044) 1984; 10 Ramalingam (bib0034) 1996 Sumner, Zhang (bib0042) 2013 Jaccard (bib0022) 1901; 37 Jones, Harrold (bib0023) 2005 Pearl (bib0033) 1984 Zeller (bib0045) 2009 Santelices, Zhang, Jiang, Cai, jie Zhang (bib0040) 2013 Georgia Institute of Technology, 2005. Masri, Podgurski (bib0029) 2009; 19 Gupta, Soffa (bib0017) 1995 Aho, Lam, Sethi, Ullman (bib0004) 2006 Walpole, Myers, Myers, Ye (bib0043) 2011 Andersen (bib0005) 1994 Hall (bib0018) 1995; 2 JABA: Java Architecture for Bytecode Analysis. Lei, Mao, Chen (bib0027) 2013 Horwitz, Liblit, Polishchuk (bib0019) 2010; 36 Santelices, Zhang, Cai, Jiang (bib0039) 2013 Agrawal, Horgan (bib0003) 1990 Horwitz, Reps, Binkley (bib0020) 1990 Canfora, Cimitile, De Lucia (bib0011) 1998; 40 DeMillo, Pan, Spafford (bib0013) 1996 Sridharan, Fink, Bodik (bib0041) 2007 Baah, Podgurski, Harrold (bib0006) 2010; 36 Acharya, Robinson (bib0002) 2011 Binkley (10.1016/j.jss.2015.10.052_bib0009) 2007; 16 10.1016/j.jss.2015.10.052_bib0036 Acharya (10.1016/j.jss.2015.10.052_bib0002) 2011 Lei (10.1016/j.jss.2015.10.052_bib0027) 2013 Krinke (10.1016/j.jss.2015.10.052_bib0026) 2006; 79 Offutt (10.1016/j.jss.2015.10.052_bib0031) 1996; 5 Andersen (10.1016/j.jss.2015.10.052_bib0005) 1994 Hall (10.1016/j.jss.2015.10.052_bib0018) 1995; 2 Sumner (10.1016/j.jss.2015.10.052_sbref0040) 2013 Mao (10.1016/j.jss.2015.10.052_bib0028) 2014; 89 Parnin (10.1016/j.jss.2015.10.052_bib0032) 2011 Santelices (10.1016/j.jss.2015.10.052_bib0039) 2013 Beszedes (10.1016/j.jss.2015.10.052_bib0008) 2002 Zhang (10.1016/j.jss.2015.10.052_bib0046) 2006 Ball (10.1016/j.jss.2015.10.052_bib0007) 1993 Ramalingam (10.1016/j.jss.2015.10.052_bib0034) 1996 Aho (10.1016/j.jss.2015.10.052_bib0004) 2006 Korel (10.1016/j.jss.2015.10.052_bib0025) 1988; 29 Pearl (10.1016/j.jss.2015.10.052_bib0033) 1984 Sridharan (10.1016/j.jss.2015.10.052_bib0041) 2007 Baah (10.1016/j.jss.2015.10.052_bib0006) 2010; 36 Boole (10.1016/j.jss.2015.10.052_bib0010) 1854 Mock (10.1016/j.jss.2015.10.052_bib0030) 2005; 31 Horwitz (10.1016/j.jss.2015.10.052_bib0019) 2010; 36 Jones (10.1016/j.jss.2015.10.052_bib0023) 2005 Horwitz (10.1016/j.jss.2015.10.052_bib0020) 1990 Santelices (10.1016/j.jss.2015.10.052_bib0035) 2007 Weiser (10.1016/j.jss.2015.10.052_bib0044) 1984; 10 DeMillo (10.1016/j.jss.2015.10.052_bib0013) 1996 Zeller (10.1016/j.jss.2015.10.052_bib0045) 2009 Abreu (10.1016/j.jss.2015.10.052_bib0001) 2007 Do (10.1016/j.jss.2015.10.052_bib0014) 2005; 10 Santelices (10.1016/j.jss.2015.10.052_bib0038) 2009 Agrawal (10.1016/j.jss.2015.10.052_bib0003) 1990 Gupta (10.1016/j.jss.2015.10.052_bib0017) 1995 10.1016/j.jss.2015.10.052_bib0021 Santelices (10.1016/j.jss.2015.10.052_bib0040) 2013 Zhang (10.1016/j.jss.2015.10.052_bib0047) 2012 Ferrante (10.1016/j.jss.2015.10.052_bib0015) 1987 Walpole (10.1016/j.jss.2015.10.052_bib0043) 2011 Jaccard (10.1016/j.jss.2015.10.052_bib0022) 1901; 37 Canfora (10.1016/j.jss.2015.10.052_bib0011) 1998; 40 Jones (10.1016/j.jss.2015.10.052_bib0024) 2002 Santelices (10.1016/j.jss.2015.10.052_bib0037) 2010 Masri (10.1016/j.jss.2015.10.052_bib0029) 2009; 19 Debroy (10.1016/j.jss.2015.10.052_bib0012) 2011; 43 Goradia (10.1016/j.jss.2015.10.052_bib0016) 1993 |
| References_xml | – reference: . Georgia Institute of Technology, 2005. – start-page: 199 year: 2011 end-page: 209 ident: bib0032 article-title: Are automated debugging techniques actually helping programmers? publication-title: Proceedings of ACM International Symposium on Software Testing and Analysis – start-page: 746 year: 2011 end-page: 765 ident: bib0002 article-title: Practical change impact analysis based on static program slicing for industrial software systems publication-title: Proceedings of IEEE/ACM International Conference on Software Engineering, Software Engineering in Practice Track – year: 2011 ident: bib0043 publication-title: Probability and Statistics for Engineers and Scientists – volume: 16 year: 2007 ident: bib0009 article-title: An empirical study of static program slice size publication-title: ACM Trans. Softw. Eng. Methodol. – start-page: 12 year: 2002 end-page: 21 ident: bib0008 article-title: Union slices for program maintenance publication-title: Proceedings of IEEE International Conference on Software Maintenance – volume: 36 start-page: 528 year: 2010 end-page: 545 ident: bib0006 article-title: The probabilistic program dependence graph and its application to fault diagnosis publication-title: IEEE Trans. Softw. Eng. – year: 1987 ident: bib0015 article-title: The program dependence graph and its use in optimization publication-title: ACM Trans. Program Lang. Syst. 9(3): 319--349 – start-page: 343 year: 2007 end-page: 352 ident: bib0035 article-title: Efficiently monitoring data-flow test coverage publication-title: Proceedings of IEEE/ACM International Conference on Automated Software Engineering – volume: 10 start-page: 405 year: 2005 end-page: 435 ident: bib0014 article-title: Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact publication-title: Empir. Softw. Eng. – year: 2013 ident: bib0042 article-title: Comparative causality: explaining the differences between executions publication-title: Proceedings of IEEE/ACM International Conference on Software Engineering – volume: 89 start-page: 51 year: 2014 end-page: 62 ident: bib0028 article-title: Slice-based statistical fault localization publication-title: J. Syst. Softw. – volume: 31 start-page: 657 year: 2005 end-page: 678 ident: bib0030 article-title: Program slicing with dynamic ppoints-to sets publication-title: IEEE Trans. Softw. Eng. – start-page: 1269 year: 2013 end-page: 1272 ident: bib0040 article-title: Quantitative program slicing: separating statements by relevance publication-title: Proc. of Int’l Conf. on Softw. Eng., New Ideas and Emerging Results – start-page: 169 year: 2006 end-page: 180 ident: bib0046 article-title: Pruning dynamic slices with confidence publication-title: Proceedings of ACM Conference on Programming Language Design and Implementation – start-page: 177 year: 2012 end-page: 182 ident: bib0047 article-title: Predicting data dependences for slice inspection prioritization publication-title: Proceedings of IEEE International Workshop on Program Debugging – start-page: 89 year: 2007 end-page: 98 ident: bib0001 article-title: On the accuracy of spectrum-based fault localization publication-title: Proceedings of Testing: Academic and Industrial Conference - Practice and Research Techniques – volume: 5 start-page: 99 year: 1996 end-page: 118 ident: bib0031 article-title: An experimental determination of sufficient mutant operators publication-title: ACM Trans. Softw. Eng. Methodol. – volume: 2 start-page: 33 year: 1995 end-page: 53 ident: bib0018 article-title: Automatic extraction of executable program subsets by simultaneous dynamic program slicing publication-title: Autom. Softw. Eng. J. – year: 2006 ident: bib0004 publication-title: Compilers: Principles, Techniques and Tools – year: 1994 ident: bib0005 publication-title: Program analysis and specialization for the C programming language – volume: 79 start-page: 1249 year: 2006 end-page: 1260 ident: bib0026 article-title: Effects of context on program slicing publication-title: J. Syst. Softw. – start-page: 273 year: 2005 end-page: 282 ident: bib0023 article-title: Empirical evaluation of the tarantula automatic fault-localization technique publication-title: Proceedings of IEEE/ACM International Conference on Automated Software Engineering – volume: 43 start-page: 989 year: 2011 end-page: 1011 ident: bib0012 article-title: A consensus-based strategy to improve the quality of fault localization publication-title: Softw.: Pract. Exp., published online November – start-page: 56 year: 2009 end-page: 66 ident: bib0038 article-title: Lightweight fault localization using multiple coverage types publication-title: Proceedings of IEEE/ACM International Conference on Software Engineering – year: 2009 ident: bib0045 article-title: Why programs fail: a guide to systematic debugging – start-page: 246 year: 1990 end-page: 256 ident: bib0003 article-title: Dynamic program sicing publication-title: Proceedings of ACM Conference on Programming Language Design and Implementation – start-page: 121 year: 1996 end-page: 134 ident: bib0013 article-title: Critical slicing for software fault localization publication-title: Proceedings of ACM International Symposium on Software Testing and Analysis – volume: 36 start-page: 7 year: 2010 end-page: 19 ident: bib0019 article-title: Better debugging via output tracing and callstack-sensitive slicing publication-title: IEEE Trans. Softw. Eng. – start-page: 212 year: 2013 end-page: 221 ident: bib0027 article-title: Backward-slice-based statistical fault localization without test oracles publication-title: Proceedings of International Conference on Quality Software – start-page: 171 year: 1993 end-page: 181 ident: bib0016 article-title: Dynamic impact analysis: a cost-effective technique to enforce eerror-propagation publication-title: Proceedings of ACM International Symposium on Software Testing and Analysis – start-page: 467 year: 2002 end-page: 477 ident: bib0024 article-title: Visualization of test information to assist fault localization publication-title: Proceedings of IEEE/ACM International Conference on Software Engineering – year: 1990 ident: bib0020 article-title: Interprocedural slicing using dependence graphs publication-title: ACM Trans. Program Lang Syst. 12 (1): 26--60 – start-page: 300 year: 1993 end-page: 313 ident: bib0007 article-title: Branch Prediction for Free publication-title: Proceedings of ACM Conference on Programming Language Design and Implementation – volume: 37 start-page: 547 year: 1901 end-page: 579 ident: bib0022 article-title: Étude Comparative de la Distribution Florale dans une Portion des Alpes et des Jura publication-title: Bull. Soc. Vaudoise Sci. Nat. – start-page: 112 year: 2007 end-page: 122 ident: bib0041 article-title: Thin slicing publication-title: Proceedings of ACM Conference on Programming Language Design and Implementation – volume: 19 start-page: 1 year: 2009 end-page: 33 ident: bib0029 article-title: Measuring the strength of information flows in programs publication-title: ACM Trans. Softw. Eng. Methodol. – year: 1984 ident: bib0033 publication-title: Heuristics: Intelligent Search Strategies for Computer Problem Solving – year: 1854 ident: bib0010 article-title: An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities – volume: 40 start-page: 595 year: 1998 end-page: 608 ident: bib0011 article-title: Conditioned program slicing publication-title: Inf. Softw. Technol. – volume: 29 start-page: 155 year: 1988 end-page: 163 ident: bib0025 article-title: Dynamic program slicing publication-title: Inf. Process. Lett. – start-page: 267 year: 1996 end-page: 277 ident: bib0034 article-title: Data flow frequency analysis publication-title: Proceedings of ACM Conference on Programming Language Design and Implementation – start-page: 29 year: 1995 end-page: 40 ident: bib0017 article-title: Hybrid slicing: an approach for refining static slices using dynamic information publication-title: Proceedings of ACM International Symposium on Foundations of Software Engineering – start-page: 13 year: 2013 end-page: 18 ident: bib0039 article-title: DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on soot publication-title: Proceedings of ACM SIGPLAN Int’l Workshop on the State Of the Art in Java Program Analysis – start-page: 429 year: 2010 end-page: 438 ident: bib0037 article-title: Precisely detecting runtime change interactions for evolving software publication-title: Proceedings of IEEE International Conference on Software Testing, Verification and Validation – reference: Santelices, R., Harrold, M. J., 2010. Probabilistic slicing for predictive impact analysis. Techical Report CERCS-10-10, Georgia Tech. – volume: 10 start-page: 352 year: 1984 end-page: 357 ident: bib0044 article-title: Program slicing publication-title: IEEE Trans. Softw. Eng. – reference: JABA: Java Architecture for Bytecode Analysis. – volume: 37 start-page: 547 year: 1901 ident: 10.1016/j.jss.2015.10.052_bib0022 article-title: Étude Comparative de la Distribution Florale dans une Portion des Alpes et des Jura publication-title: Bull. Soc. Vaudoise Sci. Nat. – ident: 10.1016/j.jss.2015.10.052_bib0036 – volume: 16 issue: 2 year: 2007 ident: 10.1016/j.jss.2015.10.052_bib0009 article-title: An empirical study of static program slice size publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/1217295.1217297 – year: 2011 ident: 10.1016/j.jss.2015.10.052_bib0043 – volume: 2 start-page: 33 issue: 1 year: 1995 ident: 10.1016/j.jss.2015.10.052_bib0018 article-title: Automatic extraction of executable program subsets by simultaneous dynamic program slicing publication-title: Autom. Softw. Eng. J. doi: 10.1007/BF00873408 – year: 1990 ident: 10.1016/j.jss.2015.10.052_bib0020 article-title: Interprocedural slicing using dependence graphs publication-title: ACM Trans. Program Lang Syst. 12 (1): 26--60 doi: 10.1145/77606.77608 – year: 1984 ident: 10.1016/j.jss.2015.10.052_bib0033 – start-page: 343 year: 2007 ident: 10.1016/j.jss.2015.10.052_bib0035 article-title: Efficiently monitoring data-flow test coverage – start-page: 199 year: 2011 ident: 10.1016/j.jss.2015.10.052_bib0032 article-title: Are automated debugging techniques actually helping programmers? – volume: 79 start-page: 1249 issue: 9 year: 2006 ident: 10.1016/j.jss.2015.10.052_bib0026 article-title: Effects of context on program slicing publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2006.02.040 – volume: 10 start-page: 405 issue: 4 year: 2005 ident: 10.1016/j.jss.2015.10.052_bib0014 article-title: Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact publication-title: Empir. Softw. Eng. doi: 10.1007/s10664-005-3861-2 – start-page: 177 year: 2012 ident: 10.1016/j.jss.2015.10.052_bib0047 article-title: Predicting data dependences for slice inspection prioritization – year: 1994 ident: 10.1016/j.jss.2015.10.052_bib0005 – volume: 19 start-page: 1 issue: 2 year: 2009 ident: 10.1016/j.jss.2015.10.052_bib0029 article-title: Measuring the strength of information flows in programs publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/1571629.1571631 – start-page: 467 year: 2002 ident: 10.1016/j.jss.2015.10.052_bib0024 article-title: Visualization of test information to assist fault localization – start-page: 121 year: 1996 ident: 10.1016/j.jss.2015.10.052_bib0013 article-title: Critical slicing for software fault localization – start-page: 267 year: 1996 ident: 10.1016/j.jss.2015.10.052_bib0034 article-title: Data flow frequency analysis – start-page: 300 year: 1993 ident: 10.1016/j.jss.2015.10.052_bib0007 article-title: Branch Prediction for Free – volume: 31 start-page: 657 issue: 8 year: 2005 ident: 10.1016/j.jss.2015.10.052_bib0030 article-title: Program slicing with dynamic ppoints-to sets publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2005.94 – start-page: 169 year: 2006 ident: 10.1016/j.jss.2015.10.052_bib0046 article-title: Pruning dynamic slices with confidence – start-page: 12 year: 2002 ident: 10.1016/j.jss.2015.10.052_bib0008 article-title: Union slices for program maintenance – start-page: 1269 year: 2013 ident: 10.1016/j.jss.2015.10.052_bib0040 article-title: Quantitative program slicing: separating statements by relevance – volume: 36 start-page: 7 issue: 1 year: 2010 ident: 10.1016/j.jss.2015.10.052_bib0019 article-title: Better debugging via output tracing and callstack-sensitive slicing publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2009.66 – start-page: 273 year: 2005 ident: 10.1016/j.jss.2015.10.052_bib0023 article-title: Empirical evaluation of the tarantula automatic fault-localization technique – start-page: 429 year: 2010 ident: 10.1016/j.jss.2015.10.052_bib0037 article-title: Precisely detecting runtime change interactions for evolving software – start-page: 171 year: 1993 ident: 10.1016/j.jss.2015.10.052_bib0016 article-title: Dynamic impact analysis: a cost-effective technique to enforce eerror-propagation – volume: 36 start-page: 528 issue: 4 year: 2010 ident: 10.1016/j.jss.2015.10.052_bib0006 article-title: The probabilistic program dependence graph and its application to fault diagnosis publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2009.87 – start-page: 56 year: 2009 ident: 10.1016/j.jss.2015.10.052_bib0038 article-title: Lightweight fault localization using multiple coverage types – volume: 29 start-page: 155 issue: 3 year: 1988 ident: 10.1016/j.jss.2015.10.052_bib0025 article-title: Dynamic program slicing publication-title: Inf. Process. Lett. doi: 10.1016/0020-0190(88)90054-3 – volume: 40 start-page: 595 issue: 11–12 year: 1998 ident: 10.1016/j.jss.2015.10.052_bib0011 article-title: Conditioned program slicing publication-title: Inf. Softw. Technol. doi: 10.1016/S0950-5849(98)00086-X – year: 2013 ident: 10.1016/j.jss.2015.10.052_sbref0040 article-title: Comparative causality: explaining the differences between executions – start-page: 112 year: 2007 ident: 10.1016/j.jss.2015.10.052_bib0041 article-title: Thin slicing – year: 2006 ident: 10.1016/j.jss.2015.10.052_bib0004 – start-page: 89 year: 2007 ident: 10.1016/j.jss.2015.10.052_bib0001 article-title: On the accuracy of spectrum-based fault localization – ident: 10.1016/j.jss.2015.10.052_bib0021 – volume: 5 start-page: 99 year: 1996 ident: 10.1016/j.jss.2015.10.052_bib0031 article-title: An experimental determination of sufficient mutant operators publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/227607.227610 – start-page: 212 year: 2013 ident: 10.1016/j.jss.2015.10.052_bib0027 article-title: Backward-slice-based statistical fault localization without test oracles – start-page: 246 year: 1990 ident: 10.1016/j.jss.2015.10.052_bib0003 article-title: Dynamic program sicing – start-page: 29 year: 1995 ident: 10.1016/j.jss.2015.10.052_bib0017 article-title: Hybrid slicing: an approach for refining static slices using dynamic information – volume: 10 start-page: 352 issue: 4 year: 1984 ident: 10.1016/j.jss.2015.10.052_bib0044 article-title: Program slicing publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.1984.5010248 – year: 2009 ident: 10.1016/j.jss.2015.10.052_bib0045 – start-page: 746 year: 2011 ident: 10.1016/j.jss.2015.10.052_bib0002 article-title: Practical change impact analysis based on static program slicing for industrial software systems – year: 1854 ident: 10.1016/j.jss.2015.10.052_bib0010 – volume: 43 start-page: 989 issue: 8 year: 2011 ident: 10.1016/j.jss.2015.10.052_bib0012 article-title: A consensus-based strategy to improve the quality of fault localization publication-title: Softw.: Pract. Exp., published online November – year: 1987 ident: 10.1016/j.jss.2015.10.052_bib0015 article-title: The program dependence graph and its use in optimization publication-title: ACM Trans. Program Lang. Syst. 9(3): 319--349 doi: 10.1145/24039.24041 – start-page: 13 year: 2013 ident: 10.1016/j.jss.2015.10.052_bib0039 article-title: DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on soot – volume: 89 start-page: 51 year: 2014 ident: 10.1016/j.jss.2015.10.052_bib0028 article-title: Slice-based statistical fault localization publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2013.08.031 |
| SSID | ssj0007202 |
| Score | 2.228628 |
| Snippet | •We build a model PrioSlice that prioritizes statements in a static slice.•Not all statements in a static slice are equally likely to propagate effects.•Some... Static slicing is a popular program analysis used in software engineering to find which parts of a program affect other parts. Unfortunately, static slicing... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 38 |
| SubjectTerms | Computer programs Debugging Dependence analysis Dynamical systems Dynamics Effectiveness studies Fault localization Fault location Faults Java Java (programming language) Localization Probabilistic slicing Program analysis Programming languages Slicing Software Software engineering Static slicing Thin slicing |
| Title | Prioritized static slicing and its application to fault localization |
| URI | https://dx.doi.org/10.1016/j.jss.2015.10.052 https://www.proquest.com/docview/1765948143 https://www.proquest.com/docview/1816029776 |
| Volume | 114 |
| WOSCitedRecordID | wos000370914300003&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-1228 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0007202 issn: 0164-1212 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELZgy4ELb9SFgozEiSrV2nHi5Fi1RcChqqBIyynyI5ayWmWrTRaq_vqOX9lQRAVIXKKVk2wsf5PxF_ubGYTeZiV83UhpklpIljBjRQCZUYkwgLjUpDDGuGIT_PS0mM_Ls1AVtXPlBHjbFpeX5cV_hRraAGwbOvsXcA9_Cg3wG0CHI8AOxz8C_mzdrGymoiugkjZcqFH7wCVVDEa0GwWjXWvLPY3YLPt9N6uFqMwxZd0Gjzna6lM_-8zOHfjwH2Irnx1Wn781i2ZYu7HYLaM_-hyViGGlgeQjgYpb_oohMD8pNG2KroTQoIWuvRcteAptIeo7ulnCRo7Sp3QJU65PF_yLM_frCouDRWfzqpPswMrwMrqduQY94RfbC9sJoLdAQvj8LtqhPCuLCdo5_Hgy_zRMzpw6GerQ67jR7SR_Nx70O6pyY9J2TOT8EXoQsMCHHvrH6E7dPkEPY3kOHLz1U3Q8sgTsLQEHS8CAHgZLwCNLwP0KO0vAY0t4hr6-Pzk_-pCEohmJSrOiT1JNZ5zDV6AwNTNSz5gAxmko05pwURZGiUwzTXPtUivWpjSpUsRIKVmmc5k-R5N21da7CANbLSUFEgWsnmWCyVTQUgulakVnkqgpmsXxqVTIKG8LmyyrKB1cVDCklR1S2wRDOkXvhlsufDqV2y5mcdCrwAc9z6vAQm67bS8CVIX3sqsIz11iIpZO0ZvhNLhSuz8m2nq1gWsKkttabjx_8W9Pfonub9-bPTTp15v6FbqnvvdNt34dTPEa1vydIw |
| linkProvider | Elsevier |
| 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=Prioritized+static+slicing+and+its+application+to+fault+localization&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Zhang%2C+Yiji&rft.au=Santelices%2C+Raul&rft.date=2016-04-01&rft.pub=Elsevier+Inc&rft.issn=0164-1212&rft.eissn=1873-1228&rft.volume=114&rft.spage=38&rft.epage=53&rft_id=info:doi/10.1016%2Fj.jss.2015.10.052&rft.externalDocID=S016412121500237X |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |