subject:(Fault localization)

Delft University of Technology

1. Ang, Aaron (author). Exploring DDU in Practice.

Degree: 2018, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:4109b0a6-b892-40e4-a4db-9848c24219f6

► The quality of test suites is commonly measured using adequacy metrics that focus on error detection, like test coverage. However, the diagnostic performance of spectrum-based… (more)

Subjects/Keywords: software fault localization; diagnosability; DDU

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Ang, A. (. (2018). Exploring DDU in Practice. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:4109b0a6-b892-40e4-a4db-9848c24219f6

Chicago Manual of Style (16^th Edition):

Ang, Aaron (author). “Exploring DDU in Practice.” 2018. Masters Thesis, Delft University of Technology. Accessed March 08, 2021. http://resolver.tudelft.nl/uuid:4109b0a6-b892-40e4-a4db-9848c24219f6.

MLA Handbook (7^th Edition):

Ang, Aaron (author). “Exploring DDU in Practice.” 2018. Web. 08 Mar 2021.

Vancouver:

Ang A(. Exploring DDU in Practice. [Internet] [Masters thesis]. Delft University of Technology; 2018. [cited 2021 Mar 08]. Available from: http://resolver.tudelft.nl/uuid:4109b0a6-b892-40e4-a4db-9848c24219f6.

Council of Science Editors:

Ang A(. Exploring DDU in Practice. [Masters Thesis]. Delft University of Technology; 2018. Available from: http://resolver.tudelft.nl/uuid:4109b0a6-b892-40e4-a4db-9848c24219f6

University of Texas – Austin

2. -4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization.

Degree: MSin Engineering, Electrical and Computer engineering, 2016, University of Texas – Austin

URL: http://hdl.handle.net/2152/43727

► Bug localization is the resource intensive process of finding bugs. A considerable amount of time, effort, and money could be saved if this process was… (more)

Subjects/Keywords: Sequence-to-sequence; Recurrent neural network; RNN; Bug localization; Fault localization; Software-fault localization; BLUiR

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

-4731-9372. (2016). Applying sequence-to-sequence RNN models to IR-based bug localization. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/43727

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16^th Edition):

-4731-9372. “Applying sequence-to-sequence RNN models to IR-based bug localization.” 2016. Masters Thesis, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/43727.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7^th Edition):

-4731-9372. “Applying sequence-to-sequence RNN models to IR-based bug localization.” 2016. Web. 08 Mar 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/43727.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/43727

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Delft University of Technology

3. Kossen, Rebecca (author). Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case.

Degree: 2019, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:b97942a0-61c3-4ce4-b961-8121230cba17

► Autonomous driving is a development that has gained a lot of attention lately, because it can lead to major improvements in the mobility sector. One… (more)

▼ Autonomous driving is a development that has gained a lot of attention lately, because it can lead to major improvements in the mobility sector. One example of a research project that aims to develop vehicles that are capable of reaching the highest level of autonomy in driving, is the WEpods project. The goal of this research is in line with this aim, having the thesis objective defined as follows: let the WEpods continue driving in autonomous mode more often than is currently the case. The WEpod shuttles are not yet completely able to drive autonomously due to their inability to handle unexpected behavior (terminology: faults). Currently, such faults need to be detected and solved by a steward, who will manually initiate a safe stop if necessary. The localization module, which is responsible for localizing the vehicle on a map, sometimes generates unreliable location estimates. This poses two challenges. First, the fact that there is a mismatch between reality and the sensor outcomes of the localization module that needs to be detected. Second, the question of how to prevent the system from showing behavior that is different from what is desired (terminology: failure) in case such a fault is present (terminology: fault tolerant contol). Fault tolerant control can be performed in either a passive or an active manner. The passive approach ensures that either the faults are prevented or the system is able to mitigate them by anticipation in the design. The approach evolves from passive to active fault tolerant control when an on-line adaptation of the system control is made. For applications in autonomous driving, it is apparent that it is important to handle not only anticipated faults, but also to be able to deal with unexpected faults in an on-line manner. This on-line fault tolerant control approach involves two fault diagnosis steps that lead to solving the first challenge: detection and isolation. A so-called model-based fault diagnosis approach turned out to be most suitable, as it has been used for similar applications in the past. However, a model-based fault diagnosis approach has not yet been implemented for detecting and isolating faults in a localization module of autonomous driving, indicating the scientific relevance of this research. In the model-based approach, kinematic and dynamic equations of the research vehicle (WEpod) are used to build a computational model. This model is then subjected to an observer, that is able to compare the model outcomes with the actual measurements in an off-line way. A residual is drawn up by taking the difference between the model outcomes and the measurements. A threshold is computed based on noise on the measurements to compare the residual with. When the residual exceeds the threshold, an alarm is raised. This way, the system itself has been enabled to detect faults when they occur internally. Inclusion of the suggested fault diagnosis approach in an on-line manner into the system is a big step towards fully autonomous driving of the… Advisors/Committee Members: Ferrari, Riccardo M.G. (mentor), Gaisser, Floris (mentor), Gavrila, Dariu (graduation committee), Mugge, Winfred (graduation committee), Delft University of Technology (degree granting institution).

Subjects/Keywords: Autonomous Vehicles; Fault Detection; Localization; model-based

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Kossen, R. (. (2019). Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:b97942a0-61c3-4ce4-b961-8121230cba17

Chicago Manual of Style (16^th Edition):

Kossen, Rebecca (author). “Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case.” 2019. Masters Thesis, Delft University of Technology. Accessed March 08, 2021. http://resolver.tudelft.nl/uuid:b97942a0-61c3-4ce4-b961-8121230cba17.

MLA Handbook (7^th Edition):

Kossen, Rebecca (author). “Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case.” 2019. Web. 08 Mar 2021.

Vancouver:

Kossen R(. Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 Mar 08]. Available from: http://resolver.tudelft.nl/uuid:b97942a0-61c3-4ce4-b961-8121230cba17.

Council of Science Editors:

Kossen R(. Fault Diagnosis of Self-Localization in Autonomous Vehicles Using a Model-Based Approach: The WEpods Case. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:b97942a0-61c3-4ce4-b961-8121230cba17

University of Texas – Austin

4. Zhang, Lingming. Unifying regression testing with mutation testing.

Degree: PhD, Electrical and Computer Engineering, 2014, University of Texas – Austin

URL: http://hdl.handle.net/2152/25055

► Software testing is the most commonly used methodology for validating quality of software systems. Conceptually, testing is simple, but in practice, given the huge (practically… (more)

▼ Software testing is the most commonly used methodology for validating quality of software systems. Conceptually, testing is simple, but in practice, given the huge (practically infinite) space of inputs to test against, it requires solving a number of challenging problems, including evaluating and reusing tests efficiently and effectively as software evolves. While software testing research has seen much progress in recent years, many crucial bugs still evade state-of-the-art approaches and cause significant monetary losses and sometimes are responsible for loss of life. My thesis is that a unified, bi-dimensional, change-driven methodology can form the basis of novel techniques and tools that can make testing significantly more effective and efficient, and allow us to find more bugs at a reduced cost. We propose a novel unification of the following two dimensions of change: (1) real manual changes made by programmers, e.g., as commonly used to support more effective and efficient regression testing techniques; and (2) mechanically introduced changes to code or specifications, e.g., as originally conceived in mutation testing for evaluating quality of test suites. We believe such unification can lay the foundation of a scalable and highly effective methodology for testing and maintaining real software systems. The primary contribution of my thesis is two-fold. One, it introduces new techniques to address central problems in both regression testing (e.g., test prioritization) and mutation testing (e.g., selective mutation testing). Two, it introduces a new methodology that uses the foundations of regression testing to speed up mutation testing, and also uses the foundations of mutation testing to help with the fault localization problem raised in regression testing. The central ideas are embodied in a suite of prototype tools. Rigorous experimental evaluation is used to validate the efficacy of the proposed techniques using a variety of real-world Java programs. Advisors/Committee Members: Khurshid, Sarfraz (advisor).

Subjects/Keywords: Regression testing; Mutation testing; Fault localization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Zhang, L. (2014). Unifying regression testing with mutation testing. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/25055

Chicago Manual of Style (16^th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/25055.

MLA Handbook (7^th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Web. 08 Mar 2021.

Vancouver:

Zhang L. Unifying regression testing with mutation testing. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/25055.

Council of Science Editors:

Zhang L. Unifying regression testing with mutation testing. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/25055

Virginia Tech

5. Nachimuthu Nallasamy, Kanagaraj. Enhancing Fault Localization with Cost Awareness.

Degree: MS, Computer Science and Applications, 2019, Virginia Tech

URL: http://hdl.handle.net/10919/90575

► Software debugging involves locating and fixing faults (or bugs) in software. It is a challenging and time-consuming process in software life-cycle. Fault localization (FL) techniques… (more)

Subjects/Keywords: fault localization; automated debugging; source code line features; cost-aware fault localization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Nachimuthu Nallasamy, K. (2019). Enhancing Fault Localization with Cost Awareness. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/90575

Chicago Manual of Style (16^th Edition):

Nachimuthu Nallasamy, Kanagaraj. “Enhancing Fault Localization with Cost Awareness.” 2019. Masters Thesis, Virginia Tech. Accessed March 08, 2021. http://hdl.handle.net/10919/90575.

MLA Handbook (7^th Edition):

Nachimuthu Nallasamy, Kanagaraj. “Enhancing Fault Localization with Cost Awareness.” 2019. Web. 08 Mar 2021.

Vancouver:

Nachimuthu Nallasamy K. Enhancing Fault Localization with Cost Awareness. [Internet] [Masters thesis]. Virginia Tech; 2019. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/10919/90575.

Council of Science Editors:

Nachimuthu Nallasamy K. Enhancing Fault Localization with Cost Awareness. [Masters Thesis]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/90575

6. Stolt, Jan-Olof. Framtagning av laboration kring kabelfelsmätning.

Degree: Electrical and Surveying Engineering, 2015, University West

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-7770

►

Att hitta fel, att kunna lokalisera och identifiera kablar i mark är en aktuell fråga då allt mer friledning ersätts med markförlagd kabel. Att… (more)

▼

Att hitta fel, att kunna lokalisera och identifiera kablar i mark är en aktuell fråga då allt mer friledning ersätts med markförlagd kabel. Att snabbt lokalisera och reparera ett fel sparar pengar för energibolagen och minskar den tid kunderna är utan elförsörjning. Dagens skyddsutrustning har integrerade fellokalisering inbyggd, detta ger dock endast en ungefärlig bild av var fel finns. Mer exakt lokalisering sker med en förlokalisering, nu förtiden används pulsekometoden. En puls skickas ut på den skadade ledaren och en oskadad ledare, pulsen reflekteras i felstället och i kabelendan. Tiden från det pulserna lämnar pulsgeneratorn tills de återvänder jämförs. Detta ger avståndet till felet i meter. Där efter så används en av två efterlokaliseringsmetoder. Stötspänningsaggregat med en markmikrofon, aggregatet genererar ett överslag i felstället, urladdningen kan lokaliseras med hjälp av markmikrofonen. Andra metoden är tongenerator och en sökstav. Tongeneratorn skickar ut en högfrekvent puls på den trasiga ledaren, detta genererar ett magnetfält som kan följas med hjälp av sökstaven. När signalen försvinner så har felet lokaliserats. Kursen Elförfattning och Elinstallation (ELI 200) på Högskolan Väst saknar ett praktiskt övningstillfälle för kabellokalisering, kabelfelsökning och kabelidentifiering. Uppgiften var att ta fram en laboration, där en eller flera mätningar utförs på olika kablar i mark. Laborationen skall ingå som ett obligatoriskt moment i kursen. Målet var att laborationen skulle återspegla en verklig kabellokalisering och en kabelidentifiering. Geografiskt kommer laborationen att utföras på Magnus Åbergsgymnasiets laborationsområde i Trollhättan. Metoder att genomföra examenarbetet bestod av faktainsamling via litteratur och rapporter. Laborationsplatsen var redan förutbestämd. Kontakt med personal ifrån Magnus Åbergsgymnasiet etablerades, laborationen utformades och testades av gruppen samt oberoende part för att upptäcka eventuella brister och för att se att instruktionerna var tydliga. Ett facit med svar och referensvärden utformades och förslag på lärarhandledning skapades. På grund av begränsad tillgång av mätinstrument och av praktisk anledning begränsades laborationen till ett moment med kabellokalisering med hjälp av söksond och ett moment med kabelidentifiering.

Be able to quickly locate and identify a faulty cable and repair it is quite necessary these days, since most power-line this days are buried and power-shortages cost the energy companies a lot of money and are very irritating to the customers. Modern system are integrated whit pre-localizations equipment, the precision is not grate. To locate the problem a method of eco-localizations are deployed, a pulse in sent threw the faulty line and also threw a functional line. The pulse reflects in the fault and in the end of the line, the time deferens results in distends to the faults location. To achieve a more exact position there are two methods in use. A shock-voltage-generator produce an audible…

Subjects/Keywords: Cable fault localization; cable identifying; cable localization methods; Kabelidentifiering; fellokalisering; lokaliseringsmetoder.

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Stolt, J. (2015). Framtagning av laboration kring kabelfelsmätning. (Thesis). University West. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-7770

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Stolt, Jan-Olof. “Framtagning av laboration kring kabelfelsmätning.” 2015. Thesis, University West. Accessed March 08, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-7770.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Stolt, Jan-Olof. “Framtagning av laboration kring kabelfelsmätning.” 2015. Web. 08 Mar 2021.

Vancouver:

Stolt J. Framtagning av laboration kring kabelfelsmätning. [Internet] [Thesis]. University West; 2015. [cited 2021 Mar 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-7770.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Stolt J. Framtagning av laboration kring kabelfelsmätning. [Thesis]. University West; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-7770

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade do Minho

7. Carção, Tiago Alves. Spectrum-based energy leak localization .

Degree: 2014, Universidade do Minho

URL: http://hdl.handle.net/1822/38676

► For the past few years, we have begun to witness an exponential growth in the inform ation and communication technologies (ICT) sector. While undoubtedly a… (more)

▼ For the past few years, we have begun to witness an exponential growth in the inform ation and communication technologies (ICT) sector. While undoubtedly a milestone, all of this occurs at the expense of high energy costs needed to supply servers, data centers, and any use of computers. Associated with these high energy costs is the emission of greenhouse gases. These two issues have become major problems in society. The ICT sector contributes to 7% of the overall energy consumption, with 50% of the energy costs of an organization being attributed to the information technology (IT) departments. Most of the measures taken to address the high level of energy consumption have been on the hardware side. Although is the hardware that does consume energy, it is the software that operates that hardware. As a consequence, the software is the main responsible for the energy consumed by the hardware, very much like a driver that drives/operates a car inﬂuences drastically the fuel consumed by the car. This dissertation proposes and implements a methodology to analyze the software energy consumption. This methodology relates energy consumption to the source code of a soft ware application, so that software developers are aware of the energy footprint that he/she is creating with his/her application. The proposed technique interprets abnormal energy consumption as software faults, and adapts a well-known technique for locating faults on programs’s source code, to locate “energy faults”, that we name as “energy leaks”. This methodology has been fully implemented in a software framework that monitors the energy consumed by a software program and identiﬁes its energy leaks, given its source code. Moreover, a list of problematic parts of the code is produced, thus, helping software developers identifying energy faults on their source code. We validate our ﬁndings by showing that our methodology can automatically ﬁnd energy leaks in programs for which such leaks are known. With this results, one intends to provide help to the development phase and to gener ate more energy eﬃcient programs that will have less energy costs associated with, while supporting practices that promote and contribute to sustainability. Advisors/Committee Members: Saraiva, João Alexandre (advisor), Cunha, Jácome Miguel Costa (advisor).

Subjects/Keywords: Green Computing; Spectrum-based Fault Localization; Energy Consumption; Energy Leak; Spectrum-based Energy Leak Localization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Carção, T. A. (2014). Spectrum-based energy leak localization . (Masters Thesis). Universidade do Minho. Retrieved from http://hdl.handle.net/1822/38676

Chicago Manual of Style (16^th Edition):

Carção, Tiago Alves. “Spectrum-based energy leak localization .” 2014. Masters Thesis, Universidade do Minho. Accessed March 08, 2021. http://hdl.handle.net/1822/38676.

MLA Handbook (7^th Edition):

Carção, Tiago Alves. “Spectrum-based energy leak localization .” 2014. Web. 08 Mar 2021.

Vancouver:

Carção TA. Spectrum-based energy leak localization . [Internet] [Masters thesis]. Universidade do Minho; 2014. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/1822/38676.

Council of Science Editors:

Carção TA. Spectrum-based energy leak localization . [Masters Thesis]. Universidade do Minho; 2014. Available from: http://hdl.handle.net/1822/38676

8. Scholz, Maximilian. An Analysis of Linespots and its Utility in Realistic Scenarios .

Degree: Chalmers tekniska högskola / Institutionen för data och informationsteknik, 2019, Chalmers University of Technology

URL: http://hdl.handle.net/20.500.12380/300418

► Fault prediction is a promising technique that can potentially help developers build software with fewer faults. Bugspots is an algorithm developed by Google, that is… (more)

Subjects/Keywords: Bugspots; computer science; software engineering; project; thesis; fault prediction; Linespots; Bayesian data analysis; fault localization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Scholz, M. (2019). An Analysis of Linespots and its Utility in Realistic Scenarios . (Thesis). Chalmers University of Technology. Retrieved from http://hdl.handle.net/20.500.12380/300418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Scholz, Maximilian. “An Analysis of Linespots and its Utility in Realistic Scenarios .” 2019. Thesis, Chalmers University of Technology. Accessed March 08, 2021. http://hdl.handle.net/20.500.12380/300418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Scholz, Maximilian. “An Analysis of Linespots and its Utility in Realistic Scenarios .” 2019. Web. 08 Mar 2021.

Vancouver:

Scholz M. An Analysis of Linespots and its Utility in Realistic Scenarios . [Internet] [Thesis]. Chalmers University of Technology; 2019. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/20.500.12380/300418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Scholz M. An Analysis of Linespots and its Utility in Realistic Scenarios . [Thesis]. Chalmers University of Technology; 2019. Available from: http://hdl.handle.net/20.500.12380/300418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of California – Irvine

9. Rall, Christina Lauren. User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods.

Degree: Information and Computer Science, 2014, University of California – Irvine

URL: http://www.escholarship.org/uc/item/2df3z2m9

► Debugging is time and energy intensive. Many tools have been developed to help solve the problems associated with debugging, but programmers still rely on editing… (more)

Subjects/Keywords: Information science; Debugging; Fault Localization; Software; Tarantula; User Study; Visualization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Rall, C. L. (2014). User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/2df3z2m9

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Rall, Christina Lauren. “User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods.” 2014. Thesis, University of California – Irvine. Accessed March 08, 2021. http://www.escholarship.org/uc/item/2df3z2m9.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Rall, Christina Lauren. “User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods.” 2014. Web. 08 Mar 2021.

Vancouver:

Rall CL. User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods. [Internet] [Thesis]. University of California – Irvine; 2014. [cited 2021 Mar 08]. Available from: http://www.escholarship.org/uc/item/2df3z2m9.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rall CL. User Assessment of Debugging Using a Software Visualization Tool Compared with Traditional Debugging Methods. [Thesis]. University of California – Irvine; 2014. Available from: http://www.escholarship.org/uc/item/2df3z2m9

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Delft University of Technology

10. Popping, Sven (author). Automated crash fault localization.

Degree: 2020, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:da6486bd-886c-44ac-832a-f9825f6a2ba8

►

Debugging application crashes is an expensive and time-taking process, relying on the developer’s expertise, and requiring knowledge about the system. Over the years, the research… (more)

▼

Debugging application crashes is an expensive and time-taking process, relying on the developer’s expertise, and requiring knowledge about the system. Over the years, the research community has developed several automated approaches to ease debugging. Among those approaches, search-based crash reproduction, which tries to generate a test case capable of reproducing a given crash to make it observable to the developers, solely based on the stack trace included in the crash report. We believe that this makes crash reproduction the perfect candidate to achieve end-to-end crash fault localization. In this thesis, we explore and empirically evaluate the usage of search-based crash reproduction combined with spectrum-based fault localization on 50 real-world crashes. Starting from a crash report, we generate crash-reproducing test cases and use them in conjunction with the existing or an automatically generated unit test suite as input for spectrum-based fault localization. Our results show that, although, hand-written test cases remain the most efficient in the general scenario, automatically generated crash-reproducing test cases still reduce the number of statements to be investigated by developers. Additionally, when considering the best-case scenario where only crash-reproducing test cases covering the fault are evaluated, we observe no statistically significant difference between the accuracy of fault localization when using hand-written or automatically generated test cases. Our results confirm the feasibility of end-to-end automated crash fault localization. The results also identify new challenges for both automated test case generation and fault localization, as well as when they are combined.

Computer Science

Advisors/Committee Members: van Deursen, Arie (mentor), Devroey, Xavier (mentor), Panichella, Annibale (graduation committee), de Weerdt, Mathijs (graduation committee), Derakhshanfar, Pouria (graduation committee), Delft University of Technology (degree granting institution).

Subjects/Keywords: Search-Based Crash Reproduction; Automated Fault Localization; Search-based Software Engineering

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Popping, S. (. (2020). Automated crash fault localization. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:da6486bd-886c-44ac-832a-f9825f6a2ba8

Chicago Manual of Style (16^th Edition):

Popping, Sven (author). “Automated crash fault localization.” 2020. Masters Thesis, Delft University of Technology. Accessed March 08, 2021. http://resolver.tudelft.nl/uuid:da6486bd-886c-44ac-832a-f9825f6a2ba8.

MLA Handbook (7^th Edition):

Popping, Sven (author). “Automated crash fault localization.” 2020. Web. 08 Mar 2021.

Vancouver:

Popping S(. Automated crash fault localization. [Internet] [Masters thesis]. Delft University of Technology; 2020. [cited 2021 Mar 08]. Available from: http://resolver.tudelft.nl/uuid:da6486bd-886c-44ac-832a-f9825f6a2ba8.

Council of Science Editors:

Popping S(. Automated crash fault localization. [Masters Thesis]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:da6486bd-886c-44ac-832a-f9825f6a2ba8

University of Oxford

11. Landsberg, David. Methods and measures for statistical fault localisation.

Degree: PhD, 2016, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:cf737e06-9f12-44fa-94d2-a8d247ad808e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730271

► Fault localisation is the process of finding the causes of a given error, and is one of the most costly elements of software development. One… (more)

▼ Fault localisation is the process of finding the causes of a given error, and is one of the most costly elements of software development. One of the most efficient approaches to fault localisation appeals to statistical methods. These methods are characterised by their ability to estimate how faulty a program artefact is as a function of statistical information about a given program and test suite. However, the major problem facing statistical approaches is their effectiveness – particularly with respect to finding single (or multiple) faults in large programs typical to the real world. A solution to this problem hinges on discovering new formal properties of faulty programs and developing scalable statistical techniques which exploit them. In this thesis I address this by identifying new properties of faulty programs, developing the formal frameworks and methods which are formally proven to exploit them, and demonstrating that many of our new techniques substantially and statistically significantly outperform competing algorithms at given fault localisation tasks (using p = 0.01) on what (to our knowledge) is one of the largest scale set of experiments in fault localisation to date. This research is thus designed to corroborate the following thesis statement: That the new algorithms presented in this thesis are effective and efficient at software fault localisation and outperform state of the art statistical techniques at a range of fault localisation tasks. In more detail, the major thesis contributions are as follows: 1. We perform a thorough investigation into the existing framework of (sbfl), which currently stands at the cutting edge of statistical fault localisation. To improve on the effectiveness of sbfl, our first contribution is to introduce and motivate many new statistical measures which can be used within this framework. First, we show that many are well motivated to the task of sbfl. Second, we formally prove equivalence properties of large classes of measures. Third, we show that many of the measures perform competitively with the existing measures in experimentation – in particular our new measure m9185 outperforms all existing measures on average in terms of effectiveness, and along with Kulkzynski2, is in a class of measures which statistically significantly outperforms all other measures at finding a single fault in a program (p = 0.01). 2. Having investigated sbfl, our second contribution is to motivate, introduce, and formally develop a new formal framework which we call probabilistic fault localisation (pfl). pfl is similar to sbfl insofar as it can leverage any suspiciousness measure, and is designed to directly estimate the probability that a given program artefact is faulty. First, we formally prove that pfl is theoretically superior to sbfl insofar as it satisfies and exploits a number of desirable formal properties which sbfl does not. Second, we experimentally show that pfl methods (namely, our measure pfl-ppv) substantially and statistically significantly outperforms the best…

Subjects/Keywords: 005.1; Computer science; Fault Localization; Verification; Debugging; Error Explanation

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Landsberg, D. (2016). Methods and measures for statistical fault localisation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:cf737e06-9f12-44fa-94d2-a8d247ad808e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730271

Chicago Manual of Style (16^th Edition):

Landsberg, David. “Methods and measures for statistical fault localisation.” 2016. Doctoral Dissertation, University of Oxford. Accessed March 08, 2021. http://ora.ox.ac.uk/objects/uuid:cf737e06-9f12-44fa-94d2-a8d247ad808e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730271.

MLA Handbook (7^th Edition):

Landsberg, David. “Methods and measures for statistical fault localisation.” 2016. Web. 08 Mar 2021.

Vancouver:

Landsberg D. Methods and measures for statistical fault localisation. [Internet] [Doctoral dissertation]. University of Oxford; 2016. [cited 2021 Mar 08]. Available from: http://ora.ox.ac.uk/objects/uuid:cf737e06-9f12-44fa-94d2-a8d247ad808e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730271.

Council of Science Editors:

Landsberg D. Methods and measures for statistical fault localisation. [Doctoral Dissertation]. University of Oxford; 2016. Available from: http://ora.ox.ac.uk/objects/uuid:cf737e06-9f12-44fa-94d2-a8d247ad808e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.730271

Linköping University

12. Andersson, Filip. Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing.

Degree: Software and Systems, 2016, Linköping University

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701

► The domain of distributed simulation is growing rapidly. This growth leads to larger and more complex supporting network architectures with high requirements on availability… (more)

Subjects/Keywords: Active Probing; Distributed Simulation; Fault localization; Master thesis; Extensibility

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Andersson, F. (2016). Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Andersson, Filip. “Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing.” 2016. Thesis, Linköping University. Accessed March 08, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Andersson, Filip. “Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing.” 2016. Web. 08 Mar 2021.

Vancouver:

Andersson F. Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing. [Internet] [Thesis]. Linköping University; 2016. [cited 2021 Mar 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Andersson F. Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing. [Thesis]. Linköping University; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Waterloo

13. Cheng, Xi. Anomaly Detection and Fault Localization Using Runtime State Models.

Degree: 2016, University of Waterloo

URL: http://hdl.handle.net/10012/10519

► Software systems are impacting every aspect of our daily lives, making software failures expensive, even life endangering. Despite rigorous testing, software bugs inevitably exist, especially… (more)

Subjects/Keywords: Software Anomaly; Anomaly Detection; Fault Localization; Runtime States

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Cheng, X. (2016). Anomaly Detection and Fault Localization Using Runtime State Models. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/10519

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Cheng, Xi. “Anomaly Detection and Fault Localization Using Runtime State Models.” 2016. Thesis, University of Waterloo. Accessed March 08, 2021. http://hdl.handle.net/10012/10519.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Cheng, Xi. “Anomaly Detection and Fault Localization Using Runtime State Models.” 2016. Web. 08 Mar 2021.

Vancouver:

Cheng X. Anomaly Detection and Fault Localization Using Runtime State Models. [Internet] [Thesis]. University of Waterloo; 2016. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/10012/10519.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cheng X. Anomaly Detection and Fault Localization Using Runtime State Models. [Thesis]. University of Waterloo; 2016. Available from: http://hdl.handle.net/10012/10519

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Texas – Austin

14. Salling, Jackson Lee. Control flow graph visualization and its application to coverage and fault localization in Python.

Degree: MSin Engineering, Electrical and Computer Engineering, 2015, University of Texas – Austin

URL: http://hdl.handle.net/2152/32311

► This report presents a software testing tool that creates visualizations of the Control Flow Graph (CFG) from Python source code. The CFG is a representation… (more)

▼ This report presents a software testing tool that creates visualizations of the Control Flow Graph (CFG) from Python source code. The CFG is a representation of a program that shows execution paths that may be taken by the machine. Similar techniques to the ones here could be applied to many other languages, but the CFGs in this tool are tailored to the Python language. As computers get faster, tools to help programmers be effective at work can become more complex and still give quick feedback, without causing an undue performance burden. This tool explores several approaches to giving feedback to developers through a visualization of the CFG. First, just the viewing of a CFG gives a different perspective on the code. A programmer could choose to juxtapose the CFG with complexity metrics during development, seeing increased complexity as graphs grow larger. Second, the tool implements a mechanism to provide code coverage to Python modules. This feature extends the visualization to show code coverage as a highlighted CFG. Test coverage requirements are calculated to check node, edge, edge-pair, and prime path coverage. From studying existing testing tools, it appears no existing tool for Python provides all these test coverage levels. Third, the tool provides an interface for adding custom highlighting of the CFG, used here to visualize fault localization. Seeing the most suspicious locations from fault localization techniques could be used to reduce debugging time. The results of running the tool on several popular Python packages, and on itself, show its performance is competitive with the most popular coverage tool when measuring branch coverage. It is slightly slower on statement cover- age alone, but much faster against an unoptimized version and a logic coverage tool. This report also presents ideas for extensions to the tool. Among them is to incorporate program repair using fault localization and mutation operators. Visualizing code as a CFG provides interesting ways to look at many software testing metrics. Advisors/Committee Members: Khurshid, Sarfraz (advisor), Julien, Christine (committee member).

Subjects/Keywords: Control flow graph; Coverage; Fault localization; Software testing; Visualization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Salling, J. L. (2015). Control flow graph visualization and its application to coverage and fault localization in Python. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32311

Chicago Manual of Style (16^th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Masters Thesis, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/32311.

MLA Handbook (7^th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Web. 08 Mar 2021.

Vancouver:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/32311.

Council of Science Editors:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32311

University of Texas – Austin

15. -1790-0721. Automated synthesis and debugging of declarative models in alloy.

Degree: PhD, Electrical and Computer Engineering, 2018, University of Texas – Austin

URL: http://hdl.handle.net/2152/71511

► In theory, formal specifications offer numerous benefits in developing more reliable software. In practice however, the use of specifications is rather limited, and practitioners often… (more)

▼ In theory, formal specifications offer numerous benefits in developing more reliable software. In practice however, the use of specifications is rather limited, and practitioners often consider them more trouble than they are worth. Indeed, manually writing detailed specifications using notations that have unfamiliar syntax and semantics can be a daunting task – even for experienced programmers. We introduce a new automated approach for synthesis of desired specifications and debugging of faulty specifications using given examples that capture the essence of desired properties and serve as test cases. Our focus is specifications written in the declarative language Alloy – a first-order logic based on relations with transitive closure, and its SAT-based analysis engine. Our key insight is that a test-driven foundation enables modern approaches to synthesis and debugging of imperative code to serve as a basis for developing novel analogous techniques for declarative specifications. For synthesis, we build on equivalence in relational algebra and introduce techniques for generating candidate Alloy expressions. We also introduce a technique to complete a partial Alloy model with holes using constraint solving. For locating faults in buggy specifications, we build on mutation-based fault localization and introduce techniques for locating likely faulty nodes in the abstract syntax tree of the faulty specification. Moreover, we integrate our expression generation and fault localization techniques to introduce a technique for automated specification repair. We experimentally evaluate our techniques using several Alloy models as subjects, including those with real faults. The results show that our techniques are effective at synthesis and debugging of the subjects. We believe our techniques provide an important step towards increasing the role of formal specifications in developing more reliable software and realizing their promise. Advisors/Committee Members: Khurshid, Sarfraz (advisor), Garg, Vijay (committee member), Gligoric, Milos (committee member), Julien, Christine (committee member), Marinov, Darko (committee member).

Subjects/Keywords: Expression generation; Sketching; Fault localization; Automated program repair; Alloy

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

-1790-0721. (2018). Automated synthesis and debugging of declarative models in alloy. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/71511

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16^th Edition):

-1790-0721. “Automated synthesis and debugging of declarative models in alloy.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/71511.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7^th Edition):

-1790-0721. “Automated synthesis and debugging of declarative models in alloy.” 2018. Web. 08 Mar 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-1790-0721. Automated synthesis and debugging of declarative models in alloy. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/71511.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-1790-0721. Automated synthesis and debugging of declarative models in alloy. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/71511

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

University of Texas – Austin

16. Gopinath, Divya. Systematic techniques for more effective fault localization and program repair.

Degree: PhD, Electrical and Computer engineering, 2015, University of Texas – Austin

URL: http://hdl.handle.net/2152/33386

► Debugging faulty code is a tedious process that is often quite expensive and can require much manual effort. Developers typically perform debugging in two key… (more)

Subjects/Keywords: Software debugging; Program repair; Fault localization; SAT; Correctness specifications; Classifier learning

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Gopinath, D. (2015). Systematic techniques for more effective fault localization and program repair. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33386

Chicago Manual of Style (16^th Edition):

Gopinath, Divya. “Systematic techniques for more effective fault localization and program repair.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/33386.

MLA Handbook (7^th Edition):

Gopinath, Divya. “Systematic techniques for more effective fault localization and program repair.” 2015. Web. 08 Mar 2021.

Vancouver:

Gopinath D. Systematic techniques for more effective fault localization and program repair. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/33386.

Council of Science Editors:

Gopinath D. Systematic techniques for more effective fault localization and program repair. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33386

17. Marguet, Raphaël. Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique.

Degree: Docteur es, Génie électrique, 2015, Université Grenoble Alpes (ComUE)

URL: http://www.theses.fr/2015GREAT015

►

Ces travaux proposent des améliorations de méthodes de localisation desdéfauts électriques sur les réseaux électriques de distribution. Les réseaux de transportont rapidement été instrumenté en… (more)

▼

Ces travaux proposent des améliorations de méthodes de localisation desdéfauts électriques sur les réseaux électriques de distribution. Les réseaux de transportont rapidement été instrumenté en élément de protection. En effet, un incident survenantsur le réseau de transport peut entrainer de graves conséquences s’il n’est pas traité rapidement.Les réseaux de distribution quand à eux possèdent un schéma de protectionminimal. Cependant le développement des smart grids (ou réseaux intelligents) amène denouvelles possibilités avec l’ajout d’équipements de mesures sur le réseau de distribution.Les travaux présentés dans cette thèse développent deux méthodes de localisation de défaut.La première permet de mieux utiliser l’équipement déjà en place (indicateurs depassage de défaut) afin d’isoler de manière rapide et fiable la zone concernée par le défaut.La deuxième permet une localisation précise (en distance) des différents lieux de défautspossibles à partir de mesures électriques.

This thesis proposes to improve fault localization methods for electricalpower distribution networks. Transmission networks were quickly equipped with protectionand fault localization equipments. Indeed, faults on the transmission network need tobe dealt with quickly in order to avoid serious consequences. Unlike transmission networks,distribution networks have a minimal protection scheme. The smart grid developmentsbring new possibilities with the installation of new equipments giving access to many newvariables. The work presented in this thesis develop two fault localization method. Thefirst aims in using the equipment already installed (fault indicators) in order to isolatequickly and efficiently the zone concerned by the fault. The second method performs aprecise localization (in distance) of the different possible fault locations from the electricalmeasurements made on the network.

Advisors/Committee Members: Raison, Bertrand (thesis director).

Subjects/Keywords: Défauts; Localisation; Réseaux de distribution; Moyenne tension; Indicateurs de défaut; Faults; Fault localization; Distribution network; Medium voltage; Fault indicators; 620

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Marguet, R. (2015). Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2015GREAT015

Chicago Manual of Style (16^th Edition):

Marguet, Raphaël. “Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique.” 2015. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed March 08, 2021. http://www.theses.fr/2015GREAT015.

MLA Handbook (7^th Edition):

Marguet, Raphaël. “Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique.” 2015. Web. 08 Mar 2021.

Vancouver:

Marguet R. Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2015. [cited 2021 Mar 08]. Available from: http://www.theses.fr/2015GREAT015.

Council of Science Editors:

Marguet R. Improved fault localization method for electrical power distribution networks : Améliorations de méthodes de localisation de défauts pour les réseaux de distribution électrique. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2015. Available from: http://www.theses.fr/2015GREAT015

18. Zhang, Mengshi. Improving automated fault localization using PageRank.

Degree: MSin Engineering, Electrical and Computer Engineering, 2017, University of Texas – Austin

URL: http://hdl.handle.net/2152/60436

► Manual debugging is notoriously tedious and time consuming. Therefore, various automated fault localization techniques have been proposed to help with manual debugging. Among the existing… (more)

Subjects/Keywords: Spectrum-based fault localization; PageRank; Automated debugging; Automated fault localization

…Spectrum-based Fault Localization 6 6 7 11 . . . . . . 16 17 18 18 20 20 22 Chapter 5… …28 28 31 34 35 42 ix List of Tables 2.1 Spectrum-based fault localization techniques… …Fault localization results on all Defects4J bugs . Fault localization overheads… …Overall fault localization results on single and fects4J bugs… …Fault localization results on mutation bugs . . . 29 30 6.4 x…

1 more image…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Zhang, M. (2017). Improving automated fault localization using PageRank. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/60436

Chicago Manual of Style (16^th Edition):

Zhang, Mengshi. “Improving automated fault localization using PageRank.” 2017. Masters Thesis, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/60436.

MLA Handbook (7^th Edition):

Zhang, Mengshi. “Improving automated fault localization using PageRank.” 2017. Web. 08 Mar 2021.

Vancouver:

Zhang M. Improving automated fault localization using PageRank. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/60436.

Council of Science Editors:

Zhang M. Improving automated fault localization using PageRank. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/60436

University of Victoria

19. Zhu, Yijie. Localizing interseismic deformation around locked strike-slip faults.

Degree: School of Earth and Ocean Sciences, 2020, University of Victoria

URL: http://hdl.handle.net/1828/12055

► Localized geodetic deformation of an approximately arctangent shape around locked strike-slip faults is widely reported, but there are also important exceptions showing distributed interseismic deformation.… (more)

▼ Localized geodetic deformation of an approximately arctangent shape around locked strike-slip faults is widely reported, but there are also important exceptions showing distributed interseismic deformation. Understanding the controlling mechanism is important to the interpretation of geodetic observations for hazard assessment and geodynamic analysis. In this thesis, I use simple finite element models to separately study the two major contributors to the deformation: far-field loading and previous earthquakes. The models feature a vertical strike-slip fault in an elastic layer overlying a viscoelastic substrate of Maxwell or Burgers rheology, with or without weaknesses representing extensions of the fault either along strike or to greater depth. If the locked fault is loaded only from the far field without the effects of previous earthquakes, localized deformation occurs only if local mechanical weaknesses below the fault and/or somewhere along strike are introduced. I first show that the effects of far-field loading are rather limited even in the presence of extreme weaknesses. Then I use idealized earthquake cycle models to investigate the effects of past seismic events in a viscoelastic Earth. I demonstrate that, after a phase of fast postseismic deformation just after the earthquake, the localization of interseismic deformation is controlled mainly by the recurrence interval of past earthquakes. Given viscosity, shorter recurrence leads to greater interseismic localization, regardless of the rheological model used. The presence of a low-viscosity deep fault zone does not change this conclusion, although it tends to lessen localization by promoting faster postseismic stress relaxation. Distributed interseismic deformation, although less reported in the literature, is a natural consequence of very long recurrence and in theory should be as common as localized deformation. The apparent propensity of the latter is likely associated with the much greater quantity and better quality of geodetic observations from higher-rate and shorter-recurrence faults. Using viscoelastic earthquake-cycle models, I also explore the role of nearby earthquakes and creeping segments along the same fault. For faults of relatively short recurrence, frequent ruptures of nearby segments, modelled using a migrating rupture sequence with or without temporal clustering, further enhance localization. For faults of very long recurrence, faster near-fault deformation induced by a recent earthquake may give a false impression of localized interseismic deformation. Advisors/Committee Members: Wang, Kelin (supervisor), Nissen, Edwin (supervisor).

Subjects/Keywords: Strike-slip fault; earthquake cycle; interseismic deformation; recurrence interval; localization; locking depth

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Zhu, Y. (2020). Localizing interseismic deformation around locked strike-slip faults. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/12055

Chicago Manual of Style (16^th Edition):

Zhu, Yijie. “Localizing interseismic deformation around locked strike-slip faults.” 2020. Masters Thesis, University of Victoria. Accessed March 08, 2021. http://hdl.handle.net/1828/12055.

MLA Handbook (7^th Edition):

Zhu, Yijie. “Localizing interseismic deformation around locked strike-slip faults.” 2020. Web. 08 Mar 2021.

Vancouver:

Zhu Y. Localizing interseismic deformation around locked strike-slip faults. [Internet] [Masters thesis]. University of Victoria; 2020. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/1828/12055.

Council of Science Editors:

Zhu Y. Localizing interseismic deformation around locked strike-slip faults. [Masters Thesis]. University of Victoria; 2020. Available from: http://hdl.handle.net/1828/12055

Iowa State University

20. Chennaka, Anusha. Fault tolerant indoor localization using Wi-Fi.

Degree: 2015, Iowa State University

URL: https://lib.dr.iastate.edu/etd/14358

► Precise Indoor Localization is a major component of numerous location based applications and services which perform indoor guidance and object tracking. There are many existing… (more)

Subjects/Keywords: Computer Engineering; AP; fault-tolerant; Indoor Localization; LOESS; Wi-Fi; Computer Engineering

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Chennaka, A. (2015). Fault tolerant indoor localization using Wi-Fi. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/14358

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Chennaka, Anusha. “Fault tolerant indoor localization using Wi-Fi.” 2015. Thesis, Iowa State University. Accessed March 08, 2021. https://lib.dr.iastate.edu/etd/14358.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Chennaka, Anusha. “Fault tolerant indoor localization using Wi-Fi.” 2015. Web. 08 Mar 2021.

Vancouver:

Chennaka A. Fault tolerant indoor localization using Wi-Fi. [Internet] [Thesis]. Iowa State University; 2015. [cited 2021 Mar 08]. Available from: https://lib.dr.iastate.edu/etd/14358.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chennaka A. Fault tolerant indoor localization using Wi-Fi. [Thesis]. Iowa State University; 2015. Available from: https://lib.dr.iastate.edu/etd/14358

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Delft University of Technology

21. Abreu, R. Spectrum-based Fault Localization in Embedded Software.

Degree: 2009, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c

► Locating software components that are responsible for observed failures is a time-intensive and expensive phase in the software development cycle. Automatic fault localization techniques aid… (more)

▼ Locating software components that are responsible for observed failures is a time-intensive and expensive phase in the software development cycle. Automatic fault localization techniques aid developers/testers in pinpointing the root cause of software failures, as such reducing the debugging effort. Automatic fault localization has been an active area of research in the past years. Current approaches to automatic software fault localization can be classified as either (1) statistics-based approaches, or (2) reasoning approaches. This distinction is based on the required amount of knowledge about the program’s internal component structure and behavior. Statistics-based fault localization techniques such as Spectrum-based Fault Localization (SFL) use abstraction of program traces (also known as program spectra) to find a statistical relationship between source code locations and observed failures. Although SFL’s modeling costs and computational complexity are minimal, its diagnostic accuracy is inherently limited since no reasoning is used. In contrast to SFL, model-based reasoning approaches use prior knowledge of the program, such as component interconnection and statement semantics, to build a model of the correct behavior of the system. On the one hand, model-based reasoning approaches deliver higher diagnostic accuracy, but on the other hand, they suffer from high computation complexity. In this thesis, we thoroughly studied the fundamental limitations of SFL. In particular, we studied its diagnostic accuracy as a function of similarity coefficient, quantity of observations, and quality of the error detectors. As a result of this study, we discovered a new similarity coefficient (Ochiai), known from the molecular biology community. Ochiai consistently outperforms all coefficients investigated, including those used by related approaches. Furthermore, we present a novel, low-cost, Bayesian reasoning approach to spectrum-based multiple fault localization, dubbed Barinel. A central feature of our approach is the use of a generic, intermittent component failure model. The novelty of this model lies in the computation of the component intermittency rate as part of the posterior candidate probability computation using a maximum likelihood estimation procedure, rather than using previous approaches’ approximations. This procedure optimally exploits all information contained in the program spectra. Our synthetic and real software experiments show that Barinel outperforms previous approaches to fault localization. Furthermore, this thesis reports on the following additional studies. First, we studied the capabilities of simple, generic program invariants to replace test oracles, so as to achieve total automation of the fault localization process. We verified that, despite the simplicity of the program invariants (and therefore considerable rates of false positives and/or negatives), the diagnostic performance of SFL is similar to the combination of SFL and test oracles. Second, to scale to large systems, reasoning… Advisors/Committee Members: Van Gemund, A.J.C..

Subjects/Keywords: Fault Localization; Sofware debugging; Progra spectra

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Abreu, R. (2009). Spectrum-based Fault Localization in Embedded Software. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c

Chicago Manual of Style (16^th Edition):

Abreu, R. “Spectrum-based Fault Localization in Embedded Software.” 2009. Doctoral Dissertation, Delft University of Technology. Accessed March 08, 2021. http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c.

MLA Handbook (7^th Edition):

Abreu, R. “Spectrum-based Fault Localization in Embedded Software.” 2009. Web. 08 Mar 2021.

Vancouver:

Abreu R. Spectrum-based Fault Localization in Embedded Software. [Internet] [Doctoral dissertation]. Delft University of Technology; 2009. [cited 2021 Mar 08]. Available from: http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c.

Council of Science Editors:

Abreu R. Spectrum-based Fault Localization in Embedded Software. [Doctoral Dissertation]. Delft University of Technology; 2009. Available from: http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; urn:NBN:nl:ui:24-uuid:78aa2510-acff-4acb-85ec-15852aa08e5c ; http://resolver.tudelft.nl/uuid:78aa2510-acff-4acb-85ec-15852aa08e5c

22. Jin, Wei. Automated support for reproducing and debugging field failures.

Degree: PhD, Computer Science, 2015, Georgia Tech

URL: http://hdl.handle.net/1853/53894

► As confirmed by a recent survey conducted among developers of the Apache, Eclipse, and Mozilla projects, two extremely challenging tasks during maintenance are reproducing and… (more)

Subjects/Keywords: Debugging; Fault localization; Field failures

…perform automated debugging using a set of suitably optimized fault-localization techniques. To… …successfully to perform fault localization with accurate results. The results of my studies and the… …understand causes of field failures by improving fault localization techniques, and (3)… …and more actionable fault localization reports that can better support program 2 repair… …techniques that aim to reproduce field failures and perform fault localization to address the…

12 more images…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Jin, W. (2015). Automated support for reproducing and debugging field failures. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53894

Chicago Manual of Style (16^th Edition):

Jin, Wei. “Automated support for reproducing and debugging field failures.” 2015. Doctoral Dissertation, Georgia Tech. Accessed March 08, 2021. http://hdl.handle.net/1853/53894.

MLA Handbook (7^th Edition):

Jin, Wei. “Automated support for reproducing and debugging field failures.” 2015. Web. 08 Mar 2021.

Vancouver:

Jin W. Automated support for reproducing and debugging field failures. [Internet] [Doctoral dissertation]. Georgia Tech; 2015. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/1853/53894.

Council of Science Editors:

Jin W. Automated support for reproducing and debugging field failures. [Doctoral Dissertation]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/53894

23. Edmison, Kenneth Robert, Jr. Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code.

Degree: PhD, Computer Science and Applications, 2019, Virginia Tech

URL: http://hdl.handle.net/10919/96008

► Automated grading systems provide feedback to computer science students in a variety of ways, but often focus on incorrect program behaviors. These tools will provide… (more)

▼ Automated grading systems provide feedback to computer science students in a variety of ways, but often focus on incorrect program behaviors. These tools will provide indications of test case failures or runtime errors, but without debugging skills, students often become frus- trated when they don't know where to start. They know their code has defects, but finding the problem may be beyond their experience, especially for beginners. An additional concern is balancing the need to provide enough direction to be useful, without giving the student so much direction that they are effectively given the answer. Drawing on the experiences of the software engineering community, in this work we apply a technique called statistical fault location (SFL) to student program assignments. Using the GZoltar software tool, we applied this technique to a set of previously-submitted student assignments gathered from students in our introductory CS course, CS 1114: Introduction to Software Design. After a manual inspection of the student code, this exercise demonstrated that the SFL technique identifies the defective method in the first three most suspicious methods in the student's code 90% of the time. We then developed a plug-in for Web-CAT to allow new student submissions to be evaluated with the GZoltar SFL system. Additionally, we developed a tool to create a heat map visualization to show the results of the SFL evaluation overlaid on the student's source code. We deployed this toolset for use in CS 1114 in Fall 2017. We then surveyed the students about their perceptions of the utility of the visualization for helping them understand how to find and correct the defects in their code, versus not having access to the heat map. Their responses led to refinements in our presentation of the feedback. We also evaluated the performance of CS 1114 classes from two semesters and discovered that having the heat maps led to more frequent incremental improvements in their code, as well as reaching their highest correctness score on instructor-provided tests more quickly than students that did not have access to the heat maps. Finally, we suggest several directions for future enhancements to the feedback interface. Advisors/Committee Members: Edwards, Stephen H. (committeechair), Perez-Quinonez, Manuel A. (committee member), Maranhao, Rui (committee member), Servant Cortes, Francisco Javier (committee member), Meng, Na (committee member).

Subjects/Keywords: Computer Science Education; Spectrum-based Fault Localization; Adaptive Feedback; Heat Map; Visualization; Debugging

10 more images…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Edmison, Kenneth Robert, J. (2019). Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/96008

Chicago Manual of Style (16^th Edition):

Edmison, Kenneth Robert, Jr. “Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code.” 2019. Doctoral Dissertation, Virginia Tech. Accessed March 08, 2021. http://hdl.handle.net/10919/96008.

MLA Handbook (7^th Edition):

Edmison, Kenneth Robert, Jr. “Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code.” 2019. Web. 08 Mar 2021.

Vancouver:

Edmison, Kenneth Robert J. Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code. [Internet] [Doctoral dissertation]. Virginia Tech; 2019. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/10919/96008.

Council of Science Editors:

Edmison, Kenneth Robert J. Turning Up the Heat!: Using Fault-Localizing Heat Maps to Help Students Improve Their Code. [Doctoral Dissertation]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/96008

University of Kentucky

24. Chu, Justin. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.

Degree: 2017, University of Kentucky

URL: https://uknowledge.uky.edu/cs_etds/61

► Concurrency faults are difficult to reproduce and localize because they usually occur under specific inputs and thread interleavings. Most existing fault localization techniques focus on… (more)

Subjects/Keywords: Concurrent Program; Fault Localization; Debugging; Machine Learning; Data Mining; Empirical Study; Software Engineering

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Chu, J. (2017). CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. (Masters Thesis). University of Kentucky. Retrieved from https://uknowledge.uky.edu/cs_etds/61

Chicago Manual of Style (16^th Edition):

Chu, Justin. “CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.” 2017. Masters Thesis, University of Kentucky. Accessed March 08, 2021. https://uknowledge.uky.edu/cs_etds/61.

MLA Handbook (7^th Edition):

Chu, Justin. “CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS.” 2017. Web. 08 Mar 2021.

Vancouver:

Chu J. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. [Internet] [Masters thesis]. University of Kentucky; 2017. [cited 2021 Mar 08]. Available from: https://uknowledge.uky.edu/cs_etds/61.

Council of Science Editors:

Chu J. CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS. [Masters Thesis]. University of Kentucky; 2017. Available from: https://uknowledge.uky.edu/cs_etds/61

Brno University of Technology

25. Kohůt, Miroslav. Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines.

Degree: 2018, Brno University of Technology

URL: http://hdl.handle.net/11012/58976

► This master’s thesis is about earth fault locator testing on the model of unsymmetrical lines. The introductory part of thesis describes the function of the… (more)

Subjects/Keywords: lokátor poruch; distribuční sítě vysokého napětí; účinně uzemněná síť; nehomogenní vedení; nesymetrické vedení; lokalizace poruch; Fault locator; MV distribution system; solid earthed system; inhomogeneous line; unsymmetrical line; fault localization

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Kohůt, M. (2018). Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/58976

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Kohůt, Miroslav. “Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines.” 2018. Thesis, Brno University of Technology. Accessed March 08, 2021. http://hdl.handle.net/11012/58976.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Kohůt, Miroslav. “Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines.” 2018. Web. 08 Mar 2021.

Vancouver:

Kohůt M. Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/11012/58976.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kohůt M. Testování lokátoru poruch na nesymetrickém vedení: Earth fault locator testing on the model of unsymmetrical lines. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/58976

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

26. Carpenter, Katherine Patricia. Fault detection and precedent-free localization in thermal-fluid systems.

Degree: MSin Engineering, Mechanical Engineering, 2010, University of Texas – Austin

URL: http://hdl.handle.net/2152/ETD-UT-2010-12-2608

► This thesis presents a method for fault detection and precedent-free isolation for two types of channel flow systems, which were modeled with the finite element… (more)

Subjects/Keywords: Fault detection; Fault localization; Thermal-fluid systems; Channel flow

…of a fault, localization of the source of the fault is also challenging because effects of… …results of the fault detection and localization method when applied to simple channel flow, and… …only normal behavior. 18 Chapter 3 GSMMS-based Fault Detection and Localization This… …a fault can propagate throughout the system. In the last two decades, fault detection… …dynamics are solved by numerical techniques [1]. For example, fault detection methods…

10 more images…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Carpenter, K. P. (2010). Fault detection and precedent-free localization in thermal-fluid systems. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-12-2608

Chicago Manual of Style (16^th Edition):

Carpenter, Katherine Patricia. “Fault detection and precedent-free localization in thermal-fluid systems.” 2010. Masters Thesis, University of Texas – Austin. Accessed March 08, 2021. http://hdl.handle.net/2152/ETD-UT-2010-12-2608.

MLA Handbook (7^th Edition):

Carpenter, Katherine Patricia. “Fault detection and precedent-free localization in thermal-fluid systems.” 2010. Web. 08 Mar 2021.

Vancouver:

Carpenter KP. Fault detection and precedent-free localization in thermal-fluid systems. [Internet] [Masters thesis]. University of Texas – Austin; 2010. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2608.

Council of Science Editors:

Carpenter KP. Fault detection and precedent-free localization in thermal-fluid systems. [Masters Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2608

Utah State University

27. Heermance, Richard V. Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture.

Degree: MS, Geology, 2002, Utah State University

URL: https://digitalcommons.usu.edu/etd/6720

► Rupture of the Chelungpu fault during the September 21, 1999, 7.6 M_wearthquake in Taiwan caused a 90-Jr,m-long surface rupture with variable displacement along strike.… (more)

▼ Rupture of the Chelungpu fault during the September 21, 1999, 7.6 M_wearthquake in Taiwan caused a 90-Jr,m-long surface rupture with variable displacement along strike. Analysis of core from two holes drilled through the fault zone, combined with geologic mapping and detailed investigation from three outcrops, define the fault geometry and physical properties of the Chelungpu fault in its northern and southern regions. In the northern region, the fault dips 45-60° east parallel to bedding and consists of a narrow (1-20 cm) core of dark-gray, sheared clay gouge at the base of a 30-50 m zone of increased fracture density that is confined asymmetrically to the hanging wall. Microstructural analysis of the fault gouge indicates the presence of extremely narrow clay zones (50-300 μm thick) that are interpreted as the fault rupture surfaces. Few shear indicators are observed outside of the fault gouge, which implies that slip was localized in the gouge in the northern region. Slip localization along a bed-parallel surface resulted in less high-frequency ground motion and larger displacements during the earthquake than in the southern region. Observations from the southern region indicate that the fault dips 20-30° at the surface and consists of a wide (20- 70 m-thick) zone of sheared, foliated shale with numerous gouge zones. A footwall-ramp geometry juxtaposes 2000-3000 m of flat-lying Quaternary Toukoshan Formation in the footwall with Pliocene and Miocene, east-dipping siltstone and muds tone in the hanging wall. The wide, diffuse fault zone contributed to the lower displacement and higher frequency ground motion in the southern region during the 1999 earthquake. The structure in the northern region is the result of the fault being a very young (<50 >ka) fault segment in the hanging wall of an older segment of the Chelungpu fault, buried in the Taichung basin. The fault in the southern region is located on an older (~1 Ma) fault trace. The contrasting fault properties in the different regions are responsible for the variability in strong-motion and displacement observed during the 1999 earthquake. Advisors/Committee Members: James P. Evans, ;.

Subjects/Keywords: geometry; physical properties; fault zone; earthquake; fault gouge; slip localization; Geology

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Heermance, R. V. (2002). Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture. (Masters Thesis). Utah State University. Retrieved from https://digitalcommons.usu.edu/etd/6720

Chicago Manual of Style (16^th Edition):

Heermance, Richard V. “Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture.” 2002. Masters Thesis, Utah State University. Accessed March 08, 2021. https://digitalcommons.usu.edu/etd/6720.

MLA Handbook (7^th Edition):

Heermance, Richard V. “Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture.” 2002. Web. 08 Mar 2021.

Vancouver:

Heermance RV. Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture. [Internet] [Masters thesis]. Utah State University; 2002. [cited 2021 Mar 08]. Available from: https://digitalcommons.usu.edu/etd/6720.

Council of Science Editors:

Heermance RV. Geometry and Physical Properties of the Chelungpu Fault, Taiwan, and Their Effect on Fault Rupture. [Masters Thesis]. Utah State University; 2002. Available from: https://digitalcommons.usu.edu/etd/6720

28. Souza, Higor Amario de. Depuração de programas baseada em cobertura de integração.

Degree: Mestrado, Sistemas de Informação, 2012, University of São Paulo

URL: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/ ;

►

Depuração é a atividade responsável pela localização e correção de defeitos gerados durante o desenvolvimento de programas. A depuração ocorre devido à atividade de teste… (more)

▼

Depuração é a atividade responsável pela localização e correção de defeitos gerados durante o desenvolvimento de programas. A depuração ocorre devido à atividade de teste bem-sucedida, na qual falhas no comportamento do programa são reveladas, indicando a existência de defeitos. Diversas técnicas têm sido propostas para automatizar a tarefa de depuração de programas. Algumas delas utilizam heurísticas baseadas em informações de cobertura obtidas da execução de testes. O objetivo é indicar trechos de código do programa mais suspeitos de conter defeitos. As informações de cobertura mais usadas em depuração automatizada são baseadas no teste estrutural de unidade. A cobertura de integração, obtida por meio da comunicação entre as unidades de um programa, pode trazer novas informações sobre o código executado, possibilitando a criação de novas estratégias para a tarefa de localização de defeitos. Este trabalho apresenta uma nova técnica de localização de defeitos chamada Depuração de programas baseada em Cobertura de Integração (DCI). São apresentadas duas coberturas de integração baseadas nas chamadas de métodos de um programa. Essas coberturas são usadas para a proposição de roteiros de busca dos defeitos a partir dos métodos considerados mais suspeitos. As informações de cobertura de unidade são então utilizadas para a localização dos defeitos dentro dos métodos. A DCI também utiliza uma nova heurística para atribuição de valores de suspeição a entidades de integração estática dos programas como pacotes, classes e métodos, fornecendo também um roteiro para a procura dos defeitos. Os experimentos realizados em programas reais mostram que a DCI permite realizar a localização de defeitos de forma mais eficaz do que o uso de informações de cobertura de unidade isoladamente.

Debugging is the activity responsible for localizing and fixing faults generated during software development. Debugging occurs due to a successful testing activity, in which failures in the behavior of the program are revealed, indicating the existence of faults. Several techniques have been proposed to automate the debugging tasks, especially the fault localization task. Some techniques use heuristics based on coverage data obtained from the execution of tests. The goal is to indicate program code excerpts more likely to contain faults. The coverage data mostly used in automated debugging is based on white-box unit testing. Integration coverage data, obtained from the communication between the units of a program, can bring about new information with respect to the executed code, which allows new strategies to the fault localization task to be devised. This work presents a new fault localization technique called Debugging based on Integration Coverage (DIC). Two integration coverages based on method invocations are presented. These coverages are used to propose two search strategies that provides a roadmap to locate faults by investigating the more suspicious methods. The unit coverage information are used to search the faulty…

Advisors/Committee Members: Chaim, Marcos Lordello.

Subjects/Keywords: Automated debugging; Cobertura de código; Code coverage; Depuração automatizada; Fault localization; Integration testing; Localização de defeitos; Teste de integração

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Souza, H. A. d. (2012). Depuração de programas baseada em cobertura de integração. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/ ;

Chicago Manual of Style (16^th Edition):

Souza, Higor Amario de. “Depuração de programas baseada em cobertura de integração.” 2012. Masters Thesis, University of São Paulo. Accessed March 08, 2021. http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/ ;.

MLA Handbook (7^th Edition):

Souza, Higor Amario de. “Depuração de programas baseada em cobertura de integração.” 2012. Web. 08 Mar 2021.

Vancouver:

Souza HAd. Depuração de programas baseada em cobertura de integração. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2021 Mar 08]. Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/ ;.

Council of Science Editors:

Souza HAd. Depuração de programas baseada em cobertura de integração. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/ ;

Colorado State University

29. Bandyopadhyay, Aritra. Mitigating the effect of coincidental correctness in spectrum based fault localization.

Degree: PhD, Computer Science, 2013, Colorado State University

URL: http://hdl.handle.net/10217/80137

► Coincidentally correct test cases are those that execute faulty program statements but do not result in failures. The presence of such test cases in a… (more)

▼ Coincidentally correct test cases are those that execute faulty program statements but do not result in failures. The presence of such test cases in a test suite reduces the effectiveness of spectrum-based fault localization approaches, such as Ochiai and Tarantula, which localize faulty statements by calculating a suspiciousness score for every program statement from test coverage information. The goal of this dissertation is to improve the understanding of how the presence of coincidentally correct test cases impacts the effectiveness of spectrum-based fault localization approaches and to develop a family of approaches that improve fault localization effectiveness by mitigating the effect of coincidentally correct test cases. Each approach (1)~classifies coincidentally correct test cases using test coverage information, and (2)~recalculates a suspiciousness score for every program statement using the classification information. We developed classification approaches using test coverage metrics at different levels of granularity, such as statement, branch, and function. We developed a new approach for ranking program statements using suspiciousness scores calculated based on the heuristic that the statements covered by more failing and coincidentally correct test cases are more suspicious. We extended the family of fault localization approaches to support multiple faults. We developed an approach to incorporate tester feedback to mitigate the effect of coincidental correctness. The approach analyzes tester feedback to determine a lower bound for the number of coincidentally correct test cases present in a test suite. The lower bound is also used to determine when classification of coincidentally correct test cases can improve fault localization effectiveness. We evaluated the fault localization effectiveness of our approaches and studied how the effectiveness changes for varying characteristics of test suites, such as size, test suite type (e.g., random, coverage adequate), and the percentage of passing test cases that are coincidentally correct. Our key findings are summarized as follows. Mitigating the effect of coincidentally correct test cases improved fault localization effectiveness. The extent of the improvement increased with an increase in the percentage of passing test cases that were coincidentally correct, although no improvement was observed when most passing test cases in a test suite were coincidentally correct. When random test suites were used to localize faults, a coarse-grained coverage spectrum, such as function coverage, resulted in better classification than fine-grained coverage spectra, such as statement and branch coverage. Utilizing tester feedback improved the precision of classification. Mitigating the effect of coincidental correctness in the presence of two faults improved the effectiveness for both faults simultaneously for most faulty programs. Faulty statements that were harder to reach and that affected fewer program statements resulted in fewer coincidentally correct… Advisors/Committee Members: Ghosh, Sudipto (advisor), Bieman, James M. (committee member), France, Robert B. (committee member), Strout, Michelle Mills (committee member), Turk, Daniel (committee member).

Subjects/Keywords: software fault localization and debugging; test selection and classification; static and dynamic program analysis; software testing

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Bandyopadhyay, A. (2013). Mitigating the effect of coincidental correctness in spectrum based fault localization. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/80137

Chicago Manual of Style (16^th Edition):

Bandyopadhyay, Aritra. “Mitigating the effect of coincidental correctness in spectrum based fault localization.” 2013. Doctoral Dissertation, Colorado State University. Accessed March 08, 2021. http://hdl.handle.net/10217/80137.

MLA Handbook (7^th Edition):

Bandyopadhyay, Aritra. “Mitigating the effect of coincidental correctness in spectrum based fault localization.” 2013. Web. 08 Mar 2021.

Vancouver:

Bandyopadhyay A. Mitigating the effect of coincidental correctness in spectrum based fault localization. [Internet] [Doctoral dissertation]. Colorado State University; 2013. [cited 2021 Mar 08]. Available from: http://hdl.handle.net/10217/80137.

Council of Science Editors:

Bandyopadhyay A. Mitigating the effect of coincidental correctness in spectrum based fault localization. [Doctoral Dissertation]. Colorado State University; 2013. Available from: http://hdl.handle.net/10217/80137

KTH

30. Chaitanya, Deshpande. Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks.

Degree: Industrial Information and Control Systems, 2015, KTH

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169221

► Liberalized electricity markets, increased awareness of clean energy resources and theirdecreasing costs have resulted in large numbers of distributed power generators beinginstalled on distribution… (more)

Subjects/Keywords: Distributed Energy Resources; Active Distribution Network; Fault Localization and Isolation; Multi-Agent; MATLAB-SimPowerSystems; Distribution Network Protection.

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Chaitanya, D. (2015). Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169221

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Chaitanya, Deshpande. “Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks.” 2015. Thesis, KTH. Accessed March 08, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169221.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Chaitanya, Deshpande. “Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks.” 2015. Web. 08 Mar 2021.

Vancouver:

Chaitanya D. Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks. [Internet] [Thesis]. KTH; 2015. [cited 2021 Mar 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169221.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chaitanya D. Multi-Agent Based Fault Localizationand Isolation in Active DistributionNetworks. [Thesis]. KTH; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169221

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations