Probabilistic fault localisation

Probabilistic fault localisation

Efficient fault localisation is becoming increasingly important as software grows in size and complexity. In this paper we present a new formal framework, denoted probabilistic fault localisation (pfl), and compare it to the established framework of spectrum based fault localisation (sbfl). We forma...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Landsberg, D, Chockler, H, Kroening, D
स्वरूप:	Conference item
प्रकाशित:	Springer 2016

समान संसाधन

Optimising spectrum based fault localisation for single fault programs using specifications
द्वारा: Landsberg, D, और अन्य
प्रकाशित: (2018)

Methods and measures for statistical fault localisation
द्वारा: Landsberg, D
प्रकाशित: (2016)

Explaining image classifiers using statistical fault localization
द्वारा: Sun, Y, और अन्य
प्रकाशित: (2020)

Coverage in interpolation-based model checking
द्वारा: Chockler, H, और अन्य
प्रकाशित: (2010)

Computing mutation coverage in interpolation-based model checking
द्वारा: Chockler, H, और अन्य
प्रकाशित: (2012)

Probabilistic Fingermark Quality Assessment with Quality Region Localisation
द्वारा: Tim Oblak, और अन्य
प्रकाशित: (2023-04-01)

Localisation of gold ores in faults of different types
द्वारा: E. M. Nekrasov
प्रकाशित: (2020-03-01)

Non-gaussian probabilistic MEG source localisation based on kernel density estimation
द्वारा: Mohseni, H, और अन्य
प्रकाशित: (2014)

Non-Gaussian probabilistic MEG source localisation based on kernel density estimation.
द्वारा: Mohseni, H, और अन्य
प्रकाशित: (2014)

Probabilistic fault displacement hazard analysis for the north Tabriz fault
द्वारा: M. Hosseini, और अन्य
प्रकाशित: (2022-11-01)

Mechanisms controlling the localisation of fault‐controlled hydrothermal dolomitisation, Derbyshire Platform, UK
द्वारा: Catherine J. Breislin, और अन्य
प्रकाशित: (2023-05-01)

Distributed approach in fault localisation and service restoration: State-of-the-Art and future direction
द्वारा: Rukia J. Mwifunyi, और अन्य
प्रकाशित: (2019-01-01)

Multiagent based fault localisation and service restoration in Tanzanian secondary distribution network
द्वारा: Rukia J. Mwifunyi, और अन्य
प्रकाशित: (2021-01-01)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
द्वारा: Tobias R. Gundersen, और अन्य
प्रकाशित: (2018-09-01)

A RSSI/PDR-Based Probabilistic Position Selection Algorithm with NLOS Identification for Indoor Localisation
द्वारा: Ke Han, और अन्य
प्रकाशित: (2018-06-01)

MetaFL: Metamorphic fault localisation using weakly supervised deep learning
द्वारा: Lingfeng Fu, और अन्य
प्रकाशित: (2023-04-01)

Exposing previously undetectable faults in deep neural networks
द्वारा: Dunn, I, और अन्य
प्रकाशित: (2021)

To localise or to be localised with WiFi in the Hubei museum?
द्वारा: E. Verbree, और अन्य
प्रकाशित: (2013-11-01)

The use of artificial neural network for low latency of fault detection and localisation in transmission line
द्वारा: Vincent Nsed Ogar, और अन्य
प्रकाशित: (2023-02-01)

Localised Kinky Inference
द्वारा: Blaas, A, और अन्य
प्रकाशित: (2019)

Preoperative localisation of insulinomas.
द्वारा: Turner, R, और अन्य
प्रकाशित: (1981)

Engine fault diagnosis using probabilistic neural network
द्वारा: Sheng, Zhu, और अन्य
प्रकाशित: (2021)

Research on Transformer Fault Based on Probabilistic Neural Network
द्वारा: Li Yingshun, और अन्य
प्रकाशित: (2015-01-01)

Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees
द्वारा: Hasanbeig, M, और अन्य
प्रकाशित: (2020)

Iris localisation /
द्वारा: Lee, Hock Siong, 1988- author, और अन्य
प्रकाशित: (2012)

Iris localisation /
द्वारा: Lee, Hock Siong, 1988- author, और अन्य
प्रकाशित: (2012)

Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded System Architectures
द्वारा: Morris, J, और अन्य
प्रकाशित: (2004)

Radiation Induced Localised Bullous Pemphigoid
द्वारा: Venkatesan S, और अन्य
प्रकाशित: (1998-01-01)

Simultaneous-Fault Diagnosis of Gearboxes Using Probabilistic Committee Machine
द्वारा: Jian-Hua Zhong, और अन्य
प्रकाशित: (2016-02-01)

Study of Seismic Potential of Benarvan Fault by Deterministic and Probabilistic methods
द्वारा: Fariba Hemmati, और अन्य
प्रकाशित: (2018-03-01)

Detection of series arc fault based on probabilistic neural network
द्वारा: Wu Fengcheng, और अन्य
प्रकाशित: (2018-12-01)

Sensitivity to haptic sound-localisation cues
द्वारा: Mark D. Fletcher, और अन्य
प्रकाशित: (2021-01-01)

Probabilistic Determination of the Role of Faults and Intrusions in Helium‐Rich Gas Fields Formation
द्वारा: D. T. Halford, और अन्य
प्रकाशित: (2024-06-01)

Comment affiner la localisation d’un QTL ?
द्वारा: F. YTOURNEL, और अन्य
प्रकाशित: (2008-06-01)

Auditory localisation at altitude.
द्वारा: Pollard, A, और अन्य
प्रकाशित: (1989)

Energy localisation and transfer /
द्वारा: Dauxois, T. (Thierry), 1967-
प्रकाशित: (2004)

Localisation, Internationalisation and Globalisation
द्वारा: Dimitra Anastasiou, और अन्य
प्रकाशित: (2010-09-01)

Embracing the localisation agenda
द्वारा: Nkatha Njeru
प्रकाशित: (2024-02-01)

Eigenvector-spatial localisation
द्वारा: Travis Harty, और अन्य
प्रकाशित: (2021-01-01)

Localise this Tooth in The Sinus
द्वारा: Kaustubh Sansare
प्रकाशित: (2004-01-01)